An introduction to teaching logic as a tool

Logic is the glue that binds together methods of reasoning, in all domains.
---David Gries and Fred B. Schneider

• A text on teaching logic as a tool: A Logical Approach to Discrete Math
• Errors corrected in third printing (postscript file)
• Instructor's Manual for A Logical Approach to Discrete Math

 
• Brief introduction to calculational logic
• Inference rules of calculational logic
• Axioms of calculational logic
• Precedence rules
• Useful proof principles and heuristics
• Grounding informal proof techniques in logic
• A neat solution to a word problem

 
• A short history of calculational logic

 
• Articles and lectures on teaching logic as a tool
• A Glimmer(ick) of Hope (Banquet speech at ZUM95, September 1995, in Limerick, Ireland, so be prepared.)

 
• Trefethen's madness --thoughts on Gries in limerick form

 
• Home pages for: Gries and Schneider
• University of Georgia CS Department Home Page