Weekly outline

  • General

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

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


    Θα ακολουθήσουμε τα βιβλία του 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.


  • 20 February - 26 February

    • 27 February - 4 March

      • 5 March - 11 March

        • 12 March - 18 March

          • 19 March - 25 March

            • 26 March - 1 April

              • 2 April - 8 April

                • 9 April - 15 April

                  • This week

                    16 April - 22 April

                    • 23 April - 29 April