ERIC Number: ED100363
Record Type: Non-Journal
Publication Date: 1974-Nov-8
Reference Count: N/A
Computer-Assisted Instruction in Elementary Logic at the University Level. Technical Report No. 239.
Goldberg, Adele; Suppes, Patrick
Earlier research by the authors in the design and use of computer-assisted instructional systems and curricula for teaching mathematical logic to gifted elementary school students has been extended to the teaching of university-level courses. This report is a description of the curriculum and problem types of a computer-based course offered at Stanford University, Introduction to Symbolic Logic. The data on which the report is based are from the spring and fall quarters of 1973, during which time 79 students enrolled in the course. The instructional program was written in LISP 1.5 for the DEC PDP-10 computer at the Stanford Institute for Mathematical Studies in the Social Sciences. Included in the report are examples of lesson routines, data on student effort and responses related to the course, and profiles of two students who took the course. (DGC)
Publication Type: Reports - Research
Education Level: N/A
Authoring Institution: Stanford Univ., CA. Inst. for Mathematical Studies in Social Science.