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: