Skip to main content
PRL Project

Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing

by Robert L. Constable

From Frontiers in Education

  • unofficial copies PDF, PS
The application of the Nuprl proof development system to the teaching of college-level mathematics is explored. The advantages of this method include the flexibility to accommodate the needs of students with very diverse backgrounds and the creation of an environment that encourages collaborative learning.

bibTex ref: Con96c

cite link