Computing and Software 701
Logic and Discrete Mathematics In Software Engineering
Fall 2002

Instructor: William M. Farmer

Slides

• 00 Preliminaries (03-SEP-2002)
• 01 The Nature of Mathematics (08-SEP-2002)
• 02 Mathematical Models (15-SEP-2002)
• 03 Review of Logic (24-SEP-2002)
• 04 Simple Type Theory (11-NOV-2002)
• 05 Partial Functions and Undefined Terms (19-NOV-2002)
• 06 Recursive Definition and Inductive Proof (30-NOV-2002)
• 07 Practical Application of the Axiomatic Method (28-NOV-2002)
• 08 Equational Logic and Algebraic Reasoning