Introduction to Theory of Computation

Educational level: this is a tertiary (university) resource.
Completion status: this resource is a stub, so not much has been done yet.
Subject classification: this is a mathematics resource.
Alan Turing (1912 – 1954) was a major figure in early computer science. He was an early thinker about artificial intelligence -- his famous paper "Computing machinery and intelligence" presented the Turing Test for detecting strong AI. Also, relevant to this course, he developed the idea of a Turing machine as the fundamental mathematical description of an algorithm. This memorial to Alan Turing can be seen at Bletchley Park.

Lecture notes edit

Lectures edit

Handouts edit

Textbooks edit

Free textbook:

Problem sets edit

Exams problems edit