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…

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…

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…

Computer science education for the liberal arts student has both a practical value (creating an intelligent consumer) and an appreciative value (teaching algorithmic thinking). A computer literacy course can be structured to harmonize with the aims of liberal education. (SK)

Discusses various aspects of artificial intelligence, focusing on three interrelated issues: (1) representation of knowledge, which is roughly the machine equivalent of human memory; (2) control and use of knowledge, which corresponds to human abilities in problem solving and planning; and (3) the acquisition of knowledge, or what humans call…

This paper discusses the role of reduction in computer science and describes a study on undergraduate students' perception of the concept of reduction. Specifically, based on an analysis of students answers to questions addressing different computer science topics, we present several findings regarding the ways in which undergraduate students…

A broad range of well-structured problems--embracing forms of diagnosis, catalog selection, and skeletal planning--are solved in expert computer systems by the method of heuristic classification. These programs have a characteristic inference structure that systematically relates data to a pre-enumerated set of solutions by abstraction, heuristic…

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

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)

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…