Courses for 2014-2015, εαρινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Κολέτσος, Σταυρινός)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ99Γ. Τροπική λογική (Κούτρας)
special topics in computer science
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Chrysina, Εμίρης)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
- Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων (Φωτάκης, Ζάχος)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Γιώτης)