Courses for 2000-2001
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Δημήτριου)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ99Ε. Databases (Ioannidis, Karali)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Koutsoupias, Ζησιμόπουλος)
- Π00Δ. Προσεγγιστικοί αλγόριθμοι και υπολογιστική γεωμετρία (Ζάχος)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Δημήτριου)
elective (computer science logic)
- Π18. Λογικός προγραμματισμος (Foustoucos)
Special Topics in Logic
- Λ98Β. Introduction to Constructive Mathematics (Moschovakis)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Moschovakis)