Προπτυχιακό Πρόγραμμα Σπουδών - ΥΣ05 Λογικός Προγραμματισμός |
|
|
ΥΣ05 Λογικός ΠρογραμματισμόςΕξάμηνο : 6ο Ωρες Θεωρίας : 3 Ωρες Φροντιστηρίου : 1 Σελίδα μάθήματος : http://www.di.uoa.gr/~takis/ys05.html ΤΟΜΕΑΣ ΘΕΩΡΗΤΙΚΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ : Μάθημα επιλογής ΤΟΜΕΑΣ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΦΑΡΜΟΓΩΝ : Βασικό μάθημα Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού. Ο λογικός προγραμματισμός σαν μία εκδοχή του δηλωτικού προγραμματισμού. Η γλώσσα προγραμματισμού Prolog. Σύνταξη προγραμμάτων. Λίστες. Τελεστές. Αριθμητική. Έλεγχος οπισθοδρόμησης. Άρνηση στην Prolog. Ενσωματωμένα κατηγορήματα. Χειρισμός δομών δεδομένων. Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία, κατανόηση φυσικής γλώσσας και μεταπρογραμματισμό. Έμπειρα συστήματα και λογικός προγραμματισμός. Θεωρία λογικού προγραμματισμού. Ερμηνείες και μοντέλα. Μοντελοθεωρητική σημασιολογία. Σημασιολογία σταθερού σημείου. Ενοποίηση. SLD-επίλυση. Λειτουργική σημασιολογία. Λογικός προγραμματισμός με περιορισμούς. Τεχνικές υλοποίησης συστημάτων λογικού προγραμματισμού. Παράλληλος λογικός προγραμματισμός. Επιστροφή |
||||||||