Computation Theory or Theory of Computation

First, we'll briefly cover logic and basic set theory. Second, we'll cover Automata and Languages (the mathematical models we use to encapsulate computation). Third, we'll cover Computability Theory (the study of the problems computers can and can not solve). Finally, we'll cover Complexity Theory (the study of which problems are easy/hard for computers to solve).