Computing and Software 734
Formalized Mathematics
Winter 2005

Instructor: William M. Farmer

Course Outline (13-JAN-2005)

Questionnaire

Logical and Mathematical Notation

Slides

Exercises

Presentation Topics

References