Skip to main content
SpringerLink
Log in

Computer-assisted instruction in elementary logic at the university level

  • Published:
Educational Studies in Mathematics Aims and scope Submit manuscript

Abstract

Our earlier research in the design of instructional systems and curriculums for teaching mathematical logic to gifted elementary school students has been extended to the teaching of university-level courses (Goldberg, 1973; Suppes, 1972; Suppes and Ihrke, 1970). In this report, we describe the curriculum and problem types of a computer-based course offered at Stanford University: Philosophy 57A, Introduction to Symbolic Logic. We base our description on an analysis of the work of 79 students. Data on these students were collected during the third and fourth quarters (spring and fall, 1973) in which the course was offered. The instructional program was written in LISP 1.5 for the DEC PDP-10 at the Institute for Mathematical Studies in the Social Sciences (IMSSS). Programming details of the computer-based system, proof checker, and lesson driver are provided elsewhere (Goldberg, 1973, 1974).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Bibliography

  • Goldberg A.: Computer-Assisted Instruction: The Application of Theorem-Proving to Adaptive Response Analysis, Tech. Rep. No. 203, Institute for Mathematical Studies in the Social Sciences, Stanford University, Stanford, Calif., 1973.

    Google Scholar 

  • Goldberg, A.: ‘Design of a Computer-Tutor for Elementary Mathematical Logic’, Paper presented at the IFIP Congress, Stockholm, August 1974.

  • Goldberg A. and Suppes P.: ‘A Computer-Assisted Instruction Program for Exercises on Finding Axioms’, Educational Studies in Mathematics 4 (1972), 429–449.

    Google Scholar 

  • Goldberg A. and Suppes P.: Computer-Assisted Instruction in Elementary Logic at the University Level, Tech. Rep. No. 239, Institute for Mathematical Studies in the Social Sciences, Stanford University, Stanford, Calif., 1974.

    Google Scholar 

  • Suppes P.: Introduction to Logic, Van Nostrand Reinhold, New York 1957.

    Google Scholar 

  • Suppes P.: ‘Computer-Assisted Instruction at Stanford’, in Man and Computer, Proceedings of International Conference, Bordeaux 1970, Karger, Basel, 1972.

    Google Scholar 

  • Suppes P. and Ihrke C.: ‘Accelerated Program in Elementary-School Mathematics—the Fourth Year’, Psychology in the Schools 7 (1970), 111–126.

    Google Scholar 

Download references

Authors
  1. Adele Goldberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Patrick Suppes
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This article is completed because of Barbara Anderson's dedication to saving data files and running analysis programs. Our thanks to her for extensive help. The research reported was supported by National Science Foundation Grant NSFGJ-443X.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Goldberg, A., Suppes, P. Computer-assisted instruction in elementary logic at the university level. Educ Stud Math 6, 447–474 (1976). https://doi.org/10.1007/BF00411092

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00411092

Keywords

Search

Navigation