Courses for 2005-2006, εαρινό εξάμηνο
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Κολλιόπουλος)
elective required
- Μ6. Θεωρία συνόλων (Δημητρακόπουλος)
- Π6. Foundations of Databases and Knowledge (Κουμπαράκης)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ05Γ. Περιγραφική πολυπλοκότητα και αλγόριθμοι (Θηλυκός)
- Λ97Α. Πιθανοτικοί αλγόριθμοι (Koutsoupias)
special topics in computer science
- Π01Γ. Παράλληλοι αλγόριθμοι και πολυπλοκότητα (Ζάχος)
- Π01Π. Algorithms for data mining (Αφράτη)
- Π02Ξ. Ασφάλεια δικτύων και πολυπλοκότητα (Kranakis)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Δ. Geometric and Algebraic Algorithms in Molecular Biology (Εμίρης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π05Β. Computation Models, Formal Languages, Automata Theory and Complexity (Ζάχος)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Richerby)