Courses for 2007-2008
required
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Κολλιόπουλος)
elective required
- Μ6. Θεωρία συνόλων (Moschovakis)
- Π6. Foundations of Databases and Knowledge (Κουμπαράκης)
elective (mathematical logic)
- M12. Θεωρία μοντέλων (Δημητρακόπουλος)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Λ07Ο. Γραμμική λογική (Σταυρινός)
special topics in computer science
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι (Θηλυκός)
- Π03Α. Δομική πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Εμίρης)
- Π03Ν. Λογική στην τεχνητή νοημοσύνη (Peppas)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
- Π07Ξ. Wireless networking and mobile computing (Kranakis)
special topics in mathematics
- Μ99Δ. Περιγραφική συνολοθεωρία (Τσαρπαλιάς)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος, Σταυρινός)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π01Α. Άμεσοι αλγόριθμοι (Koutsoupias)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης, Fragoudakis)
- Π02Ε. Υπολογιστική άλγεβρα (Εμίρης, Ράπτης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Θηλυκός)