Introduction to Theory of Computation

Sciences humaines.svg Educational level: this is a tertiary (university) resource.
Progress-0000.svg Completion status: this resource is a stub, so not much has been done yet.
Nuvola apps edu mathematics-p.svg 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 notesEdit

LecturesEdit

HandoutsEdit

TextbooksEdit

Free textbook:

Problem setsEdit

Exams problemsEdit