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