Courses for 2013-2014
required
- Λ1. Μαθηματική λογική (Κυρούσης)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος)
elective (computer science logic)
- Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)
Special Topics in Logic
- Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας (Παγουρτζής, Ζάχος)
special topics in computer science
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Chrysina, Εμίρης)
- Π03Ξ. Προσεγγιστικοί αλγόριθμοι (Κολλιόπουλος)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
half-course
required
- Λ2. Υπολογισιμότητα (Αρβανιτάκης)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Φωτάκης, Ζάχος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Παγουρτζής, Ζάχος)
elective (mathematical logic)
- M12. Θεωρία μοντέλων (Δημητρακόπουλος)
elective (logic)
- Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων (Κολέτσος, Rigas)
- Λ13Β. Τυπικές Μέθοδοι και Λογισμικό (Θεωρία κατηγοριών και εφαρμογές αλγεβρικών προδιαγραφών) (Στεφανέας)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα ()
- Π02Ε. Υπολογιστική άλγεβρα (Εμίρης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
- Π10Α. Τεχνολόγιες γνώσεων (Κουμπαράκης)
- Π98Π. Κρυπτογραφία (Κιαγιάς)