Computer Science 773
Formalized Mathematics
Winter 2001

Instructor: William M. Farmer

Slides

• 00 Preliminaries (7-JAN-2001) PostScript PDF
• 01 What is Mathematics? (17-JAN-2001) PostScript PDF
• 02 The Axiomatic Method (18-JAN-2001) PostScript PDF
• 03 Mechanized Mathematics Systems (11-JAN-2001) PostScript PDF
• 04 Introduction to IMPS (21-JAN-2001) PostScript PDF
• 05 Review of Logic (29-MAR-2001) PostScript PDF
• 06 What is Missing from First-Order Logic? (7-MAR-2001) PostScript PDF
• 07 Higher-Order Logic (20-MAR-2001) PostScript PDF
• 08 Set Theory (28-MAR-2001) PostScript PDF
• 09 Theory Development (30-MAR-2001) PostScript PDF