Course. Introduction to Theoretical Computer Science [itcs]

Automata theory, computability theory, complexity theory, lambda calculus.