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…

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 1966-68 Stanford mathematics programs in computer-assisted instruction (CAI) is reported in this book. The first part describes in detail the 1966-68 arithmetic drill and practice program which followed the similar program run in 1965-66. Part II describes the tutorial program in first and second grade mathematics at Brentwood School in East…

A review of the possibilities and challenges of computer-assisted instruction (CAI), and a brief history of CAI projects at Stanford serve to give the reader the context of the particular program described and analyzed in this book. The 1965-66 arithmetic drill-and-practice program is described, summarizing the curriculum and project operation. An…