ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα (ΑΛΜΑ-ΕΜΕ)
Weekly outline
- General
General
Περιγραφική Πολυπλοκότητα
Θα μελετήσουμε τη σχέση Λογικής και Πολυπλοκότητας.
Θα ακολουθήσουμε τα βιβλία του 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% γραπτή εξέταση
- 13 February - 19 February
- 20 February - 26 February
- 27 February - 5 March
- 6 March - 12 March
- 13 March - 19 March
- 20 March - 26 March
- 27 March - 2 April
- 3 April - 9 April
- 10 April - 16 April
- 17 April - 23 April