CE424 Λογικός και Συναρτησιακός Προγραμματισμός

Εξάμηνο 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. Oxford University Press. 

2.        Bratko I. (1990). Prolog: Programming for Artificial Intelligence (2nd Ed.), Addison-Wesley Pub.

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.

 


Σύνδεσμοι

Υλικό για τη γλώσσα Prolog και σύνδεσμοι για να κατεβάσετε περιβάλλον προγραμματισμού.

Υλικό για Συναρτησιακό Προγραμματισμό (overview)

ML

LISP

Haskell

 

Εξέταση

Το μάθημα εξετάζεται με γραπτή εξέταση στο τέλος του εξαμήνου, διάρκειας 2.5 ωρών. 

 

Ώρες Γραφείου

Δευτέρα και Τρίτη 08.45-09.45. Άλλες ημέρες/ώρες κατόπιν συνεννοήσεως με e-mail.