Introduction to Theory of Computation
Michael Sipser
Learn computability theory with Michael Sipser's Intro to Theory of Computation course. Explore fundamental concepts in computer science!
More resources on Computability
nLab: Computability
Category-theoretic perspective on computability
Stanford Encyclopedia of Philosophy: Computability
Comprehensive entry on computability theory
ocw.mit.edu
MIT OpenCourseWare (OCW) offers free, openly licensed MIT course materials—lecture notes, videos, assignments, and exams—across a wide range of subjects, including computer science and computability.
plato.stanford.edu
Stanford Encyclopedia of Philosophy (SEP) is a free, peer‑reviewed online encyclopedia offering in-depth, scholarly philosophy articles written by experts. It includes comprehensive entries on computability theory—Turing machines, decidability, Church–Turing thesis—and related topics, with ongoing updates.
mathworld.wolfram.com
MathWorld is Wolfram's expansive online mathematics encyclopedia, offering detailed, cross-referenced articles, definitions, theorems, formulas, and diagrams across mathematical topics. It includes content on computability, logic, automata, and theoretical computer science, making it a strong reference for learning and exploring those concepts.
Theory of Computation
Theory of Computation - A book resource