Computer Laboratory > Teaching > Course material 2009–10 > Topics in Logic and Complexity

 

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.