Abstract
The typical discrete-math course has a unit on formal logic, but is concepts and notations are rarely applied in other units of the course. Instead, logic is viewed as an isolated topic, perhaps motivated by an application or two. Not surprisingly, students develop a negative view of logic as a topic that is of academic interest only.
This tutorial presents our experiences in teaching another view: logical manipulation can be a powerful and versatile tool for the practicing mathematician and computer scientist, and students should be taught to use this tool skillfully. Armed with this tool, students have an easier time mastering other discrete-math topics, as well as later topics in the computer science and mathematics curriculum.
This is a preview of subscription content, log in via an institution to check access.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gries, D., Schneider, F. (1993). Teaching logic as a tool. In: Díaz-Herrera, J.L. (eds) Software Engineering Education. CSEE 1994. Lecture Notes in Computer Science, vol 750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017645
Download citation
DOI: https://doi.org/10.1007/BFb0017645
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57461-3
Online ISBN: 978-3-540-48191-1
eBook Packages: Springer Book Archive