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