Θεωρία Αναδρομής (Μ.Π. Α.Λ.ΜΑ.)

Δημήτρης Ζώρος

Περιγραφή

Η ύλη του μαθήματος θα καλύψει κομμάτια από τα παρακάτω βιβλία

- Michael Sipser: Εισαγωγή στην Θεωρία Υπολογισμού, Παμεπιστημιακές Εκδόσεις Κρήτης 
- Harry R. Lewis, Χρήστος Παπαδημητρίου: Στοιχεία Θεωρίας Υπολογισμού, Εκδόσεις Κριτική
- John E. Hopcroft, Jefrey D. Ullman: Introduction to Automata Theory, Languages, and Computation (1st edition), Addison-Wesley
- Dexter C. Kozen: Automata and Computability, Springer
- Γιάννης Ν. Μοσχοβάκης: Αναδρομή και Υπολογισιμότητα
- Thomas Sudkamp: Languages and Machines An Introduction to the Theory of Computer Science (3rd Edition), Pearson
 
 
Η ύλη του μαθήματος είναι η εξής:
 
1.
Σχέσεις, Συναρτήσεις, Γλώσσες, Προβλήματα, Επαγωγή, Αποδεικτικές τεχνικές.

2.
Μηχανές Turing,  
Παραδείγματα Μηχανών Turing,
Turing Αποφάνσιμες γλώσσες,
Σχέσεις κλειστότητας για Turing Αποφάνσιμες  Γλώσσες,
Turing Αναγνωρίσιμες  Γλώσσες,
Σχέσεις κλειστότητας για Turing Αναγνωρίσιμες  Γλώσσες.

3.
Turing Απαριθμήσιμες Γλώσσες,
Ισοδυναμία Turing Αναγνωρίσιμων  Γλωσσών και Turing
Περισσότερα  
Κωδικός: MATH227
Σχολή - Τμήμα: Μαθηματικών » Μεταπτυχιακό πρόγραμμα σπουδών

Ημερολόγιο