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