Predicate logic and formal proofs, grammars and automata, modular arithmetic, and their applications to computing.