Courses for 1998-1999, εαρινό εξάμηνο
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Nomikos)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος)
- Λ16. Μη-κλασικές λογικές (Κούτρας)
Special Topics in Logic
- Λ98Γ. Category theory and applications (Karazeris)
- Λ98Ο. Κατασκευαστικά μαθηματικά (Theotokis)
special topics in computer science
- Π98Π. Κρυπτογραφία (Kranakis)