Literaturnachweis - Detailanzeige
Autor/in | Straumanis, Joan |
---|---|
Titel | Logic and Simulation. |
Quelle | (1977), (10 Seiten)
PDF als Volltext |
Beigaben | Tabellen |
Dokumenttyp | gedruckt; online; Monographie |
Schlagwörter | Artificial Intelligence; College Students; Computer Assisted Instruction; Computer Programs; Feedback; Individualized Instruction; Instructional Innovation; Logic; Simulation |
Abstract | 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 to see whether it is well-formed; second, it checks each line of the student's proof to determine whether it is a legitimate inference from the premises and earlier lines of the proof. This program, combined with a second which offers drill and feedback on translating English to and from logical symbols, is the key part of an integrated computer assisted curriculum in informal and formal logic. It is argued that these "simulations" of logical processes, in conjunction with the CAI approach, enable college students to acquire an understanding of symbolic logic more quickly and at a higher level than courses using more conventional methods. (Author/BM) |
Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
Update | 2004/1/01 |