Courses for 2006-2007, εαρινό εξάμηνο
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Κολλιόπουλος)
elective required
- Μ6. Θεωρία συνόλων (Δημητρακόπουλος)
- Π6. Foundations of Databases and Knowledge (Κουμπαράκης)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ07Γ. Λογική, Αυτόματα και Παίγνια (Richerby)
special topics in computer science
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι (Θηλυκός)
- Π02Ζ. Θέματα θεωρίας παιγνίων και υπολογισμού (Koutsoupias)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π05Β. Computation Models, Formal Languages, Automata Theory and Complexity (Ζάχος)
- Π07Β. Προηγμένες βάσεις δεδομένων: αλγόριθμοι και πολυπλοκότητα (Kollias, Παγουρτζής, Ζάχος)
- Π07Ξ. Wireless networking and mobile computing (Kranakis)
special topics in mathematics
- Μ99Δ. Περιγραφική συνολοθεωρία (Τσαρπαλιάς)