Course material 2010–11
Computation Theory
Principal lecturer: Prof Anuj Dawar
Taken by: Part IB
Syllabus
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.