This article offers the construct "unitizing predicates" to name mental actions important for students' reasoning about logic. To unitize a predicate is to conceptualize (possibly complex or multipart) conditions as a single property that every example has or does not have, thereby partitioning a universal set into examples and…

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…

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…