The theory of computation can be considered the creation of models of all kinds in the field of computer science. Therefore, mathematics and logic are used. In the last century, it … 展开

Automata theory
Automata theory is the study of abstract machines (or more appropriately, abstract 'mathematical' machines or systems) and the computational problems that can be solved using these machines. These abstract machines are … 展开

• Theory of Computation at MIT
• Theory of Computation at Harvard
• Computability Logic - A theory of interactive computation. The main web source on this subject. 展开

Aside from a Turing machine, other equivalent (See: Church–Turing thesis) models of computation are in use.
Lambda calculus A … 展开

Textbooks aimed at computer scientists
(There are many textbooks in this area; this list is by necessity incomplete.)
• Hopcroft, … 展开