ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα (ΑΛΜΑ-ΕΜΕ)
Περιγραφή εβδομάδας
- Γενικά
Γενικά
Περιγραφική Πολυπλοκότητα
Θα μελετήσουμε τη σχέση Λογικής και Πολυπλοκότητας.
Θα ακολουθήσουμε τα βιβλία του 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
- 16 April - 22 April
- 23 April - 29 April