This module provides an introduction to the mathematical underpinnings of computing, from number representation and elementary machine operations to abstract automata and the limits of computation.