Proof by incomplete enumeration and other logical misconceptions

Geoffrey L. Herman, Lisa Kaczmarczyk, Michael C. Loui, Craig Zilles

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationICER'08 - Proceedings of the ACM Workshop on International Computing Education Research
Pages59-70
Number of pages12
DOIs
StatePublished - 2008
Event4th International Computing Education Research Workshop, ICER'08 - Sydney, NSW, Australia
Duration: Sep 6 2008Sep 7 2008

Publication series

NameICER'08 - Proceedings of the ACM Workshop on International Computing Education Research

Other

Other4th International Computing Education Research Workshop, ICER'08
Country/TerritoryAustralia
CitySydney, NSW
Period9/6/089/7/08

Keywords

  • Concept inventory
  • Digital logic
  • Discrete math
  • Formal logic
  • Misconceptions

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Education

Fingerprint

Dive into the research topics of 'Proof by incomplete enumeration and other logical misconceptions'. Together they form a unique fingerprint.

Cite this