Courses for 2004-2005
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Potika)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
special topics in computer science
- Π00Δ. Προσεγγιστικοί αλγόριθμοι και υπολογιστική γεωμετρία (Ζάχος)
- Π02Ζ. Θέματα θεωρίας παιγνίων και υπολογισμού (Koutsoupias)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Δ. Geometric and Algebraic Algorithms in Molecular Biology (Εμίρης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ν. Λογική στην τεχνητή νοημοσύνη (Peppas)
- Π99Π. Δίκτυα δεδομένων (Kranakis)
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Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)