Earlier research by the authors in the design and use of computer-assisted instructional systems and curricula for teaching mathematical logic to gifted elementary school students has been extended to the teaching of university-level courses. This report is a description of the curriculum and problem types of a computer-based course offered at…

Reported is the description of the fourth year (1966-67) of a longitudinal study of the accelerated program involving 30 bright students in elementary school mathematics. This report was written to be as homogeneous as possible with earlier reports by Suppes and Hansen (1965), Suppes (1966), and Suppes and Ihrke (1967). Tables and figures in this…

An interactive computer-assisted system for teaching elementary logic is described, which was designed to handle formalizations of first-order theories suitable for presentation in a computer-assisted instruction environment. The system provides tools with which the user can develop and then study a nonlogical axiomatic theory along whatever lines…

The Institute for Mathematical Studies in the Social Sciences at Stanford University has operated a three-year computer-assisted instruction (CAI) network for hearing-impaired or deaf students; the effectiveness of the two main curricula in the program, elementary mathematics and language arts, was evaluated. The computer network spans the United…

Programs for computer-assisted instruction (CAI) which were developed at Stanford University from 1963-70 are described, and prospects for CAI in the 1970's are considered briefly. The programs include ones in arithmetic, logic, and reading for elementary grades and in basic Russian and remedial algebra for college students. Of these, the logic…