Computing and Software 734
Formalized Mathematics
Fall 2006

Instructor: William M. Farmer

Exercises

• Exercise 1 (due: 28-SEP-2006; revised: 12-SEP-2006)
• Exercise 2 (due: 05-OCT-2006; revised: 20-SEP-2006)
• Exercise 3 (due: 12-OCT-2006; revised: 28-SEP-2006)
• Exercise 4 (due: 19-OCT-2006; revised: 05-OCT-2006)
• Exercise 5 (due: 26-OCT-2006; revised: 05-OCT-2006)
• Exercise 6 (due: 02-NOV-2006; revised: 10-OCT-2006)
• Exercise 7 (due: 11-DEC-2006; revised: 13-NOV-2006)
• Exercise 8 (due: 11-DEC-2006; revised: 13-NOV-2006)
• Exercise 9 (for extra credit) (due: 11-DEC-2006; revised: 13-NOV-2006)