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…

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…

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

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)

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 describes the Structure-Mapping Engine (SME), a cognitive simulation program for studying human analogical processing. SME is based on Gentner's Structure-Mapping theory of analogy, and provides a "tool kit" for constructing matching algorithms consistent with this theory. This flexibility enhances cognitive simulation studies by…

Describes kinds of results achieved by computer programs in artificial intelligence. Topics discussed include heuristic searches, artificial intelligence/psychology, planning program, backward chaining, learning (focusing on Winograd's blocks to explore learning strategies), concept learning, constraint propagation, language understanding…

Nondeterminism is an essential concept in mathematics and one of the important concepts in computer science. It is also among the most abstract ones. Thus, many students find it difficult to cope with. In this article, we describe some didactic considerations, which guided the development of a "Computational Models" course for high school…

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)