Name
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. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1145/1404520.1404527 | ICER |
Keywords | Field | DocType |
concept inventory,computer engineer,formal logic,incomplete enumeration,boolean expression,propositional logic,digital logic design class,logical misconception,computer scientist,foundational skill,english specification,common misconception,discrete math,digital logic | Computational logic,Programming language,Autoepistemic logic,Computer science,Knowledge management,Multimodal logic,Propositional calculus,Description logic,Mathematics education,Concept inventory,Boolean algebra,Dynamic logic (modal logic) | Conference |
Citations | PageRank | References |
17 | 1.96 | 5 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Geoffrey L. Herman | 1 | 123 | 25.37 |
| Lisa Kaczmarczyk | 2 | 25 | 2.68 |
| Michael C. Loui | 3 | 374 | 50.66 |
| Craig B. Zilles | 4 | 932 | 94.74 |