The Final Exam will take place on Monday, 11 May
from 14:00 to 16:30, in Fitzelle 310. Review sheet here. Review session Friday 8 May, 16:30.
Syllabus
Homework
- Bonus problem (Due Monday, 26 January)
- Let S1, S2, and S3 be statements. Prove the following:
[(S1 &or S2 &or S3) & &sim S1
& &sim S2] &rArr S3.
- HW 2 (Due Friday 30 January)
- HW 3 (Due Wednesday 4 February)
- HW 4 (Due Wednesday 10 February)
- HW 5 (Due Monday 2 March)
- HW 6 (Due Friday 6 March)
- HW 7 (Due Wednesday 10 March)
- HW 8 (Due Wednesday 18 March)
- HW 9 (Due Monday 23 March)
- HW 10 (Due Wednesday 25 March)
- HW 11 (Due Monday 30 March)
- HW 12 (Due Friday 24 April)
- HW 13 (Due Wednesday 29 April)