Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barwise, J.; Etchemendy, J.: Creating Courseware. Notices Amer. Math. Soc. 36, 32–40 (1989).
Hodges, W.: Review: TARSKI’S WORLD AND TURING’S WORLD. Computerised Logic Teaching Bulletin 2, Nr. 1, 36–50 (1989).
Kolmogorov, A.N.; Dragalin, A.G.: Introduction to Mathematical Logic (Russian). Moscow Univ. Press, 1982.
Prank, R.; Viira, H.: Algebraic Manipulation Assistant for Propositional Logic. Computerised Logic Teaching Bulletin 4, Nr. 1, 13–18 (1991).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prank, R. (1991). Using Computerised Exercises on Mathematical Logic. In: Gorny, P. (eds) Informatik und Schule 1991. Informatik-Fachberichte, vol 292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76982-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-76982-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54619-1
Online ISBN: 978-3-642-76982-5
eBook Packages: Springer Book Archive