Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 0 |
| Since 2007 (last 20 years) | 1 |
Descriptor
| Computer Science | 1 |
| Concept Formation | 1 |
| Interviews | 1 |
| Logical Thinking | 1 |
| Mathematical Concepts | 1 |
| Mathematical Logic | 1 |
| Misconceptions | 1 |
| Problem Solving | 1 |
| Protocol Analysis | 1 |
| Scientific Concepts | 1 |
| Scientists | 1 |
| More ▼ | |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
Audience
Location
| Illinois | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkHerman, 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
