Next:
About this document ...
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial I
WEDNESDAY 6th September 1995 (full-day)
Teaching Logic as a Tool
David Gries (Cornell University, USA)
This tutorial is for people who teach logic or discrete math. It discusses a revolutionary approach to teaching logic, where students learn to develop proofs, to appreciate rigour and formalism, and to use logic rigorously in all other topics of discrete math. The tutorial will explain the logic and will include useful discussions on teaching logic to make it palatable. Participants will receive a copy of the text ``A Logical Approach to Discrete Math" and the accompanying Instructor's Manual, both by Gries and Schneider.
An introduction to the equational logic that is used is available on-line under:
http://www.cs.cornell.edu/Info/People/gries/gries.html
A New Yorker by birth, David Gries received his doctorate in Munich in 1966, spent three years at Stanford, and has been working in computer science at Cornell ever since. He is known mostly for his texts on compiling, programming, and logic and discrete mathematics. He has received three education awards from international computer societies: AFIPS (1986), ACM SIGCSE (1991), and IEEE Computer Society (1995).