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 global shortage of skilled programmers remains a persistent challenge. High dropout rates in introductory programming courses pose a significant obstacle to graduation. Previous studies highlighted learning difficulties in programming students, but their specific weaknesses remained unclear. This gap exists due to the predominant focus on the…

Aim/Purpose: Research shows that students encounter difficulties in identifying the structure of argumentation texts and in understanding the main message of the argument. The research examined the effect that learning Logic Programming (LP), while applying logic inference, has on students' understanding of argumentation texts. Background:…

This study is primarily focused on assessing the students' logical thinking and cognitive levels in an online collaborative environment. The aim is to investigate whether the online collaboration has significant impact to the students' cognitive abilities. The assessment of the logical thinking involved the use of the online Group Assessment…

The paper-and-pencil programming strategy (PPS) is a way of representing an idea logically by any representation that can be created using paper and pencil. It was developed for non-computer majors to improve their understanding and use of computational thinking and increase interest in learning computer science. A total of 110 non-majors in their…

Designers of computer-based material are forced to express interactivity with concepts from the logical-mathematical paradigm of computer science. The results of three psychological experiments point to differences between the dominant paradigm and the subjects "intuitive" way of understanding interactive computer behavior, which shows…

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems (TMS). A computer-based Belief Maintenance System (BMS) has been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. It may be thought of as a generalization of a…

This article offers a multidisciplinary analysis of the structure of persuasive arguments. Following an introduction, the article contains five main parts, each of which is discussed extensively: (1) descriptions of ideas from the fields of law, communication theory, and argumentation theory that analyze the nature of persuasion and the structure…

Discusses the claims that experiences in computer programming enhance performance on conditional reasoning tasks. Describes three experimental studies designed to address that hypothesis using three different populations of students. Results of all three studies indicate nonsignificant treatment effects. (TW)