# Computer Assisted Instruction at Stanford

@inproceedings{Suppes1969ComputerAI, title={Computer Assisted Instruction at Stanford}, author={Patrick Suppes}, year={1969} }

has been conducting a program of research and development in computer assisted instruction. For a review of the early work in CAI conducted a t Stan-ford University, see Chapter 1 of Suppes, Jerman and Brian (1968). Currently, both tutorial and drill-and-practice programs are in operation in the areas of elementary mathematics, logic and algebra , spelling, beginning reading, and elementary Russian a t the college level. A brief description of the programs now in operation in each area follows…

## 73 Citations

Computer-assisted instruction in elementary logic at the university level

- Mathematics
- 1976

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…

University-level computer-assisted instruction at Stanford: 1975

- Computer Science
- 1977

An overview of current work on university-level computer-assisted instruction at Stanford University is provided, with main emphasis on the courses now being used: Introduction to Logic, Axiomatic Set Theory, Old Church Slavonic, History of the Russian Literary Language, and various courses in music.

A computer-assisted instruction program for exercises on finding axioms

- Mathematics
- 1972

J- This paper describes an interactive computer-assisted system for teaching elementary mathematical logic, which was designed to handle formalizations of first-order theories suitable for…

Future Educational Uses of Interactive Theorem Proving

- 1981

Since the early 1960s there has been an interest in development of proof checkers and interactive theorem provers. The initial interest was no doubt simply concern with the question of demonstrating…

Children Learning Computer Programming: Experiments with Languages, Curricula and Programmable Devices. Technical Report No. 250.

- Computer Science
- 1975

An experiment was conducted to study how children, aged 10-15 years, learn concepts relevant to computer programing and how they learn modern programing languages, and among the results were suggested modifications to both the Simper and Logo languages.

Computer-assisted instruction in language arts for hearing-impaired students

- Psychology
- 1973

ABSTRACT A curriculum on the language arts was designed especially for hearing-impaired students for use with computer-assisted instruction (CAI). Basically the third-grade level is approximated in…

An Investigation of College Student Performance on a Logic Curriculum in a Computer-Assisted Instruction Setting.

- Computer Science
- 1972

This dissertation aims to demonstrate the efforts towards in-situ applicability of EMMARM, which aims to provide real-time information about the response of the immune system to EMTs.

Computer Environments for Proof Construction

- Computer ScienceInteract. Learn. Environ.
- 1994

Using a fully computerized logic course, crucial features of computer environments were isolated and relative pedagogical effectiveness was assessed and the difference was particularly striking for hard problems.

Variability in the Proof Behavior of College Students in a CAI Course in Logic as a Function of Problem Characteristics. Psychology and Education Series.

- Computer Science
- 1972

The attempt to identify patterns of proof behavior that characterized groups of students failed due to the non-heterogeneity of th° logic problems, and the author concluded, the most significant kinds of variability depend on the number and type of rules that are available when the proof is done.

Performance models of undergraduate students on computer-assisted instruction in elementary logic

- Computer Science
- 1978

Performance data were collected for students taking the computer-assisted instruction course in logic at Stanford University. The fit of the data to the Suppes, Zanotti, and Fletcher trajectory model…

## References

SHOWING 1-10 OF 64 REFERENCES

Computer-Assisted Instruction in Initial Reading: The Stanford Project

- Psychology
- 1966

DESCRIBES a computer-based system and curriculum for teaching initial reading completely under computer control. The system and curriculum are organized so that instruction is on an individual basis…

Instruction in Initial Reading Under Computer Control: The Stanford Project. Technical Report No. 158.

- Computer Science
- 1970

What is described is not a hypothetical "yes-if-but" program, but a practical, efficient and economical one being used by children in kindergarten through grade three, best described as an adjunct to classroom instruction, stressing the decoding aspect of reading.

Estimated Costs of Computer Assisted Instruction for Compensatory Education in Urban Areas

- Computer Science
- 1970

The purpose in this paper is to discuss the short-term potential for using CAI in urban schools, and will focus almost entirely on the drill-and-practice programs developed for grades K through 6 in elementary arithmetic and beginning reading at Stanford University's Institute for Mathematical Studies in the Social Sciences.

Computerized instruction and the learning process.

- MedicineThe American psychologist
- 1968

CAT of late seems to have produced little more than a repetition of ideas that were exciting in the 1950s but, in the absence of new research, are simply well-worn cliches in the late 1960s.

LEARNING TO READ UNDER COMPUTER CONTROL

- Computer Science
- 1968

Preliminary analysis of comparison study data involving 100 first‐grade children showed a range of progress of thirty‐five to 170 main line problems per hour, and significantly superior attainment after CAI on several standard reading tests.

Computer-assisted learning in action.

- MedicineProceedings of the National Academy of Sciences of the United States of America
- 1969

The chairman of the authors' symposium has been explicit in his instructions to confine my remarks to computer-assisted learning in action, and there are many scientific problems to be solved in this area, but considerable progress has already been made.

A Reply to Professor Spache's Article, 'A Reaction to Computer-Assisted Instruction in Initial Reading: The Stanford Project'

- Computer Science
- 1968

The long-range feasibility of a curriculum research and evaluation system for the instruction of young children and a basis of empirical data for developing a viable theory of learning are determined.

Accelerated program in elementary‐school mathematics—the fourth year

- Psychology
- 1965

Accelerated programs in mathematics for gifted children can play an important role in the curriculum. Yet, an extensive review of the literature in the field revealed that few studies of such…

Modern Learning Theory and The Elementary-School Curriculum*

- Psychology
- 1964

What I want to do this evening is to sketch for you some of the implications of recent research in learning theory for the elementary-school curriculum and to indicate how I think these implications…

Mathematical Logic for the Schools

- Computer Science
- 1967

In general terms the aim of the program is to deepen and extend the mathematical experiences of the able elementary school child at the broadest level of mathematics, the level of methodology and the…