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…

Computational thinking has been popularized in the last decade, particularly with the emphasis on coding education in K-12 schools. The core idea of computational thinking has a close relationship with technology and engineering education (TEE). TEE has emphasized the use of computing skills to solve problems, and integrative STEM education…

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 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 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…

This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

Reversing is the notion of thinking or working in reverse. Computer science textbooks and tutors recognize it primarily in the form of recursion. However, recursion is only one form of reversing. Reversing appears in the computer science curriculum in many other forms, at various intellectual levels, in a variety of fundamental courses. As such,…

Abstraction is a major concept in computer science and serves as a powerful tool in software development. Pattern-oriented instruction (POI) is a pedagogical approach that incorporates patterns in an introductory computer science course in order to structure the learning of algorithmic problem solving. This paper examines abstraction processes in…

The controversy over whether or not machines can think has attracted the attention of philosophers, psychologists, neurologists, computer scientists, and writers of science fiction. Various topics and issues related to this controversy are discussed, including turing machines and the relationship between computer history and mathematical…

The nature of thinking is the subject of this second part in a series which is examining various topics and issues related to the controversy of whether or not computers can think. Suggests that intelligence is the ability to develop general ideas and not the ability to apply those ideas. (JN)

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…

In this paper, the author aims to offer an elaboration of simple, yet powerful, mathematical patterns through mathematical games. Mathematical games may serve as colorful instructional tools for teachers and textbooks, and may raise students' motivation and intuition. Patterns are fundamental in mathematics and computer science. In the case of…

This paper investigates similarities and differences between the computer and the human brain in terms of thought processes and develops the theory that the computer can learn, is intelligent and does satisfy educational learning requirements. (Author/MK)