Εξάμηνο 7
Διδάσκουσα:
Ασπασία Δασκαλοπούλου (Μεταπτυχιακό Κτίριο,
3ος όροφος)
Οι διαλέξεις του
μαθήματος πραγματοποιούνται κάθε Τρίτη 10.00-12.00 και Πέμπτη 16.00-18.00 στην
αίθουσα Σ (κτίριο Παπαστράτου).
Εβδομάδα |
Θέμα |
1 |
Εισαγωγή στη
θεματολογία του μαθήματος. Τεστ αξιολόγησης
υποβάθρου |
2, 3 |
Βασικές έννοιες και
ορολογία Λογικού Προγραμματισμού. Ασκήσεις Ι. |
4, 5 |
Μέθοδοι
υπολογισμού Λογικού Προγράμματος. Ασκήσεις ΙΙ. |
6 |
Υπολογισμός
Ελάχιστου Μοντέλου Λογικού Προγράμματος. |
7 |
Ασκήσεις: ορισμός βασικών κατηγορημάτων για την επεξεργασία λιστών. |
8 |
Βασικές
έννοιες και ορολογία Συναρτησιακού Προγραμματισμού. |
9 |
Ορισμός
συναρτήσεων στην ML. Ασκήσεις. |
10 |
Λίστες
στην ML |
11, 12, 13 |
Αφαίρεση
στο Συναρτησιακό Προγραμματισμό – Πολυμορφισμός, Συναρτήσεις Υψηλότερης
τάξης, Οκνηρός και Άπληστος Υπολογισμός |
1.
Hogger C. J. (1990). Essentials of Logic Programming.
2.
3. Sterling L. & Shapiro E. (1994). The Art of Prolog, MIT Press.
4. Reade C. (1989). Elements of Functional Programming. Addison-Wesley Pub.
5. Wikstrom A. (1987). Functional Programming Using Standard ML. Prentice Hall International.
Υλικό για Συναρτησιακό Προγραμματισμό (overview)
Το μάθημα εξετάζεται
με γραπτή εξέταση στο τέλος του εξαμήνου, διάρκειας 2.5 ωρών.
Δευτέρα και Τρίτη
08.45-09.45. Άλλες ημέρες/ώρες κατόπιν συνεννοήσεως με e-mail.