Περιέχει: Βασικές έννοιες: Λογική και Αποδείξεις, Βασικές Δομές: Σύνολα, συναρτήσεις, ακολουθίες, αθροίσματα και πίνακες, Αλγόριθμοι, Θεωρία αριθμών και κρυπτογραφία, Επιλογή και αναδρομή, Απαρίθμηση, Διακριτή πιθανότητα, Προχωρημένες τεχνικές απαρίθμησης, Σχέσεις, Γραφήματα, Δένδρα, Άλγεβρα BOOLE, Μοντελοποίηση υπολογισμών, Απαντήσεις επιλεγμένων ασκήσεων, Παράρτημα 1: Αξιώματα για τους πραγματικούς αριθμούς και τους θετικούς ακεραίους, Παράρτημα 2: Εκθετικές και λογαριθμικές συναρτήσεις, Παράρτημα 3: Ψευδοκώδικας, Ευρετήριο.