This course provides a graduate-level introduction to the theoretical foundations of computer science, including finite automata, context-free grammars, Turing machines, and formal logic.