Courses for 2012-2013, χειμερινό εξάμηνο
required
- Λ2. Υπολογισιμότητα (Αρβανιτάκης)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Φωτάκης, Ζάχος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Παγουρτζής, Ζάχος)
elective (logic)
- Λ15. Θεωρία αποδείξεων (Κολέτσος, Σταυρινός)
Special Topics in Logic
- Λ99Γ. Τροπική λογική (Κούτρας)
special topics in computer science
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π02Ε. Υπολογιστική άλγεβρα (Ράπτης)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
- Π10Α. Τεχνολόγιες γνώσεων (Κουμπαράκης)
- Π98Π. Κρυπτογραφία (Κιαγιάς)