Computing and Software 734
Formalized Mathematics
Winter 2005
Instructor:
William M. Farmer
Slides
00 Preliminaries
(03-JAN-2005)
01 What is Formalized Mathematics?
(03-JAN-2005)
02 The Axiomatic Method
(11-JAN-2005)
03 Interactive Theorem Proving Systems
(18-JAN-2005)
04 Introduction to IMPS
(22-JAN-2005)
05 Styles of Formal Proof
(1-FEB-2005)
06 Practice-Oriented Logics
(10-FEB-2005)
07 Definition and Specification Principles
(08-MAR-2005)
08 The Little Theories Method
(15-MAR-2005)
09 Symbolic Computation in Formal Proofs
(23-MAR-2005)