Computer Laboratory

Course pages 2014–15

Category Theory and Logic

Assessment will consists of:
  • A graded exercise sheet (25% of the final mark) issued on Tuesday 11 November 2014 in class and with solutions due back at the Graduate Education Office by 12 noon on Monday 17 November 2014.
  • A take-home test (75% of the final mark):
    • collect from Graduate Education Office at 16:00 on Thursday 15 January 2015
    • submit solutions to the Graduate Education Office by 16:00 on 19 January 2015