Introduction to Theory of Computation

From Wikiversity
Jump to navigation Jump to search
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.
Gnome-fs-client.svg Subject classification: this is an information technology 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[edit]