Computing and Software 734
Formalized Mathematics
Fall 2006
Instructor:
William M. Farmer
Slides
00 Preliminaries
(07-SEP-2006)
01 What is Formalized Mathematics?
(07-SEP-2006)
02 Review of Mathematical Logic
(21-SEP-2006)
03 Theory Development Techniques
(28-SEP-2006)
04 The IMPS Interactive Mathematical Proof System
(24-OCT-2006)
05 Other Interactive Theorem Proving Systems
(13-NOV-2006)
06 The Little Theories Method
(05-DEC-2006)
07 Symbolic Computation in Formal Proofs
08 Practice-Oriented Logics