Λογική, Αυτόματα και Παίγνια

Εαρινό Εξάμηνο 2015-2016

● Γενικά ● Ανακοινώσεις ● Παρουσιάσεις ● Ασκήσεις

Γενικά

Διδάσκοντες

  • Στάθης Ζάχος, Καθηγητής ()
  • Αντώνης Αχιλλέως

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

23/2/2016

Διαλέξεις

  • Τρίτη 16:00-18:00, Τετάρτη 17:00-19:00, Παλ. ΚΤ.Ηλεκτρ. ΕΜΠ 1.1.31

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

Θα προσπαθήσουμε να καλύψουμε όποιες βασικές γνώσεις χρειάζονται. Θα βοηθούσε να έχετε υπόβαθρο σε Θεωρία Αυτομάτων και Λογική.

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

  1. Σ. Ζάχος, Α. Παγουρτζής, Τα Θεμέλια της Πληροφορικής, εκδόσεις Τσότρας, 2014
  2. Μ. Sipser. Introduction to the Theory of Computation.
  3. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation.
  4. H. R. Lewis and C. Papadimitriou. Elements of the Theory of Computation, 2nd edition.
  5. D. C. Kozen. Automata and Computability (Undergraduate Texts in Computer Science).
  6. M. Harrison. Introduction to Switching and Automata Theory. McGraw-Hill Book Company, New York (1965).
  7. Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi. Tree Automata Techniques and Applications.
  8. Editors: Erich Grädel, Wolfgang Thomas, Thomas Wilke. Automata Logics, and Infinite Games. A Guide to Current Research. Springer, Lecture Notes in Computer Science.

Πληροφορίες

Ανακοινώσεις

Παρουσιάσεις