Μαθήματα
- ΕΚΠΑ » Πληροφορικής και Τηλεπικοινωνιών » Μεταπτυχιακά Προγράμματα Σπουδών » ΔΠΜΣ Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά » 2 - Μαθηματική και Υπολογιστική Λογική
-
ΜάθημαΠρόσβαση
-
Algorithms in Structural Bioinformatics (DSIT) (Μ103)Ioannis Emiris - Evangelia Chrysina
-
Geometric Data Analysis (M104)Ioannis Emiris
-
Yπολογιστική Γεωμετρία / Computational Geometry (M169)Βησσαρίων Φυσικόπουλος
-
Yπολογιστική Γεωμετρία / Computational Geometry (M169 (ΠΜΣ 560))Γιάννης Εμίρης, Ileana Streinu
-
Αλγοριθμικη Θεωρία Γραφημάτων (ΠΜΣ Πληροφορική) και Θεωρία Γραφημάτων (ΔΠΜΣ ΑΛΜΑ) (Μ101)Αρχοντία Γιαννοπούλου—
-
Ειδικά Θέματα Λογικής: Θεωρία Τύπων (DI636)Νικόλαος Ρήγας
-
Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf (DI553)Νικόλαος Ρήγας
-
Θεωρία Αναδρομής (Χ 2024-25) (M702)Ζώρος Δημήτριος
-
Σημασιολογία Γλωσσών Προγραμματισμού (M145 (ΠΜΣ 556α))Ροντογιάννης Παναγιώτης
-
Συνδυαστική Βελτιστοποίηση (M148 (ΠΜΣ 506))Νάκος Βασίλειος
-
Υπολογιστική Άλγεβρα (M168 )Καρασούλου Άννα - Κοναξής Χρήστος
-
Υπολογιστική Πολυπλοκότητα (M171 και ΘΠ20)Αρχοντία Γιαννοπούλου—