Περιγραφή εβδομάδας

  • Γενικά

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

    Θα μελετήσουμε τη σχέση Λογικής και Πολυπλοκότητας.


    Θα ακολουθήσουμε τα βιβλία του L. Libkin, Elements of Finite Model Theory και του N. Immerman, Descriptive Complexity.


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


    Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr), Πέτρος Ποτίκας (ppotik@cs.ntua.gr)


    Έναρξη μαθήματος: 20/2/2024

    https://centralntua.webex.com/centralntua/j.php?MTID=m9eb78aa13b133fa7bf79a3b316fb7a24

    Διαλέξεις: Δευτέρα 13:15-15:00 και Παρασκευή 14:45-17:00.