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