18.404 Theory of Computation

Class Info

A more extensive and theoretical treatment of the material in 6.045J/18.400J, emphasizing computability and computational complexity theory. Regular and context-free languages. Decidable and undecidable problems, reducibility, recursive function theory. Time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, and interactive proof systems.

This class has 6.042, and 18.200 as prerequisites.

18.404 will not be offered this semester. It will be available in the Fall semester, and will be instructed by M. Sipser.

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

This class counts for a total of 12 credits.

You can find more information at the MIT + 18.404 - Google Search site or on the 18.404 Stellar site.

Required Textbooks
Save up to up to 96% by purchasing through MIT Textbooks!
MIT 18.404 Theory of Computation Related Textbooks
MIT 18.404 Theory of Computation On The Web
MIT + 18.404 - Google Search

© Copyright 2015