Literaturnachweis - Detailanzeige
| Autor/inn/en | Goldberg, Adele; Suppes, Patrick |
|---|---|
| Institution | Stanford Univ., CA. Inst. for Mathematical Studies in Social Science. |
| Titel | A Computer-Assisted Instruction Program for Exercises on Finding Axioms. Technical Report Number 186. |
| Quelle | (1972), (46 Seiten)
PDF als Volltext kostenfreie Datei |
| Beigaben | Tabellen |
| Dokumenttyp | gedruckt; online; Monographie |
| Schlagwörter | Artificial Intelligence; Computer Assisted Instruction; Computer Programs; Deduction; Instructional Innovation; Logic; Mathematical Logic; Program Descriptions |
| Abstract | An interactive computer-assisted system for teaching elementary logic is described, which was designed to handle formalizations of first-order theories suitable for presentation in a computer-assisted instruction environment. The system provides tools with which the user can develop and then study a nonlogical axiomatic theory along whatever lines he specifies. These tools include a proof-checking program that allows the user to construct derivations by taking advantage of the theorem-proving capabilities of the computer. Results of preliminary investigations using this computer-assisted teaching system in a manner designed to give the student greater control over the organization of his curriculum are summarized, and initial studies on the uses of mechanical theorem provers in teaching about proof construction are outlined. (Author/RH) |
| Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
| Update | 2004/1/01 |
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen
Permalink als QR-Code
Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)
Teile diese Seite:
