Computing and Software 734
Formalized Mathematics
Winter 2008
Instructor:
William M. Farmer
Slides
00 Preliminaries
(02-JAN-2008)
01 What is Formalized Mathematics?
(01-JAN-2008)
02 Review of Mathematical Logic
(23-JAN-2008)
03 Theory Development Techniques
(24-JAN-2008)
04 The IMPS Interactive Mathematical Proof System
(4-FEB-2008)
05 Other Interactive Theorem Proving Systems
(4-FEB-2008)
06 Practice-Oriented Logics
(20-MAR-2008)
07 The Little Theories Method
(20-MAR-2008)