| Exam |
Weight |
Minimum Grade |
Date |
| Midterm |
40% |
None |
October 13 |
| Final |
40% |
None |
December 8 |
| Re-sit |
80% |
None |
|
Block 1
W35L01 - Lecture 1 notes
W36L02 - Lecture 2 notes
W37L03 - Lecture 3 notes
W38L04 - Lecture 4 notes
Block 2
W43L08 - Lecture 8 notes
W44L09 - Lecture 9 notes
W45L10 - Lecture 10 notes
W46L11 - Lecture 11 notes
W47L12 - Lecture 12 notes
Final Exam Structure
- The Final Exam: 40 Points
- 3 Definitions: 3 Points
- 3 Set Theory Operations: 3 Points
- 2 Relations Diagrams: 2 Points
- 7 ND Proofs (4 TFL, 3 FOL): 14 Points
- 2 Provably Equivalent Proofs: 8 Points
- 2 Jointly Contrary Proofs: 4 Points
- 2 ‘Tricky’ Proofs: 6 Points
- Bonus Questions: 2 Points