Computation theory

The branch of theoretical computer science studying what can be computed and with what resources - includes models of computation (Turing machines, Lambda calculus), Decidability (halting problem, Ric

The branch of theoretical computer science studying what can be computed and with what resources - includes models of computation (Turing machines, lambda calculus), decidability (halting problem, Rice's theorem), complexity classes (P, NP), and the Chomsky hierarchy of formal languages.