Courses for 2003-2004, χειμερινό εξάμηνο
required
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective required
- Μ6. Θεωρία συνόλων (Moschovakis)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Σταυρινός)
Special Topics in Logic
- Λ00Γ. Συνδυαστική πολυπλοκότητα (Ζησιμόπουλος)
- Λ03Α. Υπολογιστική αλγεβρική γεωμετρία (Ράπτης)
- Λ03Ν. Models of peano arithmetic (Δημητρακόπουλος)
special topics in computer science
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ξ. Προσεγγιστικοί αλγόριθμοι (Αφράτη, Ασλανίδης)