Descriptor
| Artificial Intelligence | 1 |
| College Students | 1 |
| Computer Assisted Instruction | 1 |
| Computer Programs | 1 |
| Feedback | 1 |
| Individualized Instruction | 1 |
| Instructional Innovation | 1 |
| Logic | 1 |
| Simulation | 1 |
Source
Author
| Straumanis, Joan | 1 |
Publication Type
| Speeches/Meeting Papers | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textStraumanis, Joan – 1977
A major problem in teaching symbolic logic is that of providing individualized and early feedback to students who are learning to do proofs. To overcome this difficulty, a computer program was developed which functions as a line-by-line proof checker in Sentential Calculus. The program, DEMON, first evaluates any statement supplied by the student…
Descriptors: Artificial Intelligence, College Students, Computer Assisted Instruction, Computer Programs
