Courses for 2012-2013, εαρινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Κυρούσης)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)
- Λ13Ο. Προσεγγιστικοί αλγόριθμοι και σχεδιασμός μηχανισμών (Φωτάκης, Ζάχος)
Special Topics in Logic
special topics in computer science
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι ()
- Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Δ. Αλγόριθμοι στη μοριακή βιολογία (Chrysina, Εμίρης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
half-course
- Λ13Ν. Θεωρία μητροειδών (Πιτσούλης)
reading course
- ΜΝ13. Πρωτοβάθμια Τροπική Λογική (Κούτρας)
- ΜΞ12. Θεωρία Μοντέλων (Δημητρακόπουλος)