Proof by incomplete enumeration and other logical misconceptions

Authors:
Geoffrey L. Herman;Lisa Kaczmarczyk;Michael C. Loui;Craig Zilles
Affiliations:
University of Illinois at Urbana-Champaign, Urbana, IL, USA;University of California - San Diego, La Jolla, CA, USA;University of Illinois at Urbana-Champaign, Urbana, IL, USA;University of Illinois at Urbana-Champaign, Urbana, IL, USA
Venue:
ICER '08 Proceedings of the Fourth international Workshop on Computing Education Research
Year:
2008

Citing 3
Cited 6

A multi-national, multi-institutional study of assessment of programming skills of first-year CS students

Working group reports from ITiCSE on Innovation and technology in computer science education
The concorde doesn't fly anymore

Proceedings of the 36th SIGCSE technical symposium on Computer science education
Identifying important and difficult concepts in introductory computing courses using a delphi process

Proceedings of the 39th SIGCSE technical symposium on Computer science education

Work in progress - students' misconceptions about state in digital systems

FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Creating the digital logic concept inventory

Proceedings of the 41st ACM technical symposium on Computer science education
Identifying student misconceptions of programming

Proceedings of the 41st ACM technical symposium on Computer science education
Setting the Scope of Concept Inventories for Introductory Computing Subjects

ACM Transactions on Computing Education (TOCE)
Commonsense computing (episode 6): logic is harder than pie

Proceedings of the 10th Koli Calling International Conference on Computing Education Research
Describing the What and Why of Students’ Difficulties in Boolean Logic

ACM Transactions on Computing Education (TOCE)

Quantified Score

Hi-index	0.00

Visualization

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.