Courses for 2001-2002
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Ανδρόνικος)
elective required
- Μ6. Θεωρία συνόλων (Αρβανιτάκης)
elective (mathematical logic)
- M12. Θεωρία μοντέλων (Cornaros, Δημητρακόπουλος)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ99Ε. Θέματα βάσεων δεδομένων (Karali, Nikolaidou)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π01Γ. Παράλληλοι αλγόριθμοι και πολυπλοκότητα (Ζάχος)
- Π01Π. Algorithms for data mining (Αφράτη)
- Π99Π. Δίκτυα δεδομένων (Kranakis)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Ανδρόνικος)
elective (logic)
- Λ16. Μη-κλασικές λογικές (Κούτρας)
Special Topics in Logic
- Λ01Ν. Introduction to recursion in higher types (Moschovakis)
- Λ01Ξ. Μαθηματικά και ρομποτική (Ράπτης)
- Λ97Α. Πιθανοτικοί αλγόριθμοι (Koutsoupias)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Αρβανιτάκης)
special topics in computer science
- Π01Α. Άμεσοι αλγόριθμοι (Koutsoupias)