Courses for 2002-2003, εαρινό εξάμηνο
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Ανδρόνικος)
elective required
- Μ6. Θεωρία συνόλων (Δημητρακόπουλος, Τσαρπαλιάς)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ02Β. Metamathematics of Peano arithmetic (Cornaros, Δημητρακόπουλος)
- Λ02Ο. Algebraic specifications and their applications in computer science (Diaconescu)
- Λ02Π. Θέματα λογικής στην πληροφορική (Foustoucos)
- Λ97Α. Πιθανοτικοί αλγόριθμοι (Νικολετσέας)
- Λ99Ε. Θέματα βάσεων δεδομένων (Nikolaidou)
special topics in computer science
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Ζάχος)
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π02Ε. Υπολογιστική άλγεβρα (Εμίρης)
- Π02Ζ. Θέματα θεωρίας παιγνίων και υπολογισμού (Koutsoupias)
- Π02Ξ. Ασφάλεια δικτύων και πολυπλοκότητα (Kranakis)