Πράξεις συναρτήσεων και συνόλων. Ακολουθίες και σειρές. Αναλογική και κατηγορηματική λογική. Συμπερασματολογικοί κανόνες. Αποδεικτικές μέθοδοι. Αρχές επαγωγής. Σχέσεις. Γράφοι και αλγόριθμοι γράφων. Δενδροδιαγράμματα. Συνδυαστική.