Moving among levels of abstraction is an important skill in mathematics and computer science, and students show similar difficulties when applying abstraction in each discipline. While computer science educators have examined ways to explicitly teach students how to consciously navigate levels of abstraction, these ideas have not been explored in…

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…

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)

Discusses programs to provide a knowledge base and use the knowledge in a mode of artificial intelligence. Indicates that two methods of database storage are possible and opts to use a method using many data files while using a small RAM capacity. Lists several programs. (MVL)