Section outline

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

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


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


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


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

    Βοηθός:


    Έναρξη μαθήματος: 21/2/2023


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


    Επόμενη διάλεξη: 13/3/2023 


    Βαθμολογικό σχήμα: 80% παρουσίαση, 30% γραπτή εξέταση