Dieses Kapitel fasst kurz und prägnant die in dem Buch verwendeten mathematischen Grundlagen zusammen, so weit sie über eine typische einführende Mathematikvorlesung des Informatikstudiums hinausgehen könnten. Behandelt werden Graphen, Äquivalenzrelationen, Wörter und Abzählbarkeit. Außerdem sind die Beweise der eindeutigen Lesbarkeit aussagenlogischer Formeln in dieses Kapitel ausgegliedert.