Massachusetts Institute of Technology
Theory of Computation, Fall 2020
Explore computability and complexity theory with MIT's in-depth course. Covers automata, Turing machines, undecidability, NP-completeness, and advanced topics in computational theory.