A computer-based instructional system for teaching the notion of mathematical proof is described. The system is capable of handling formalizations of the full predicate calculus with identity and, with minor work, definite description. Designed as an instructional device, the program is also the basis for a number of research projects involving…

Discusses personal experiences in using microcomputers to teach differential equations and calculus, including programs written for and activities in a year-long calculus sequence called Calculus and Computers. Suggests that computers and their graphics capabilities be used to provide a mathematical environment in which students can interact and…

Described are computer program packages requiring little or no knowledge of computer programing for college algebra, calculus, and abstract algebra. Widely available computer algebra systems are listed. (MNS)

An experimental program in Calculus I at the University of Southern California (USC) is described. It is concluded that it is possible to give a meaningful program in which computer use is incorporated. The intent is to set up all USC calculus courses with some use of microcomputers. (MP)

An easy way to construct a dodecahedron, interesting connections between conic sections in the Cartesian system and limacons in the polar coordinate system, and the use of u-substitutions in simplifying the integration of certain functions are all explored. A BASIC program is provided with the limacon-conic section discussion. (MP)

A course that incorporates a computer program as a tool to take a more detailed look at differential equations is described. (MP)

The author states that this book was written for anyone who wants to know what calculus is all about, and that those with knowledge of some algebra and geometry should be able to understand it. That calculus should be called "slope finding" is discussed, and this term is used extensively. The book is divided into three chapters: (1) the…

This module is part of a series designed to be used by life science students for instruction in the application of physical theory to ecosystem operation. Most modules contain computer programs which are built around a particular application of a physical process. This module is used to introduce the biology student to differential calculus, a…