Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976110764> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1976110764 endingPage "177" @default.
- W1976110764 startingPage "159" @default.
- W1976110764 abstract "This paper describes a series of empirical studies, over a period of three years, designed to investigate the nature of learners’ difficulties with the proof technique of structural induction. The learners concerned were second‐year university students who had all completed a course in discrete mathematics and were currently attending a first course in Formal Methods of Computer Science. The main findings are applicable to both mathematical and structural induction, and can be ascribed to conceptual gaps. The precise nature of the errors made varied with the task and the teaching context, but a constant factor across all the studies was the failure of the majority of the subjects to appreciate the role of implication in induction. We suggest that this may be due, in part, to the conceptual gap between the main goal of the proof and the subgoals; the main goal might give false cues as to the structure of the subgoals. Another difficulty seen concerned the conceptual gap between knowing how to apply the pri..." @default.
- W1976110764 created "2016-06-24" @default.
- W1976110764 creator A5000188719 @default.
- W1976110764 date "1998-03-01" @default.
- W1976110764 modified "2023-09-23" @default.
- W1976110764 title "Learners’ difficulties with induction proofs" @default.
- W1976110764 cites W1988383705 @default.
- W1976110764 cites W2133937231 @default.
- W1976110764 cites W4236314793 @default.
- W1976110764 cites W4300128858 @default.
- W1976110764 doi "https://doi.org/10.1080/0020739980290201" @default.
- W1976110764 hasPublicationYear "1998" @default.
- W1976110764 type Work @default.
- W1976110764 sameAs 1976110764 @default.
- W1976110764 citedByCount "6" @default.
- W1976110764 countsByYear W19761107642013 @default.
- W1976110764 countsByYear W19761107642015 @default.
- W1976110764 crossrefType "journal-article" @default.
- W1976110764 hasAuthorship W1976110764A5000188719 @default.
- W1976110764 hasConcept C108710211 @default.
- W1976110764 hasConcept C11413529 @default.
- W1976110764 hasConcept C136119220 @default.
- W1976110764 hasConcept C145420912 @default.
- W1976110764 hasConcept C199343813 @default.
- W1976110764 hasConcept C202444582 @default.
- W1976110764 hasConcept C206743973 @default.
- W1976110764 hasConcept C2524010 @default.
- W1976110764 hasConcept C2777686260 @default.
- W1976110764 hasConcept C33923547 @default.
- W1976110764 hasConcept C41008148 @default.
- W1976110764 hasConcept C47884741 @default.
- W1976110764 hasConcept C71924100 @default.
- W1976110764 hasConceptScore W1976110764C108710211 @default.
- W1976110764 hasConceptScore W1976110764C11413529 @default.
- W1976110764 hasConceptScore W1976110764C136119220 @default.
- W1976110764 hasConceptScore W1976110764C145420912 @default.
- W1976110764 hasConceptScore W1976110764C199343813 @default.
- W1976110764 hasConceptScore W1976110764C202444582 @default.
- W1976110764 hasConceptScore W1976110764C206743973 @default.
- W1976110764 hasConceptScore W1976110764C2524010 @default.
- W1976110764 hasConceptScore W1976110764C2777686260 @default.
- W1976110764 hasConceptScore W1976110764C33923547 @default.
- W1976110764 hasConceptScore W1976110764C41008148 @default.
- W1976110764 hasConceptScore W1976110764C47884741 @default.
- W1976110764 hasConceptScore W1976110764C71924100 @default.
- W1976110764 hasIssue "2" @default.
- W1976110764 hasLocation W19761107641 @default.
- W1976110764 hasOpenAccess W1976110764 @default.
- W1976110764 hasPrimaryLocation W19761107641 @default.
- W1976110764 hasRelatedWork W1556033779 @default.
- W1976110764 hasRelatedWork W2030258502 @default.
- W1976110764 hasRelatedWork W2143088892 @default.
- W1976110764 hasRelatedWork W2341477737 @default.
- W1976110764 hasRelatedWork W2580725253 @default.
- W1976110764 hasRelatedWork W2963580724 @default.
- W1976110764 hasRelatedWork W2968242637 @default.
- W1976110764 hasRelatedWork W3120632734 @default.
- W1976110764 hasRelatedWork W67731524 @default.
- W1976110764 hasRelatedWork W1859226892 @default.
- W1976110764 hasVolume "29" @default.
- W1976110764 isParatext "false" @default.
- W1976110764 isRetracted "false" @default.
- W1976110764 magId "1976110764" @default.
- W1976110764 workType "article" @default.