Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

A computer-assisted instruction program for exercises on finding axioms

  • 54 Accesses

  • 6 Citations

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

References

  1. Allen, J. and Luckham, D., ‘An interactive theorem-proving program’, in B. Meltzer and D. Michie (eds.),Machine Intelligence 5, American Elsevier, New York, 1970.

  2. Goldberg, A., ‘A generalized instructional system for teaching elementary mathematical logic’, Technical Report No. 179, October 11, 1971, Stanford University, Institute for Mathematical Studies in the Social Sciences.

  3. Goldberg, A., ‘Computer-assisted instruction: The application of theorem-proving to adaptive response analysis’, Doctoral dissertation, University of Chicago, Chicago, Illinois, forthcoming.

  4. Suppes, P., ‘Computer-assisted instruction at Stanford’, Technical Report No. 174, May 19, 1971, Stanford University, Institute for Mathematical Studies in the Social Sciences. Reprinted inMan and Computer. Proceedings of International Conference, Bordeaux, 1970. Karger, Basel, pp. 298–330.

  5. Suppes, P. and Binford, F., ‘Experimental teaching of mathematical logic in the elementary schools’,The Arithmetic Teacher, 1965,12, 187–195.

  6. Suppes, P. and Ihrke, C., ‘Accelerated program in elementary-school mathematics—the fourth year’,Psychology in the Schools, 1970,7, 111–126.

Download references

Author information

Additional information

This research has been supported by the National Science Foundation under Grant NSF GJ-443X2. We very much appreciate the assistance of Stephen A. Weyer in preparing this report for publication.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Goldberg, A., Suppes, P. A computer-assisted instruction program for exercises on finding axioms. Educ Stud Math 4, 429–449 (1972). https://doi.org/10.1007/BF00566999

Download citation

Keywords

  • Instruction Program