Theoretical computer science

The broader field of theoretical computer science encompasses both the classical theory of computation, and a wide range of other topics that focus on the more abstract, logical and mathematical aspects of computing.

P \rightarrow Q \, \Gamma\vdash x : Int
Mathematical logic Automata theory Number theory Graph theory Type theory Category theory Computational geometry Quantum computing theory