Computer Laboratory

Course pages 2012–13

Topics in Logic and Complexity

Timetable:

Mon/Wed/Fri 11am from Friday, 18 Jan. to Monday, 4 Feb.
Monday, 18 Feb. 11am and Friday, 22 Feb. at 12noon.
Mon/Wed 11am from Monday, 25 Feb. to Wednesday, 13 Mar.

All lectures take place in SW01.

Lecture Note Handouts:

Handout 1 (Lectures 1-8)
Handout 2 (Lectures 9-16)

Exercise Sheets:

Exercise Sheet 1
Exercise Sheet 2