6.045 Automata, Computability, and Complexity


Class Info

Mathematical introduction to questions concerning the definition of computation, and what problems can be solved by computers. Considers what problems can be efficiently solved by way of finite automata, circuits, Turing machines, and communication complexity. Provides complete, rigorous answers to the questions in some cases; others are major open problems. Builds skills in classifying computational problems in terms of their difficulty. Discusses other fundamental issues, including the Church-Turing Thesis, the P versus NP problem, and the power of randomness.

This class has 6.042 as a prerequisite.

6.045 will not be offered this semester. It will be available in the Spring semester, and will be instructed by R. Williams.

Lecture occurs 2:30 PM to 4:00 PM on Tuesdays and Thursdays in 32-155.

This class counts for a total of 12 credits.

You can find more information at the http://www.google.com/search?&q=MIT+%2B+6.045&btnG=Google+Search&inurl=https site or on the 6.045 Stellar site.

MIT 6.045 Automata, Computability, and Complexity Related Textbooks
MIT 6.045 Automata, Computability, and Complexity On The Web

© Copyright 2015