Μελέτη σχέσης Μαθηματικής Λογικής με θεωρία Αυτομάτων και Παιγνίων.
Προαπαιτούμενα: Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής και Θεωρίας Αυτομάτων.
Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr), Πέτρος Ποτίκας (ppotik@cs.ntua.gr)
Έναρξη μαθήματος: 11/10/2026
Διαλέξεις: Τρίτη 15:15-17:00 και Πέμπτη 10:45-12:30.