Περιεχόμενα

1. Λογική και Απόδειξη: Προτάσεις και Λογική - Κατηγορήματα και ποσοδείκτες
- Μέθοδοι απόδειξης - Μαθηματική Επαγωγή.
2. Συνδυαστική: Οι κανόνες του αθροίσματος και του γινομένου - Οι τύποι της
συνδυαστικής - Διωνυμικοί συντελεστές.
3. Διακριτή πιθανότητα: ενδεχόμενα και πιθανότητες - δεσμευμένη πιθανότητα -
τυχαίες μεταβλητές και αναμενόμενες τιμές - διακύμανση και συσχέτιση.
4. Σχέσεις - Πράξεις - Δομές: Διμελείς σχέσεις - Αναπαράσταση των διμελών
σχέσεων - Ιδιότητες των σχέσεων - Σχέσεις ισοδυναμίας και μερικές διατάξεις -
Διμελείς Πράξεις - Εσωτερική πράξη και κλάσεις ισοδυναμίας - Δομές-
Ισομορφισμοί.
5. Αριθμητική υπολοίπων - κυκλικές Ομάδες: Διαιρετότητα - Ευκλείδειος
αλγόριθμος - Κατάλοιπα - "Δυνάμεις" - Κυκλικές Ομάδες - Υπολογισμοί με
μεγάλους ακεραίους.
6. Δακτύλιοι και περασμένα σώματα: Εύρεση γεννητόρων και διακριτών
λογαρίθμων - Αριθμητική πολυωνύμων και εφαρμογές - Αλγόριθμοι για
πεπερασμένα σώματα και εφαρμογές.
7. Αναδρομικότητα: Ακολουθίες - Αναδρομικές σχέσεις - Υπολογισμός
αθροισμάτων - γινομένων.