Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: A New Approach to Teaching Mathematics
Authors: Gries, David
Schneider, Fred B.
Keywords: computer science
technical report
Issue Date: Feb-1994
Publisher: Cornell University
Abstract: We propose a new approach to teaching discrete math: First, teach logic as a powerful and versatile tool for discovering and communicating truths; then use this tool in all other topics of the course. We spend 6 weeks teaching an equational style of propositional and predicate calculus, thereby ensuring that students gain a fluency in logical notation and some skill in its use. We teach basic heuristics for developing proofs, and we relate such proofs to more common informal proofs in mathematics. Then, we use logic extensively and rigorously in teaching topics like set theory, relations and functions, a theory of integers, induction, combinatorics, and solving recurrence relations. Success in teaching logic as a tool means that students lose their fear of mathematics and formalism, gain a positive view of rigorous proofs, learn to appreciate the use of syntactic manipulation, and begin using logic in other areas of study. Our experiences in teaching discrete math at Cornell shows that such success is possible.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
94-1411.pdf1.79 MBAdobe PDFView/Open
94-1411.ps398.25 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us