A Generalized Instructional System for Elementary Mathematical Logic [microform] / Adele Goldberg
- Bib ID:
- 5224772
- Format:
- Book and Microform
- Author:
- Goldberg, Adele
- Online Version:
- https://eric.ed.gov/?id=ED055457
Broken link? let us search Trove , the Wayback Machine , or Google for you.
- Description:
-
- [Washington, D.C.] : Distributed by ERIC Clearinghouse, 1971
- 96 p.
- Summary:
-
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)
- Notes:
-
- Sponsoring Agency: National Science Foundation, Washington, DC.
- ERIC Note: Psychology and Education Series.
- May also be available online. Address as at 14/8/18: https://eric.ed.gov/
- Reproduction:
- Microfiche. [Washington D.C.]: ERIC Clearinghouse microfiches : positive.
- Subject:
- Other authors/contributors:
- Stanford Univ., CA. Inst. for Mathematical Studies in Social Science
- Available From:
- ERIC
- Copyright:
-
In Copyright
You may copy under some circumstances, for example you may copy a portion for research or study. Order a copy through Copies Direct to the extent allowed under fair dealing. Contact us for further information about copying.
Copyright status was determined using the following information:
- Material type:
- Literary Dramatic Musical
- Published status:
- Published
- Publication date:
- 1971
Copyright status may not be correct if data in the record is incomplete or inaccurate. Other access conditions may also apply. For more information please see: Copyright in library collections.
Request this item
Request this item to view in the Library’s reading room.
Feedback
Similar items
- Theoretical impications and empirical findings on instructional control and part-whole-task training [microform] / Joseph S. Mattoon, Bernell J. Edwards
- The future of document formatting / by Jeffrey H. Kingston
- The use of computers in instruction in secondary schools, by Warren J. Koch
- FIG : a Lout package for drawing figures / Jeffrey H. Kingston
- Computer-assisted instruction : its use in the classroom / Jack A. Chambers, Jerry W. Sprecher