18.404 Theory of Computation
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.
18.404 will be offered this semester (Fall 2018). It is 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.
© Copyright 2015 Yasyf Mohamedali