Courses for 1999-2000
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Δημήτριου)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος)
elective (computer science logic)
Special Topics in Logic
- Λ99Ν. Θέματα συνολοθεωρίας (Moschovakis)
special topics in computer science
- Π99Π. Δίκτυα δεδομένων (Kranakis)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Δημήτριου)
Special Topics in Logic
- Λ99Α. Finite model theory (Weinstein)
- Λ99Β. Automata and applications (Soskov)
- Λ99Γ. Τροπική λογική (Κούτρας)
special topics in mathematics
- Μ99Δ. Περιγραφική συνολοθεωρία (Moschovakis)