Cursos
- UOA » Informatics and Telecommunications » Postgraduate courses » Algorithms, Logic, and Discrete Mathematics » 2 - Mathematical and Computational Logic
Curso | |
---|---|
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)
Αρχοντία Γιαννοπούλου
|