Topics in Logic and Complexity 2009–10
Principal lecturer: Prof Anuj Dawar Taken by: MPhil ACS Syllabus
Lecture Note Handouts:
Handout 1
Handout 2
Handout 3
Handout 4
Handout 5 (corrected version)
Handout 6
Handout 7 (corrected version)
Handout 8
Handout 9 (corrected version)
Handout 10 (corrected version)
Handout 11 (corrected version)
Handout 12 (corrected version)
Exercise Sheets:
The purpose of the exercise sheets is to explore the topics covered in
the lectures in more depth, to fill in arguments for some ideas only
mentioned in the lectures, and to provide practice in formulating the
arguments and proofs. Some of the exercises are more challenging than
others.
Exercise Sheet 1
Solution Hints for Exercise Sheet 1
Exercise Sheet 2
Take-Home Exam:
Here is a corrected version of the take-home exam.
|