Computer Laboratory

Course pages 2016–17

Category Theory and Logic

Assessment 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.

Take-home test

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.