Theoretical computer science is the branch of computer science and mathematics concerned with the formal foundations of computation. It includes topics such as algorithms, automata, computability, complexity, logic, and formal languages.
A subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.