Πληροφορίες

Δικτυακός Τόπος Μαθήματος

http://ai.uom.gr/Courses/Automata/

Ομάδα Στόχος

Φοιτητές που ενδιαφέρονται για τις θεωρητικές θεμελιώσεις της Πληροφορικής.

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

Δεν υπάρχουν προαπαιτούμενα.

Μαθησιακοί Στόχοι Μαθήματος

Να είναι σε θέση ο φοιτητής (α) να αναγνωρίζει τα διάφορα αφηρημένα μοντέλα υπολογιστών, (β)  να διακρίνει τις διάφορες κλάσεις προβλημάτων, (γ) να αποκτήσει ικανότητα τυπικής περιγραφής των προβλημάτων.

Προτεινόμενα Συγγράματα

Στοιχεία Θεωρίας Υπολογισμού (μετάφραση 2ης αμερικανικής έκδοσης, 1997) των Harry Lewis και Χρίστος Παπαδημητρίου
Εκδόσεις Κριτική, 2005. ISBN:  978-960-218-397-7

Εισαγωγή στη θεωρία υπολογισμού (μετάφραση 2ης αμερικανικής έκδοσης, 2005) του Michael Sipser, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007, ISBN: 978-960-524-243-5