Skip to main content
SpringerLink
Log in

University-level computer-assisted instruction at Stanford: 1975

  • Published:
Instructional Science Aims and scope Submit manuscript

Abstract

This article provides an overview of current work on university-level computer-assisted instruction at Stanford University. Brief descriptions are given of the main areas of current interest. The main emphasis is on the courses now being used: Introduction to Logic, Axiomatic Set Theory, Old Church Slavonic, History of the Russian Literary Language, Introduction to Bulgarian, Introduction to BASIC, Introduction to LISP, and various courses in music.

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

References

  • Antolini, A. F.. An investigation of the feasibility of computer-based generation of pattern drills for first-year Russian (Tech. Rep. 254). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Arrow, K. Social choice and individual values. New York: Wiley, 1966.

    Google Scholar 

  • Atkinson, R. C. and Raugh, M. R. An application of the mnemonic keyword method to the acquisition of a Russian vocabulary (Tech. Rep. 237). Stanford, Calif: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1974.

    Google Scholar 

  • Barr, A., Beard, M. and Atkinson, R. C. “Curriculum networks for CAI curriculums”. In O. Lecarme and R. Lewis (Eds.), Computers in education, part 1: IFIP. Amsterdam: North Holland, 1975. (a)

    Google Scholar 

  • Barr, A., Beard, M. and Atkinson, R. C. “A rationale and description of a CAI program to teach the BASIC programming language”. Instructional Science, 1975, 4, 1–31. (b)

    Google Scholar 

  • Barr, A., Beard, M., Lorton, P. and Atkinson, R. C. “A college-level course in BASIC’. In G. Goos and J. Hartmanis (Eds.), Lecture Notes in Computer Science (Conference RGU, Hamburg). Berlin: Springer-Verlag, 1974.

    Google Scholar 

  • Beard, M., Barr, A., Fletcher, D. and Atkinson, R. C. The improvement and individualization of computer-assisted instruction: Final report. Stanford, Calif: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Beard, M., Lorton, P., Searle, B. and Atkinson, R. C. Comparison of student performance and attitude under three lesson selection strategies in computer-assisted instruction (Tech. Rep. 222). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1973.

    Google Scholar 

  • Bobrow, R. J., Burton, R. R. and Lewis, D. UCI LISP Manual (Tech. Rep. 21). Irvine, Calif.: Information and Computer Science Department, University of California at Irvine, 1972.

    Google Scholar 

  • Bolton, E. A. and Markosian, L. Z. “Reference manual for introduction to logic” (Philosophy 57a). Internal IMSSS document.

  • Brown, J S., Burton, R. R. and Bell, A. An intelligent CAI system that reasons and understands (BBN Report 2790). Cambridge, Mass: Bolt Beranek and Newman, 1974.

    Google Scholar 

  • Carbonell, J. R. and Collins, A. M. “Natural semantics in artificial intelligence”. Proceedings of the third international joint conference on artificial intelligence, Stanford, Calif., August 1973.

  • Clark, B. Russian for Americans (2nd ed.). New York: Harper & Row, 1973.

    Google Scholar 

  • Feurzig, W., Papert, S., Bloom, M., Grant, R. and Solomon, C. Programming languages as a conceptual framework for teaching mathematics (Report 1889). Boston: Bolt Beranek, and Newman, 1969.

    Google Scholar 

  • Friend, J. Computer-assisted instruction in programming: A curriculum description (Tech. Rep. 211). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1973.

    Google Scholar 

  • Gammon, E. M. A syntactical analysis of some first-grade readers (Tech. Rep. 155). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1970.

    Google Scholar 

  • Goldberg, A. A generalized instructional system for elementary mathematical logic (Tech. Rep. 179). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1971.

    Google Scholar 

  • Goldberg, A. and Suppes, P. “A computer-assisted instruction program for exercises on finding axioms”. Educational Studies in Mathematics, 1972, 4, 429–449.

    Google Scholar 

  • Goldberg, A. and Suppes, P. “Computer-assisted instruction in elementary logic at the university level”. Educational Studies in Mathematics (in press.)

  • Herrold, R. “Computer-assisted instruction: A study of student performance in a CAI eartraining program”. Unpublished DMA Project, Stanford University, 1973.

  • Jamison, D., Suppes, P. and Wells, S. “The effectiveness of alternative instructional methods”. Review of Educational Research, 1974, 44, 1–67.

    Google Scholar 

  • Kane, M. T. Variability in the proof behavior of college students in a CAI course in logic as a function of problem characteristics (Tech. Rep. 192). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1972.

    Google Scholar 

  • Kanerva, P. “TVGUID”. Internal IMSSS document, 1975.

  • Killam, R. and Lorton, P. “Computer-assisted instruction in music: ear-training drill and practice”. Proceedings of the Fifth Conference on Computers in the Undergraduate Curriculum. Pullman, Wash: Washington State University, 1974.

    Google Scholar 

  • Killam, R., Lorton, P. and Schubert, E. “Interval recognition: A study of student accuracy of identification of harmonic and melodic intervals”. Manuscript submitted for publication, 1975.

  • Knuth, D. E. “Semantics for context free languages”. Mathematical Systems Theory. 1967, 2, 127–145.

    Google Scholar 

  • Kuhn, W. “Computer-assisted instruction in music: Drill and practice in dictation”. College Music Symposium, 1975, XIV, 89–101.

    Google Scholar 

  • Levine, D. R. Computer-based analytic grading for German grammar instruction (Tech. Rep. 199) Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1973.

    Google Scholar 

  • Lorton, P., Killam, R. and Kuhn, W. “A computerized system for research and instruction in music”. In O. Lecarme and R. Lewis (Eds.), Computers in education, part 1: IFIP. Amsterdam: North Holland, 1975.

    Google Scholar 

  • Lorton, P. and Slimick, J. “Computer based instruction in computer programming: A symbol manipulation-list processing approach”. Proceedings of the Fall Joint Computer Conference, 1969, 535–544.

  • Moloney, J. M. An investigation of college student performance on a logic curriculum in a computer-assisted instruction setting (Tech. Rep. 183). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1972.

    Google Scholar 

  • Quam, L. H. and Diffie, W. Stanford LISP 1.6 Manual (Operating Note 28.6). Stanford, Calif.: Stanford Artificial Intelligence Laboratory, Stanford University, 1967.

    Google Scholar 

  • Raugh, M. R. and Atkinson, R. C. A mnemonic method for the acquisition of a secondlanguage vocabulary (Tech. Rep. 224). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1974.

    Google Scholar 

  • Raugh, M. R., Schupbach, R. D. and Atkinson, R. C. Teaching a large Russian language vocabulary by the mnemonic keyword method (Tech. Rep. 256). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Rawson, F. L. Set-theoretical semantics for elementary mathematical language (Tech. Rep. 220). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1973.

    Google Scholar 

  • Smith, N. W. A question-answering system for elementary mathematics (Tech. Rep. 227). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1974.

    Google Scholar 

  • Smith, R. L., Jr. The syntax and semantics of ERICA (Tech. Rep. 185). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1972.

    Google Scholar 

  • Smith, R. L. TENEX SAIL (Tech. Rep. 248). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Smith, R. L., Graves, H., Blaine, L. H. and Marinov, V. G. “Computer-assisted axiomatic mathematics: Informal rigor”. In O. Lecarme and R. Lewis (Eds.), Computers in education, part 1: IFIP. Amsterdam: North Holland, 1975.

    Google Scholar 

  • Smith, R. L., Smith, N. W. and Rawson, F. L. CONSTRUCT: In search of a theory of meaning (Tech. Rep. 238). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1974.

    Google Scholar 

  • Suppes, P. Introduction to Logic. Princeton: Van Nostrand, 1957.

    Google Scholar 

  • Suppes, P. “Probabilistic grammars for natural langauges”. Synthese, 1970, 11, 111–222.

    Google Scholar 

  • Suppes, P. On the grammar and model-theoretic semantics of children's noun phrases (Tech. Rep. 181). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1971.

    Google Scholar 

  • Suppes, P. “Computer-assisted instruction at Stanford”. In Man and computer. (Proceedings of international conference, Bordeaux 1970). Basel: Karger, 1972.

    Google Scholar 

  • Suppes, P. “New foundations of objective probability: Axioms for propensities”. In P. Suppes, L. Henkin, Gr. C. Moisil, and A. Joja (Eds.), Logic, methodology, and philosophy of science IV: Proceedings of the fourth international congress for logic, methodology, and philosophy of science, Bucharest, 1971. Amsterdam: North Holland, 1973. (a)

    Google Scholar 

  • Suppes, P. “Semantics of context-free fragments of natural languages”. In K. J. J. Hintikka, J. M. E. Moravcsik, and P. Suppes (Eds.), Approaches to natural language. Dordrecht: Reidel, 1973. (b)

    Google Scholar 

  • Suppes, P. “The semantics of children's language”. American Psychologist, 1974, 29, 103–114.

    Google Scholar 

  • Suppes, P. “Impact of computers on curriculum in the schools and universities”. In O. Lecarme and R. Lewis (Eds.), Computers in education, part 1: IFIP. Amsterdam: North-Holland, 1975.

    Google Scholar 

  • Suppes, P., Jerman, M. and Brian, D. Computer-assisted instruction: Stanford's 1965–66 arithmetic program. New York: Academic Press, 1968.

    Google Scholar 

  • Suppes, P., Leveille, M. and Smith, R. L. Developmental models of a French child's syntax (Tech. Rep. 243). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1974.

    Google Scholar 

  • Suppes, P. and Morningstar, M. “Computer-assisted instruction”. Science, 1969, 166, 343–350.

    Google Scholar 

  • Suppes, P., Smith, R. and Leveille, M. The French syntax and semantics of PHILLIPE, part 1: Noun phrases (Tech. Rep. 195). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1972.

    Google Scholar 

  • Van Campen, J. A. “Project for application of learning theory to problems of second language acquisition with particular reference to Russian”. Report to U.S. Office of Education, Contract No. OEC-0-8-001209-1806, 1970.

  • Van Campen, J. A. A computer-based introduction to the morphology of Old Church Slavonic (Tech. Rep. 205). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1973.

    Google Scholar 

  • Van Campen, J. A. and Schupbach, R. Computer-aided instruction in Old Church Slavic and the history of the Russian literary language (Tech. Rep. 255). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Van Lehn, K. SAIL users manual (Artificial Intelligence Memo 204). Stanford, Calif.: Stanford Artificial Intelligence Laboratory, Stanford University, 1973.

    Google Scholar 

  • Weissman, C. LISP 1.3 primer. Belmont, Calif.: Dickenson, 1967.

    Google Scholar 

  • Wexler, K. N. An automaton analysis of the learning of a miniature system of Japanese (Tech. Rep. 156). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1970.

    Google Scholar 

  • Weyer, S. A. and Cannara, A. B. Children learning computer programming: Experiments with languages, curricula, and programmable devices (Tech. Rep. 250). Stanford, Calif.: Institute for Mathematical Studies in the Social Sciences, Stanford University, 1975.

    Google Scholar 

  • Wolpert, T. M. “TENEX UCI-LISP” Unpublished manuscript, Stanford University, 1975.

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Patrick Suppes, Robert Smith & Marian Beard

Authors
  1. Patrick Suppes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marian Beard
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Suppes, P., Smith, R. & Beard, M. University-level computer-assisted instruction at Stanford: 1975. Instr Sci 6, 151–185 (1977). https://doi.org/10.1007/BF00121084

Download citation

  • Issue Date:

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

Keywords

Search

Navigation