1991 | OriginalPaper | Buchkapitel
Using Computerised Exercises on Mathematical Logic
verfasst von : Rein Prank
Erschienen in: Informatik und Schule 1991
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
At the end of 1987 we started a teaching Software project for the Basic Course on Mathematical Logic for first-year students. The decision to use the Computers was initially caused by poor Performance of the students in two subjects: programming Turing Machines and the construction of the proofs in formal theories. In the process of the work we have added two more simple themes: truth-table exercises and the algebraic manipulation of the formulas.