Computing and Software 734
Formalized Mathematics
Fall 2006
Instructor:
William M. Farmer
Course Outline
(06-SEP-2006)
Questionnaire
Logical and Mathematical Notation
Exercises
Slides
Presentations
References
(11-SEP-2006)