Η ύλη του εξαμήνου είναι η εξής (από το βιβλίο του Rosen. Διακριτά Μαθηματικά και Εφαρμογές τους. 5η Έκδοση, Εκδόσεις Τζιόλα, 2009). Η τελική εξεταστέα ύλη θα καθοριστεί στο τέλος του εξαμήνου. Τα παρακάτω είναι ενδεικτικά. Η παρακάτω είναι η εξεταστέα ύλη.

Οι ένδειξη της εβδομάδας (Ε1-Ε13) ίναι ενδεικτική και μπορεί να αλλάξει ανάλογα με το ρυθμό της τάξης.

Κεφάλαιο 1.

    1.1 Λογική.    Ε1

    1.2 Προτασιακές ισοδυναμίες. Ε1

    1.3 Κατηγορήματα και Ποσοδείκτες. Ε1

    1.4 Εμφωλευμένοι Ποσοδείκτες. Ε2

    1.5 Μέθοδοι Απόδειξης. Ε2

    1.6 Σύνολα. Ε3

    1.7 Πράξεις επί των συνόλων. Ε3

    1.8 Συναρτήσεις. Ε4

Κεφάλαιο 2.

    2.2. Η ανάπτυξη των συναρτήσεων. (και συμβολισμός “Big-O.”) Ε4

    2.4 Οι Ακέραιοι και η Διαίρεση (χωρίς “Κατανομή πρώτων αριθμών”, “Εφαρμογές Αναλογιών Modulo”) Ε5

    2.6. Εφαρμογές της Θεωρίας Αριθμών (εξαιρείται όλη η ενότητα).

Κεφάλαιο 3.

    3.1. Στρατηγική Αποδείξεων (εξαιρείται όλη η ενότητα). Ε5

    3.2. Ακολουθίες και Αθροίσματα (μόνο την υποενότητα “Αθροίσματα”). Ε5

    3.3. Μαθηματική Επαγωγή (μέχρι Παράδειγμα 15). Ε6

    3.4 Αναδρομικοί ορισμοί και δομική Επαγωγή (χωρίς θεώρημα του Λαμέ, Γενικευμένη Επαγωγή). Ε7

Κεφάλαιο 4.

    4.1 Βασικά της αρίθμησης. Ε8

    4.2 Αρχή περιστερεώνα. Ε8

    4.3 Μεταθέσεις Συνδυασμοί Ε9

    4.4 Διωνυμικοί συντελεστές (χωρίς “Κάποιες άλλες ιδιότητες των διωνυμικών συντελεστών”). Ε10

    4.5 Γενικευμένες μεταθέσεις. Ε10

Κεφάλαιο 5

    5.1 Εισαγωγή στις πιθανότητες . Ε11

    5.2 Θεωρία πιθανοτήτων (χωρίς “Δοκιμές Bernoulli και Διωνυμική Κατανομή” και χωρίς “Αλγόριθμους Monte Carlo”). Ε11

    5.3 Προσδοκώμενη Τιμή (μέχρι Παράδειγμα 7). Ε11

Κεφάλαιο 6

    6.5 Εγκλεισμός αποκλεισμός. Ε12

Κεφάλαιο 7

    7.1 Σχέσεις και ιδιότητες. Ε13

    7.5 Σχέσεις ισοδυναμίας. Ε13