Σημασιολογία Γλωσσών Προγραμματισμού
Υποβλήθηκε από admin την Δευ, 04/05/2015 - 11:25.
Τύπος μαθήματος
:
Bασικό
Κωδ.:
Μ105
ECTS:
8
Διδακτικές μονάδες:
4
Εξάμηνο:
Εαρινό
Ειδίκευση:
1η
Ώρες διδασκαλίας:
4
Ώρες φροντιστηρίου:
0
Ώρες Εργαστηρίου:
0
Προαπαιτούμενα:
Ιστοσελίδα:
Σύγγραμμα:
<p>(άρθρα από τη βιβλιογραφία και σημειώσεις)</p>
Διδάσκων:
Σημασιολογία γλωσσών προγραμματισμού (δηλωτική, αξιωματική, μηχανική). Σημασιολογία διαδικαστικών γλωσσών. Πλήρεις σχέσεις μερικής διάταξης (cpos). Μονοτονικές και συνεχείς συναρτήσεις. Θεώρημα σταθερού σημείου για cpos. Σημασιολογία συναρτησιακών γλωσσών με αναδρομικές εξισώσεις και υψηλούς τύπους. Σημασιολογία λογικών προγραμμάτων. Σημασιολογία της άρνησης στο λογικό προγραμματισμό. Διαζευκτικός λογικός προγραμματισμός. Λογικός προγραμματισμός υψηλής τάξης.