ERIC Number: ED055457
Record Type: RIE
Publication Date: 1971-Oct-11
Reference Count: 0
A Generalized Instructional System for Elementary Mathematical Logic.
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 the use of mechanical theorem-provers for teaching theorem-proving. The entire system is presented here in detail: the program as written in the LISP programing language for a PDP-10 computer. Instructions on how to use the system for research and teaching, block diagrams of key program routines, and example curriculums are included. Enough detail is provided so that versions in other languages for other computer systems may be programed from the information presented here. (Author/JY)
Publication Type: N/A
Education Level: N/A
Sponsor: National Science Foundation, Washington, DC.
Authoring Institution: Stanford Univ., CA. Inst. for Mathematical Studies in Social Science.
Note: Psychology and Education Series