Courses for 2011-2012
required
- Λ1. Μαθηματική λογική (Κυρούσης)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
special topics in computer science
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π03Α. Δομική πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Chrysina, Εμίρης)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
- Π11Β. Αλγόριθμοι δικτύων: κατανεμημένοι, πιθανοτικοί, προσεγγιστικοί (Φωτάκης, Παγουρτζής)
reading course
- ΜΝ11β. Nonmonotonic Logic (Κούτρας)
- ΜΠ11. Τροπική λογική (Κούτρας)
- ΠΑ11. Αλγοριθμικές μέθοδοι προστασίας συστημάτων κρυπτογραφίας εναντίον επιθέσεων στην υλοποίηση (Κιαγιάς)
required
- Λ2. Υπολογισιμότητα (Αρβανιτάκης)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Ζάχος)