Computing and Software 734
Formalized Mathematics
Winter 2014

Instructor: William M. Farmer

Slides

• 00 Preliminaries (04-JAN-2014)
• 01 What is Formalized Mathematics? (08-JAN-2014)
• 02 Review of Mathematical Logic (08-JAN-2014)
• 03 Review of First-Order Logic (18-JAN-2014)
• 04 Simple Type Theory (18-JAN-2014)
• 05 Axiomatic Mathematics (31-JAN-2014)
• 06 Proof Assistants (7-FEB-2014)
• 07 Practice-Oriented Logics (22-FEB-2014)
• 08 The Little Theories Method (12-MAR-2014)
• 09 IMPS (31-MAR-2014)