Μαθήματα
- ΕΚΠΑ » Πληροφορικής και Τηλεπικοινωνιών » Μεταπτυχιακά Προγράμματα Σπουδών » ΔΠΜΣ Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά » 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)
Ζώρος Δημήτριος
|
|
|
Θεωρία Συνόλων (Ε 2024-2025) ( M703)
Δημήτρης Ζώρος
|
|
|
Σημασιολογία Γλωσσών Προγραμματισμού (M145 (ΠΜΣ 556α))
Ροντογιάννης Παναγιώτης
|
|
|
Συνδυαστική Βελτιστοποίηση (M148 (ΠΜΣ 506))
Β. Ζησιμόπουλος
|
|
|
Υπολογιστική Άλγεβρα (M168 )
Καρασούλου Άννα - Κοναξής Χρήστος
|
|
|
Υπολογιστική Πολυπλοκότητα (M171 και ΘΠ20)
Αρχοντία Γιαννοπούλου
|