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