The theory of computation is a branch of theoretical computer science that essentially focuses on what can be computed (with approximate versus precise solutions) and how efficiently problems can be solved.
This makes me wonder why I didn’t apply to any CS programs.
Sub-fields
Resources
- Introduction to the Theory of Computation, by Michael Sipser
recommended by veneris:
- Emperor’s New Mind, by Sir Roger Penrose
- Logicomix, by C. Papadimitriou