Section outline

  • Ακαδημαϊκό έτος 

    • 2019-2020 (εαρινό εξάμηνο)

    Διδάσκοντες

    • Στάθης Ζάχος
    • Πέτρος Ποτίκας (ppotik@cs.ntua.gr)
    • Γιάννης Κοκκίνης (ykokkinis@gmail.com)


    Βοηθός διδασκαλίας

    • Αγγελική Χαλκή (achalki@corelab.ntua.gr)


    Έναρξη μαθήματος

    • Τρίτη 25/2/2020, 11:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Διαλέξεις

    • Κάθε Τρίτη 11:00-15:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Περιγραφή μαθήματος

    Περιγραφική πολυπλοκότητα. Σύνδεση λογικής και κλάσεων πολυπλοκότητας.


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

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


    Βιβλιογραφία

    • Neil Immerman. Descriptive Complexity
    • Leonid Libkin. Elements of Finite model theory
    • Christos H. Papadimitriou. Computational Complexity