Course pages 2016–17
Category Theory and LogicAssessment consists of:
- a graded exercise sheet (25% of the final mark), and
- a take-home test (75%).
Graded exercise sheet
Exercise Sheet 4, issued on 7 Nov with solutions due in by 14 Nov.
Students who scored less than 60% on Exercise Sheet 4 are offered the option of having their solutions to Exercise Sheet 6 graded and used for the 25% component of the final mark.
Exercise Sheet 6 will be issued on 28 Nov with solutions due in by 5 Dec.
The take-home test will be issued on Thursday 19 January 2017 at 16:00. Solutions are due on by 16:00 on Monday 23 January 2017.