Computing and Software 734
Formalized Mathematics
Winter 2008
Exercises
- Exercise 1
(due: 8-FEB-2008; revised: 18-JAN-2008)
- Exercise 2
(due: 8-FEB-2008; revised: 18-JAN-2008)
- Exercise 3
(due: 25-FEB-2008; revised: 4-FEB-2008)
- Exercise 4
(due: 5-MAR-2008; revised: 7-MAR-2008)
- Exercise 5
(due: 12-MAR-2008; revised: 7-MAR-2008)
- Exercise 6
(due: 19-MAR-2008; revised: 7-MAR-2008)
- Exercise 7
(due: 26-MAR-2008; revised: 7-MAR-2008)
- Exercise 8
(due: 9-APR-2008; revised: 7-MAR-2008)
- Exercise 9
(due: 16-APR-2008; revised: 7-MAR-2008)
- Exercise 10
(due: 16-APR-2008 (optional); revised: 7-MAR-2008)