Proof by incomplete enumeration and other logical misconceptions
Geoffrey L. Herman, Lisa C. Kaczmarczyk, Michael C. Loui, Craig B. Zilles
Zu finden in: ICER 2008 (Seite 59 bis 70), 2008
The ability to reason with formal logic is a foundational skill for computer scientists and computer engineers that scaffolds the abilities to design, debug, and optimize. By interviewing students about their understanding of propositional logic and their ability to translate from English specifications to Boolean expressions, we characterized common misconceptions and novice problem-solving processes of students who had recently completed a digital logic design class. We present these results and discuss their implications for instruction and the development of pedagogical assessment tools known as concept inventories.
Dieses Konferenz-Paper erwähnt ...
- Koli Calling 2010 - 10th Koli Calling International Conference on Computing Education Research, Koli Calling '10, Koli, Finland, October 28-31, 2010 (Carsten Schulte, Jarkko Suhonen) (2010)
- Computer Science Education - Perspectives on Teaching and Learning in School (Sue Sentance, Erik Barendsen, Carsten Schulte) (2018)
Volltext dieses Dokuments
|Proof by incomplete enumeration and other logical misconceptions: Fulltext at the ACM Digital Library (: , 705 kByte; : 2020-11-28)|