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)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Nomikos)
elective (computer science logic)
- Π19. Μαθηματική θεωρία γλωσσών προγραμματισμού (Georgatos)
Special Topics in Logic
- Λ98Α. Logic Programming II (Foustoucos)
- Λ98Β. Principles of Constructive Mathematics (Moschovakis)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Moschovakis)