Modular arithmetic, cyphers, and encryption
Modelling systems of change: sequences and discrete dynamical systems
Finite state machines, Turing machines, and string rewriting
Boolean logic, truth tables, and formal proof