Computer Laboratory

Course material 2010–11

Computation Theory

Principal lecturer: Prof Anuj Dawar
Taken by: Part IB

Lecture notes.

Past exam questions:

Comments on the relevance of recent Tripos questions to the course.

Feedback: Please complete the lecture feedback form.

Scooping the Loop Snooper (© Mathematical Acssociation of America), a poetic proof of the undecidability of the halting problem in the style of Dr Seuss by Geoffrey K. Pullum.