1. Βασικές έννοιες από τη θεωρία συνόλων και τον προτασιακό λογισμό 2. Θεωρία αριθμών 3. Βασικές αρχές απαρίθμησης 4. Προχωρημένη απαρίθμηση 5. Εισαγωγή στη θεωρία γραφημάτων 6. Διμερή γραφήματα και ταιριάσματα 7. Τυπικές γλώσσες και αυτόματα 8. Αλγόριθμοι για αυτόματα 9. Context free γραμματικές 10. Υπολογισιμότητα 11. Εισαγωγή στη διακριτή πιθανότητα 12. Τυχαίες μεταβλητές και μέση τιμή
Στο βιβλίο αυτό θα περιλαμβάνεται υλικό που υπερκαλύπτει ένα συνηθισμένο μάθημα «διακριτών μαθηματικών» όπως το παίρνουν κυρίως φοιτητές σε τμήματα πληροφορικής. Θα ξεκινάει με τις βασικές έννοιες της θεωρίας συνόλων και της λογικής, σε επίπεδο περισσότερο της γνώσης της γλώσσας και της ορολογίας στους δύο αυτούς τομείς (που θα επιτρέψει την ευκολότερη χρήση τους μετέπειτα στο μάθημα) και χωρίς ιδιαίτερη έμφαση σε δύσκολα θεωρήματα (θα δεχτεί όμως η έννοια του διαγώνιου επιχειρήματος που χρησιμεύει και στην έννοια της αριθμησιμότητας αλλά και της υπολογισιμότητας). Κάποιες βασικές έννοιες της θεωρίας αριθμών θα ακολουθήσουν (διαιρετότητα, ανάλυση σε πρώτους, αλγόριθμος Ευκλείδη, υπολογισμοί με υπόλοιπα). Οι έννοιες και τεχνικές απαρίθμησης στη συνδυαστική καταλαμβάνουν την πρώτη σημαντική ενότητα του μαθήματος και ακολουθούνται από την επόμενη ενότητα που είναι οι κεντρικές έννοιες της θεωρίας γραφημάτων (βαθμοί, συνεκτικότητα, χρωματισμοί, διμερή γραφήματα, ταιράσματα σε διμερή γραφήματα και δυϊσμός, δέντρα, βασικοί αλγόριθμοι). Μετά την εισαγωγή στην συνδυαστική απαρίθμηση εισάγεται η έννοια της διακριτής πιθανότητας, οι τυχαίες μεταβλητές και η μέση τιμή τους που μας δίνουν τη δυνατότητα να δώσουμε πολλές εφαρμογές σε μη πιθανοθεωρητικά (και αλγοριθμικά) προβλήματα. Ως επιπλέον υλικό περιλαμβάνονται στοιχεία της θεωρίας τυπικών γλωσσών: κανονικές γλώσσες, αυτόματα ντετερμινιστικά και μη, αλγόριθμοι για αυτόματα). Το υλικό αυτό πρέπει να θεωρηθεί ως εκτός του βασικού μαθήματος διακριτών μαθηματικών και ως επιπλέον υλικό στο οποίο μπορεί να κινηθεί ο διδάσκων αν οι συνθήκες το επιτρέπουν ή ανάγκες το απαιτούν
