Courses for 2005-2006, χειμερινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective required
- Π6. Databases (Αφράτη, Vassalos)
elective (mathematical logic)
- M11. Θεωρία αναδρομής (Moschovakis)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος, Σταυρινός)
Special Topics in Logic
- Λ03Α. Υπολογιστική αλγεβρική γεωμετρία (Ράπτης)
- Λ98Γ. Category theory and applications (Karazeris, Rigas)
- Λ99Α. Finite model theory (Richerby)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Ζάχος)
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
special topics in mathematics
- Μ05Ν. Κατασκευαστική αριθμητική και ανάλυση (Moschovakis)