Courses for 2004-2005, χειμερινό εξάμηνο
required
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective required
- Μ6. Θεωρία συνόλων (Moschovakis)
- Π6. Databases (Αφράτη)
elective (mathematical logic)
- M12. Θεωρία μοντέλων (Δημητρακόπουλος)
Special Topics in Logic
- Λ02Α. Αριθμητική πολυπλοκότητα (Moschovakis)
- Λ03Α. Υπολογιστική αλγεβρική γεωμετρία (Ράπτης)
- Λ04Α. Αποδείξεις και προγράμματα (Κολέτσος, Σταυρινός)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)