Ηλεκτρονική Διάθεση Μαθήματος
Μαθησιακά Αποτελέσματα
Οι φοιτητές αναμένεται ότι στα πλαίσια του μαθήματος θα
• κατανοήσουν την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών
• γνωρίσουν τις θεμελιώσεις και τις αρχές της επιστήμης των υπολογιστών
• αφομοιώσουν ύλη πάνω στην οποία στηρίζονται άλλα αντικείμενα, όπως η Θεωρία Γλωσσών Προγραμματισμού και η Αλγοριθμική
• καλλιεργήσουν την ικανότητα να αναπτύσσουν τυπικά ορισμένους και μαθηματικώς τεκμηριωμένους συλλογισμούς
• γνωρίσουν ανοικτά προβλήματα και εφαρμογές της Θεωρίας Υπολογισμού στην επιστήμη και την τεχνολογία
Περιεχόμενο Μαθήματος
Εισαγωγή, Κανονικές Γλώσσες: Κανονικές Εκφράσεις και Πεπερασμένα Αυτόματα, Γλώσσες Χωρίς Συμφραζόμενα: Γραμματικές και Αυτόματα Στοίβας, Μηχανές Turing, Μη επιλυσιμότητα
Λέξεις Κλειδιά
Γλώσσες, Γραμματικές, Αυτόματα, Μη επιλυσιμότητα
Βιβλιογραφία μαθήματος (Εύδοξος)
1. H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις Κριτική, ISBN: 978-960-218-397-7
Κωδικός Βιβλίου στον Εύδοξο: 11776
2. M. Sipser, "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009, Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις Κρήτης, ISBN: 978-960-524-243-5
Κωδικός Βιβλίου στον Εύδοξο: 257
Επιπρόσθετη βιβλιογραφία για μελέτη
1. Π. Κατσαρός, "Θεωρία Υπολογισμού και Εφαρμογές", 2015, Αποθετήριο Κάλλιπος, https://repository.kallipos.gr/handle/11419/5744
2. E. Rich, "Automata, Computability and Complexity: Theory and Applications", 1st edition/2007, Prentice Hall, ISBN: 978-0132288064
3. J. E. Hopcroft, R. Motwani, J. D. Ullman, "Introduction to Automata Theory, Languages, and Computation", 3rd edition/2006, Prentice Hall, ISBN: 978-0321455369