Προπτυχιακό Πρόγραμμα Σπουδών - ΘΠ01 Αρχές Γλωσσών Προγραμματισμού |
|
|
ΘΠ01 Αρχές Γλωσσών ΠρογραμματισμούΕξάμηνο : 5ο Ωρες Θεωρίας : 3 Ωρες Φροντιστηρίου : 1 ΤΟΜΕΑΣ ΘΕΩΡΗΤΙΚΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ : Βασικό μάθημα ΤΟΜΕΑΣ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΦΑΡΜΟΓΩΝ : Μάθημα επιλογής Συνιστώμενα Προαπαιτούμενα μαθήματα :
Ιστορία των γλωσσών προγραμματισμού. Συντακτικό και σημασιολογία. Τύποι δεδομένων, εμβέλεια, διαδικασίες, μέθοδοι περάσματος παραμέτρων, υλοποίηση διαδικασιών. Βασικές κατηγορίες γλωσσών προγραμματισμού: διαδικαστικές, αντικειμενοστραφείς, λογικές, συναρτησιακές, παράλληλες (κύρια χαρακτηριστικά της κάθε κατηγορίας και αντιπροσωπευτικές γλώσσες). Θεωρητικά θέματα γλωσσών προγραμματισμού. Τεχνικές μετασχηματισμού και βελτιστοποίησης προγραμμάτων. Απόδειξη ορθότητας προγραμμάτων με τη χρήση της λογικής (λογική Floyd-Hoare). Λάμβδα-λογισμός χωρίς τύπους: μετατροπές, κανονικές μορφές, θεώρημα Church-Rosser, εκφραστική ισχύς, εφαρμογές στις γλώσσες προγραμματισμού. Λάμβδα-λογισμός με τύπους. Θεωρία τύπων και συστήματα εξαγωγής τύπων. Επιστροφή |
||||||||