Computing and Software 701
Logic and Discrete Mathematics in Software Engineering
Fall 2008
Instructor:
William M. Farmer
Slides
00 Preliminaries
(1-SEP-2008)
01 Introduction to Mathematics and Logic
(12-SEP-2008)
02 Propositional Logic
(10-SEP-2008)
03 Numbers, Sets, Functions, and Relations
(23-SEP-2008)
04 Orders and Lattices
(26-OCT-2008)
05 First-Order Logic
(8-OCT-2008)
06 Equational Logic and Algebraic Reasoning
(8-NOV-2008)
07 Recursion and Induction
(26-NOV-2008)
08 Simple Type Theory
(22-NOV-2008)