Descriptor
| Algorithms | 2 |
| Computer Assisted Instruction | 2 |
| Mathematics Education | 2 |
| Skill Development | 2 |
| Artificial Intelligence | 1 |
| Calculus | 1 |
| Cognitive Structures | 1 |
| College Mathematics | 1 |
| Computation | 1 |
| Computer Uses in Education | 1 |
| Computers | 1 |
| More ▼ | |
Source
Publication Type
| Information Analyses | 1 |
| Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textClark, Kevin Andrew – 1991
The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…
Descriptors: Algorithms, Calculus, College Mathematics, Computer Assisted Instruction
Funkhouser, Charles – 1990
The major perspectives on problem solving of the twentieth century are reviewed--associationism, Gestalt psychology, and cognitive science. The results of the review on teaching problem solving and the uses of computers to teach problem solving are included. Four major issues related to the teaching of problem solving are discussed: (1)…
Descriptors: Algorithms, Artificial Intelligence, Cognitive Structures, Computation
