1.  Στοιχεία Θεωρίας Συνόλων:   Σύνολο, υποσύνολο, σύνολο αναφοράς, διάγραμμα Venn, ίσα σύνολα, ξένα σύνολα, διαμέριση συνόλου, πράξεις συνόλων - ιδιότητες πράξεων, δυναμοσύνολο. Πληθάριθμος συνόλου, πεπερασμένα σύνολα, απειροσύνολα (αριθμήσιμα & μη αριθμήσιμα). Πολυσύνολα, πράξεις στα πολυσύνολα, μαθηματική επαγωγή. 

2.  Σχέσεις: Βασικές έννοιες-πράξεις διμελών σχέσεων και ιδιοτήτων πράξεων. Ειδικές διμελείς πράξεις, σχέσεις μερικής διάταξης και ισοδυναμίας. Συναρτήσεις, είδη συναρτήσεων, ιδιότητες συναρτήσεων.

3.  Μαθηματική Λογική: Προτασιακός Λογισμός – λογική σύνδεσμοι, επαρκή σύνολα συνδέσμων, ταυτολογία, αντίφαση, μαθηματική απόδειξη, μετατροπή κειμένου σε μαθηματική αναπαράσταση και αντίστροφα. Εισαγωγή στον Κατηγορηματικό Λογισμό – προτασιακές συναρτήσεις, υπαρξιακός και καθολικός ποσοδείκτης.

4.  Αλγόριθμοι: Πολυπλοκότητα αλγορίθμων (Big-O, Big-Ω, Big-Θ), αναδρομικοί αλγόριθμοι

5.  Θεωρία Γράφων: Μη-κατευθυνόμενοι, κατευθυνόμενοι γράφοι, ιδιότητες και τύπου γράφων, μονοπάτια Euler και Hamilton, δέντρα σκελετοί.

6.  Μαθηματικά Μοντέλα Υπολογιστικών Μηχανών: Γλώσσες και γραμματικές, μηχανές πεπερασμένων καταστάσεων, αυτόματα, μηχανές Turing.