Courses for 2003-2004
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Παγουρτζής)
elective required
- Π6. Databases (Sellis)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
special topics in computer science
- Π01Α. Άμεσοι αλγόριθμοι (Koutsoupias)
- Π01Π. Algorithms for data mining (Αφράτη)
- Π03Α. Δομική πολυπλοκότητα (Ζάχος)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
- Π03Δ. Αλγόριθμοι στη μοριακή βιολογία (Εμίρης)
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Ξ. Προσεγγιστικοί αλγόριθμοι (Αφράτη, Ασλανίδης)