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: Teaching Math More Effectively, Through the Design of Calculational Proofs
Authors: Gries, David
Schneider, Fred B.
Keywords: computer science
technical report
Issue Date: Mar-1994
Publisher: Cornell University
Abstract: Lower-level college math courses usually avoid using formalism, in both definitions and proofs. Later, when students have mastered definitions and proofs written largely in English, they may be shown how informal reasoning could be formalized, but the impression is left that such formalization would not be worth the effort. The design of proofs is also not taught. Students see proofs and may be asked to develop a few themselves, but there is little or no discussion of principles or strategies for designing proofs. Few are happy with the results of these courses. Generally, students' reasoning abilities are poor, even after several math courses. Many students still fear math and notation, and the development of proofs remains a mystery to most. In short, students are not being equipped with the tools needed to employ mathematics in solving new problems. We believe that this statee of affairs can be improved. This article describes our approach.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
94-1415.pdf753.43 kBAdobe PDFView/Open
94-1415.ps193.67 kBPostscriptView/Open

Refworks Export

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


© 2014 Cornell University Library Contact Us