NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)0
Since 2006 (last 20 years)1
Descriptor
Computer Science1
Concept Formation1
Interviews1
Logical Thinking1
Mathematical Concepts1
Mathematical Logic1
Misconceptions1
Problem Solving1
Protocol Analysis1
Scientific Concepts1
Scientists1
Undergraduate Students1
Word Problems (Mathematics)1
More ▼
Source
ACM Transactions on Computing…1
Author
Herman, Geoffrey L.1
Kaczmarczyk, Lisa1
Loui, Michael C.1
Zilles, Craig1
Publication Type
Journal Articles1
Reports - Descriptive1
Education Level
Higher Education1
Audience
Location
Illinois1
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Describing the What and Why of Students' Difficulties in Boolean Logic
Peer reviewed Peer reviewed
Direct linkDirect link
Herman, Geoffrey L.; Loui, Michael C.; Kaczmarczyk, Lisa; Zilles, Craig – ACM Transactions on Computing Education, 2012
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…
Descriptors: Interviews, Logical Thinking, Computer Science, Scientists