Automata, Computability, and Complexity
Michael Sipser
Explore automata, computability, and complexity with Michael Sipser's comprehensive course. Master the theory of computation!
More resources on Computability Theory
nLab Computability
Category-theoretic view
Theory of Computing
Free journal and resources
Scott Aaronson's Blog
Great Theoretical CS posts including computability
Theory of Computation
Learn computability theory with Kamala Krithivasan's Theory of Computation course. Explore fundamental concepts and problem-solving!
geeksforgeeks.org
GeeksforGeeks is a comprehensive computer science education site offering detailed tutorials and explanations on programming, data structures and algorithms, and theory of computation topics such as automata, formal languages, and computability. It also provides code examples, practice problems, and interview prep resources.
brilliant.org
Brilliant.org is an online learning platform offering interactive, problem‑solving courses and practice across math, science, and computer science, including topics relevant to computability theory such as algorithms and logic. It provides bite‑sized lessons, guided practice, and instant feedback with hints and solutions to build core problem‑solving skills.