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