Darstellung / Vorschau

(MAT_IC233) -  Όμηρος Ράγγος

Beschreibung des Kurses

Περιγραφή μαθήματος:

1. Η Λογική στην Επιστήμη του Υπολογισμού: Επανάληψη στην Προτασιακή Λογική: Αλφάβητο, συντακτικό και σημασιολογία. Κατηγορηματική Λογική: Αλφάβητο, συντακτικό και σημασιολογία, Μέθοδοι αποδείξεων: Ευθεία απόδειξη, απόδειξη με αντιθετοαντιστροφή, απόδειξη ύπαρξης (με κατασκευή και χωρίς κατασκευή), μη-ευθεία απόδειξη, απόδειξη με μαθηματική επαγωγή (ασθενής και ισχυρή μορφή της επαγωγής). Τυπικά συστήματα παραγωγής συμπερασμάτων: Hilbert-style συστήματα, Σημαντικοί πίνακες. Αναδρομές και επαγωγή. Επιβεβαίωση προγραμμάτων: Μερική Ορθότητα κώδικα, Ολική ορθότητα κώδικα. Σχέσεις-Σχεσιακές βάσεις δεδομένων (στοιχειώδης Prolog).
2. Αυτόματα και τυπικές γλώσσες: Αλφάβητα και γλώσσες, Κανονικές εκφράσεις και κανονικές γλώσσες, Ντετερμινιστικά και μη Ντετερμινιστικά πεπερασμένα Αυτόματα, Λήμμα άντλησης και θεώρημα Myhill-Nerode, Γραμματικές και γλώσσες ανεξάρτητες συμφραζομένων, Λήμμα άντλησης για γλώσσες ανεξάρτητες συμφραζομένων, Αυτόματα στοίβας, Μηχανές Turing

Creation Date

Mittwoch, 21. März 2018