Theory of Computation is a core subject in computer science that deals with how problems can be solved using algorithms and computational systems. It encompasses concepts such as automata theory, formal languages, and Turing machines, which are essential for understanding the limits of what can be computed.