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