Computer Science 773
Formalized Mathematics
Winter 2001
Instructor:
William M. Farmer
Exercises
Exercises and Presentations 1 (10-JAN-2001)
PostScript
PDF
Exercises and Presentations 2 (18-JAN-2001)
PostScript
PDF
Exercises and Presentations 3 (26-JAN-2001)
PostScript
PDF
Exercises and Presentations 4 (28-FEB-2001)
PostScript
PDF
Point total of exercises:
188
Number of presentations:
4