![](https://d3ilqtpdwi981i.cloudfront.net/enW_RUGxwCxphZtpn3OO9YPnOJc=/425x550/smart/https://bepress-attached-resources.s3.amazonaws.com/uploads/6b/ce/5a/6bce5aa1-78dc-4f6f-ba40-ab474e04d03e/thumbnail_05b99f51-8d89-4c77-bd46-cecd18abc078.jpg)
Course Syllabus
CS 410/610: Theoretical Foundations of Computing
Computer Science & Engineering Syllabi
Document Type
Syllabus
Description
This course is an introduction to one of the fundamental topics in the theory of computer science: computability theory. Computability theory is concerned with determining whether there is an algorithmic solution to a problem. The study of computability uses the Turing machine as the basic computational model. A Turing machine is a random access, read-write, finite state automaton. The Church-Turing thesis asserts that any problem that can be solved in any algorithmic manner can be solved by a Turing machine.
Publication Date
10-1-2004
College
College of Engineering and Computer Science
Department
Computer Science
Course Number
CS 410/610
Disciplines
Citation Information
Thomas Sudkamp. "CS 410/610: Theoretical Foundations of Computing" (2004) Available at: http://works.bepress.com/thomas_sudkamp/29/