Computer Science 773
Formalized Mathematics
Winter 2002

Instructor: William M. Farmer

Slides

• 00 Preliminaries (3-JAN-2001) PostScript PDF
• 01 What is Formalized Mathematics? (3-JAN-2001) PostScript PDF
• 02 What is Mathematics? (2-JAN-2001) PostScript PDF
• 03 Review of Logic (3-JAN-2001) PostScript PDF
• 04 What is Missing from First-Order Logic? (3-JAN-2001) PostScript PDF
• 05 Alternative Logics (25-JAN-2001) PostScript PDF
• 06 Mechanized Mathematics Systems (7-FEB-2002) PostScript PDF
• 07 Introduction to IMPS (8-FEB-2002) PostScript PDF
• 08 The Practical Application of the Axiomatic Method (24-MAR-2002) PostScript PDF