Computing and Software 734
Formalized Mathematics
Winter 2014
Instructor:
William M. Farmer
Assignments
Exercise 1
(
due: 11-FEB-2014
revised: 18-JAN-2014)
Exercise 2
(
due: 11-FEB-2014
revised: 18-JAN-2014)
Exercise 3
(
due: 25-FEB-2014
revised: 7-FEB-2014)
Exercise 4
(
due: 4-MAR-2014
revised: 7-FEB-2014)
Exercise 5
(
due: 11-MAR-2014
revised: 7-FEB-2014)
Exercise 6
(
due: 18-MAR-2014
revised: 7-FEB-2014)
Exercise 7
(
due: 8-APR-2014
revised: 17-MAR-2014)
Presentation 1
(
due: 27-FEB-2014
revised: 7-FEB-2014)
Presentation 2
(
due: 18-MAR-2014
revised: 7-FEB-2014)
Presentation 3
(
due: 8-APR-2014
revised: 17-MAR-2014)