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…

The paper shows informally how model-theoretical semantics may be used by a computer to give a straight-forward analysis of the meaning of children's language. This approach to semantics grows out of the main thrust of work in mathematical logic. It is discussed in the framework of generative grammar and is based on the application of the…