Computing and Software 701
Logic and Discrete Mathematics in Software Engineering
Fall 2004

Instructor: William M. Farmer

Slides

• 00 Preliminaries (08-SEP-2004)
• 01 What is Mathematics? (06-SEP-2004)
• 02 What is Logic? (14-SEP-2004)
• 03 Propositional Logic (23-OCT-2004)
• 04 Numbers, Sets, Functions, and Relations (28-SEP-2004)
• 05 Mathematical Models (05-OCT-2004)
• 06 First-Order Logic (23-OCT-2004)
• 07 Equational Logic and Algebraic Reasoning (17-NOV-2004)
• 08 Recursion and Induction (23-NOV-2004)
• 09 Simple Type Theory (02-DEC-2004)
• 10 A Compendium of Mathematical Structures (14-NOV-2004)
• 11 Simple Type Theory with Undefinedness (15-NOV-2004)
• 12 Axiomatic Method (14-NOV-2004)