Computing and Software 701
Logic and Discrete Mathematics in Software Engineering
Fall 2005
Instructors:
William M. Farmer
and
Martin v. Mohrenschildt
Slides
00 Preliminaries
(5-SEP-2005)
01 Introduction to Mathematics and Logic
(9-SEP-2005)
02 Propositional Logic
(25-SEP-2005)
03 Numbers, Sets, Functions, and Relations
(23-OCT-2005)
04 First-Order Logic
(12-OCT-2005)
05 Recursion and Induction
(7-OCT-2005)
06 Simple Type Theory
(11-OCT-2005)
07 State Machines and Refinement
08 Events and Conditions
09 Logic with States and Time
10 Specification and Verification of Static and Dynamic Properties