Παρουσίαση/Προβολή

(M145 (ΠΜΣ 556α)) -  Ροντογιάννης Παναγιώτης

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

Σημασιολογία γλωσσών προγραμματισμού (Δηλωτική, Αξιωματική, Μηχανική). Ρόλος της σημασιολογίας στη σχεδίαση και ανάπτυξη σύγχρονων γλωσσών προγραμματισμού. Σημασιολογία διαδικαστικών γλωσσών. Πλήρεις σχέσεις μερικής διάταξης (cpos). Μονοτονικές και Συνεχείς Συναρτήσεις. Θεώρημα Σταθερού Σημείου του Kleene. Σημασιολογία συναρτησιακών γλωσσών με αναδρομικούς ορισμούς και συναρτήσεις υψηλής τάξης. Σημασιολογία λογικών προγραμμάτων. Μοντέλα Herbrand. Πλήρη πλέγματα (complete lattices) και θεώρημα  σταθερού σημείου των Knaster-Tarski. Θεώρημα ελάχιστου μοντέλου Herbrand. Σημασιολογία της Άρνησης στο Λογικό Προγραμματισμό. Στρωματοποιημένα και τοπικά στρωματοποιημένα προγράμματα. Καλώς-θεμελιωμένη σημασιολογία (well-founded semantics). Απειρότιμη σημασιολογία. Σημασιολογία σταθερού μοντέλου (stable model semantics). Λογικός προγραμματισμός υψηλής τάξης. Θεωρία άπειρων παιγνίων και εφαρμογές στη σημασιολογία γλωσσών προγραμματισμού.

Ημερομηνία δημιουργίας

Τρίτη 2 Δεκεμβρίου 2