Courses for 2009-2010
Special Topics in Logic
- Λ97Α. Πιθανοτικοί αλγόριθμοι (Αχλιόπτας)
reading course
- ΜΓ09. Καθολική άλγεβρα (Κούτρας)
required
- Λ2. Υπολογισιμότητα (Αρβανιτάκης)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος, Σταυρινός)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π01Α. Άμεσοι αλγόριθμοι (Koutsoupias)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Φωτάκης, Ζάχος)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
- Π98Π. Κρυπτογραφία (Κιαγιάς)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Θηλυκός)
reading course
- ΜA09. Lattices και θεωρία διάταξης (Κούτρας)