Τμήμα : Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Τομέας : Πληροφορικής
Κωδικός : ΜΥ3790
Εξάμηνο : 7ο
Ροή : Λ : Λογισμικό Η/Υ
Κατ' επιλογήν υποχρεωτικό.
Ώρες Θεωρίας : 3
Ώρες Εργαστηρίου : 0
ΔΕΠ : Ε. Ζάχος, Αναπληρωτής Καθηγητής.
Περιεχόμενο του μαθήματος :
Λογική θεμελίωση Πληροφορικής. Ιστορική αναδρομή στο πρόβλημα αποκρισιμότητας μαθηματικών προτάσεων, επιλυσιμότητας ή υπολογισιμότητας προβλημάτων με μηχανιστικό, δηλαδή αλγοριθμικό, τρόπο. Απλά ισοδύναμα υπολογιστικά μοντέλα: μηχανές Turing, προγράμματα WHILE. Επαγωγή και αναδρομή, κωδικοποίηση και σημασιολογία. Πεπερασμένα αυτόματα, αυτόματα στοίβας και γραμμικά περιορισμένα αυτόματα. Τυπικές γλώσσες: κανονικές, χωρίς συμφραζόμενα, με συμφραζόμενα, αναδρομικά αριθμήσιμες. Εφαρμογές στο συντακτικό γλωσσών προγραμματισμού.