Described are stages in the development of a computer program to solve a particular algebra problem and the nature of algebraic computation is presented. A program in BASIC is provided to give ideas to others for developing their own programs. (MP)

A model for population growth is described. (SD)

This report consists of five separate papers. The first is an extensive review of the "state of the art" in computer simulation and artificial intelligence. This review states that artificial intelligence and computer simulation have accomplished a great deal, with particular attention to findings relevant to psychology. The second paper is an…

The concept of proof is discussed from a "human" viewpoint. The author concludes that "a good proof is one which makes us wiser." (MP)

A review of the statement and history of the Four-Color theorem is followed by an explanation of Appel and Haken's solution of the problem with a computer-aided proof. This is seen as the first proof in mathematics that would not be done without a computer. (MP)

The development of symbolic computer algebra designed to manipulate abstract mathematical expressions is discussed. The ability of this software to mimic the standard patterns of human problem solving represents a major advance toward "true" artificial intelligence. (MP)

A sample mathematical application problem that can be solved with computer programing is discussed. (MP)

In this paper, Simon describes contemporary information processing approaches to the study of learning and thinking, and discusses the relevance of these studies to the distinction between rote and meaningful learning. Before defining the basic terminology of information processing research, he provides a brief literature review, describing some…

A program called SemCalc is detailed that enables people to use the computer as a tool to solve word, story, estimation, and simple algebra problems. SemCalc is seen as an example of a computer program that is a tool, with no curricular agenda of its own. (MP)

Pilot studies of instructional sequences using games showed that high ability junior high school students and their teachers improved significantly in the ability to select ideas relevant to solving particular problems. (SD)

A method of approximating areas under curves in precalculus courses is described. (SD)

Five characteristics necessary for a computer puzzle to be considered ideal are listed along with an example of such a puzzle. Several other puzzles lacking some of these characteristics are also listed and discussed. (MN)

Described are random, systematic, and guided trial-and-error strategies for problem-solving with a computer. (JH)

A teaching strategy for problem solving with computers is detailed. The approach provides a "midline" level of help that encourages exploratory activity yet provides enough guidance to increase chances of pupil success. (MP)