Mathematics
Logic in computer science
Operational semantics
Finite-state machine
Model theory
Algorithm
Theoretical computer science
Applied mathematics
Automata theory