Courses for 2008-2009, εαρινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Κολλιόπουλος)
elective required
- Μ6. Θεωρία συνόλων (Moschovakis)
- Π6. Foundations of Databases and Knowledge (Κουμπαράκης)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
Special Topics in Logic
- Λ00Δ. Προσεγγιστικοί αλγόριθμοι και πολυπλοκότητα (Ζάχος)
- Λ08Α. Τεχνικές σύγχρονης κρυπτογραφίας (Κιαγιάς)
- Λ08Ν. Functional interpretation of arithmetic (Κολέτσος, Rigas)
special topics in computer science
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι (Θηλυκός)
- Π02Ε. Υπολογιστική άλγεβρα (Ράπτης)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)