Ακαδημαϊκό έτος 2022-2023

Όνομα Τύπος Ομάδα Εξάμηνο
Ειδικά Θέματα Λογικής: Λογική και Πληροφορική: λ-λογισμός, Ισομορφισμός Curry-Howard Επιλογής Εαρινό
Στοχαστικά Μοντέλα Επιλογής Χειμερινό
Θεωρία Γραμμικού Προγραμματισμού Επιλογής Χειμερινό
Σημασιολογία Γλωσσών Προγραμματισμού Επιλογής Εαρινό
Ειδικά Θέματα Αλγορίθμων: Κυρτή Βελτιστοποίηση και Εφαρμογές στη Μηχανική Μάθηση Επιλογής Εαρινό
Δομική Πολυπλοκότητα Επιλογής Χειμερινό
Ειδικά Θέματα Αλγορίθμων: Προηγμένα Θέματα Υπολογιστικής Μάθησης Επιλογής Εαρινό
Κρυπτογραφία Επιλογής Χειμερινό
Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα Επιλογής Εαρινό
Τυχαιοποιημένοι Αλγόριθμοι Επιλογής Χειμερινό
Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα Επιλογής Εαρινό
Αλγόριθμοι Υποχρεωτικό Χειμερινό
Ειδικά Θέματα Αλγορίθμων: Προσομοίωση Επιλογής Εαρινό
Ειδικά Θέματα Λογικής: Περιγραφική Θεωρία Συνόλων Επιλογής Εαρινό
Αλγοριθμική Θεωρία Παιγνίων Επιλογής Εαρινό
Αλγόριθμοι Δικτύων και Πολυπλοκότητα Επιλογής Εαρινό
Αλγόριθμοι στη Δομική Βιοπληροφορική Επιλογής Εαρινό
Ειδικά Θέματα Αλγορίθμων: Αλγοριθμική Επιστήμη Δεδομένων Επιλογής Εαρινό
Απεικόνιση Γραφημάτων Επιλογής Χειμερινό
Ειδικά Θέματα Διακριτών Μαθηματικών: Προχωρημένα Θέματα Κρυπτογραφίας Επιλογής Εαρινό
Θεωρία Πληροφορίας Επιλογής Εαρινό
Υπολογιστική Πολυπλοκότητα Κατ' επιλογήν υποχρεωτικό Α Χειμερινό
Συνδυαστική Βελτιστοποίηση Κατ' επιλογήν υποχρεωτικό Α Χειμερινό
Λογική Κατ' επιλογήν υποχρεωτικό Β Εαρινό
Θεωρία Αναδρομής Κατ' επιλογήν υποχρεωτικό Β Χειμερινό
Θεωρία Συνόλων Κατ' επιλογήν υποχρεωτικό Β Χειμερινό
Συνδυαστική Κατ' επιλογήν υποχρεωτικό Γ Χειμερινό
Στοχαστικές Διαδικασίες Κατ' επιλογήν υποχρεωτικό Γ Χειμερινό
Θεωρία Γραφημάτων Κατ' επιλογήν υποχρεωτικό Γ Εαρινό