- Διδάσκων: Στάθης Ζάχος
- Διδάσκων: Άρης Παγουρτζής
- Διδάσκων: Evangelos Markakis
- Διδάσκων: Δημήτρης Φωτάκης
- Διδάσκων: Άρης Παγουρτζής
- Διδάσκων: Θεοδώρα Σούλιου
- Διδάσκων: Δημήτρης Φωτάκης
Το μάθημα για το ακ. έτος 2018-19 θα γίνεται σε μερική συνδιδασκαλία με το μάθημα "Προηγμένα Θέματα Αλγορίθμων".
Για διαλέξεις ασκήσεις, κ.λπ. παρακολουθείτε την σχετική ιστοσελίδα και εγγραφείτε σε αυτήν.
Ενδεικτικό πρόγραμμα διαλέξεων.
- Διδάσκων: Άρης Παγουρτζής
- Διδάσκων: Δημήτρης Φωτάκης
Ύλη: Περιγραφική πολυπλοκότητα.
Προαπαιτούμενα:
- Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής και Πολυπλοκότητας.
Syllabus:
Descriptive Complexity.
Prerequisites:
- At least a course in Mathematical Logic and Complexity.
Βιβλιογραφία/Bibliography:
- Descriptive Complexity, Neil Immerman
- Finite model theory, Leonid Libkin
- Διδάσκων: Στάθης Ζάχος
- Διδάσκων: Γιάννης Κοκκίνης
- Διδάσκων: Πέτρος Ποτίκας
- Διδάσκων: Αγγελική Χαλκή