Descriptor
| Calculus | 1 |
| Computer Assisted Instruction | 1 |
| Computer Programs | 1 |
| Mathematical Logic | 1 |
| Mathematics Instruction | 1 |
Source
Author
| Goldberg, Adele | 1 |
Publication Type
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textGoldberg, Adele – 1971
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…
Descriptors: Calculus, Computer Assisted Instruction, Computer Programs, Mathematical Logic
