Describing the what and why of students' difficulties in Boolean logic

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

Research output: Contribution to journalArticlepeer-review

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)
Article number3
JournalACM Transactions on Computing Education
Volume12
Issue number1
DOIs
StatePublished - Mar 1 2012

Keywords

  • Human Factors
  • Languages
  • Verification

ASJC Scopus subject areas

  • Computer Science(all)
  • Education

Fingerprint Dive into the research topics of 'Describing the what and why of students' difficulties in Boolean logic'. Together they form a unique fingerprint.

Cite this