Courses for 2007-2008, χειμερινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος, Σταυρινός)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π01Α. Άμεσοι αλγόριθμοι (Koutsoupias)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης, Fragoudakis)
- Π02Ε. Υπολογιστική άλγεβρα (Εμίρης, Ράπτης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Θηλυκός)