Λογική και Πληροφορική ΙΙ: Λογική, Αυτόματα και Παίγνια (ΗΜΜΥ, EME), Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα (ΑΛΜΑ)

Ύλη: Περιγραφική πολυπλοκότητα. 


Προαπαιτούμενα:

  • Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής και Πολυπλοκότητας.


Syllabus: 

Descriptive Complexity.


Prerequisites: 

  • At least a course in Mathematical Logic and Complexity.


Βιβλιογραφία/Bibliography:

  • Descriptive Complexity, Neil Immerman
  • Finite model theory, Leonid Libkin