Θεωρία Υπολογισμού

• Σύνολα & Σχέσεις
• Γραφήματα & Αποδείξεις
• Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες
• Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις
• Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις
• Αυτόματα NFA - DFA
• Κανονικές Εκφράσεις
• Κατασκευή ΝΠΑ
• Γραμματικές χωρίς συμφραζόμενα

Η κατανόηση εκ μέρους του φοιτητή βασικών εννοιών της θεωρίας υπολογισμού με έμφαση στην υπολογισιμότητα και στα θεμέλια της μηχανικής λογικής. Η απόκτηση κατάλληλης θεωρητικής υποδομής που χρησιμεύει αφενός στην αντιμετώπιση ειδικών θεμάτων της θεωρίας των υπολογιστών και αφετέρου στη διαμόρφωση ουσιαστικών μαθηματικών μοντέλων υπολογισμού.

Η ανάπτυξη «υπολογιστικής» και μαθηματικής ωριμότητας του φοιτητή.

1. Στοιχεία Θεωρίας Υπολογισμού, Σημειώσεις Τμήματος Πληροφορικής και Τηλεπικοινωνιών, ΧΡ. ΠΑΠΑΔΗΜΗΤΡΙΟΥ, HARRY LEWIS, Διεύθυνση Δημοσιευμάτων και Εκδόσεων Πανεπιστημίου Αθηνών.
2. Introduction to Formal Language Theory, Reading, M.A. HARRISON, Mass. Addison-Wesley, 1978.
3. Introduction to Computability, Reading, F .C. HENNIE, Mass. Addison-Wesley, 1977.
4. Introduction to Automata, Theory, languages and Computation, Reading, J. E. HOPCROFT, J.D. ULLMANN, Mass. Addison-Wesley, 1979.
5. Combinatorial Optimization: Algorithms and Complexity, C. H. PAPADIMITRIOU, K. STEIGLITZ, Englewood Cliffs, N.J. Prentice-Hall, 1981.

• Διδασκαλία καθ΄ έδρας και συμπληρωματική-ενισχυτική εκπαίδευση μέσω ασύγχρονης πλατφόρμα.
• Εργαστήριο.

Τελική γραπτή εξέταση

• Προγραμματισμός 1
• Διακριτά Μαθηματικά

Τζάλλας Αλέξανδρος, Καθηγητής Εφαρμογών

Όλοι οι φοιτητές του τμήματος Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου

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