Προγραμματισμός Λογικής (ΜΑΕ544)

English version
Περιγράμματα Προπτυχιακών Μαθημάτων
Τροποποίηση Περιγράμματος (η δυνατότητα αυτή απευθύνεται αποκλειστικά στα μέλη ΔΕΠ του Τμήματος)

Γενικά

Σχολή	Σχολή Θετικών Επιστημών
Τμήμα	Τμήμα Μαθηματικών
Επίπεδο Σπουδών	Προπτυχιακό
Κωδικός Μαθήματος	MAE544
Εξάμηνο	5
Τίτλος Μαθήματος	ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗΣ
Αυτοτελείς Διδακτικές Δραστηριότητες	Διαλέξεις (Εβδομαδιαίες Ώρες Διδασκαλίας: 3, Πιστωτικές Μονάδες: 6)
Τύπος Μαθήματος	Ειδίκευσης
Προαπαιτούμενα Μαθήματα
Γλώσσα Διδασκαλίας και Εξετάσεων	Ελληνική
Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus	Ναι (στην Αγγλική γλώσσα)
Ηλεκτρονική Σελίδα Μαθήματος (URL)	Δείτε το eCourse, την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.

Μαθησιακά Αποτελέσματα

Μαθησιακά Αποτελέσματα	Σκοπός είναι η βαθύτερη κατανόηση της Γλώσσας Προγραμματισμού PROLOG, αναλυτικότερα: Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού Ο Προγραμματισμός, Λογικής μία εκδοχή του δηλωτικού προγραμματισμού Η γλώσσα προγραμματισμού Prolog (Σύνταξη προγραμμάτων, Λίστες, Τελεστές, Αριθμητική, Έλεγχος οπισθοδρόμησης, Άρνηση στην Prolog, Ενσωματωμένα κατηγορήματα, Χειρισμός δομών δεδομένων, Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία, κατανόηση φυσικής γλώσσας και μεταπρογραμματισμό) Θεωρία Προγραμματισμού Λογικής Προγραμματισμός Λογικής με περιορισμούς Τεχνικές υλοποίησης συστημάτων Προγραμματισμού Λογικής Παράλληλος Προγραμματισμός Λογικής Προγραμματισμός Λογικής για αναπαράσταση γνώσης Μετά την ολοκλήρωση του μαθήματος ο φοιτητής / τρια μπορεί να χειριστεί: τον προγραμματισμό σε PROLOG επίλυση ασκήσεων υλοποίηση εφαρμογών στα προαναφερθέντα θέματα της Προγραμματισμού Λογικής με PROLOG.
Γενικές Ικανότητες	Προγραμματισμό σε PROLOG Εφαρμογή της PROLOG στα Μαθηματικά, στη Φυσική Γλώσσα, στα Έμπειρα συστήματα, κ.λ.π. Υλοποίηση - Εμπέδωση

Περιεχόμενο Μαθήματος

Εξοικείωση με:

τη γλώσσα προγραμματισμού Prolog
τη Θεωρία Προγραμματισμού Λογικής
τις Τεχνικές υλοποίησης συστημάτων Προγραμματισμού Λογικής
τον Παράλληλο Προγραμματισμό Λογικής
τον Προγραμματισμός Λογικής για αναπαράσταση γνώσης
τις Εφαρμογές της PROLOG στα Μαθηματικά, στη Φυσική Γλώσσα στα Έμπειρα Συστήματα κ.λ.π.

Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση

Τρόπος Παράδοσης

Πρόσωπο με πρόσωπο

Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών

Ναι. Χρήση του Εργαστηρίου Επεξεργασίας Φυσικής Γλώσσας και Μαθηματικών προβλημάτων

Οργάνωση Διδασκαλίας

Δραστηριότητα	Φόρτος Εργασίας Εξαμήνου
Διαλέξεις (13Χ3)	39
Αυτοτελής Μελέτη	78
Επίλυση Ασκήσεων - εργασίες	33
Σύνολο Μαθήματος	150

Αξιολόγηση Φοιτητών

Τελική γραπτή εξέταση

Συνιστώμενη Βιβλιογραφία

Δείτε την υπηρεσία Εύδοξος ή το τοπικό αποθετήριο του Τμήματος Μαθηματικών για τα παρεχόμενα συγγράμματα ανά ακαδημαϊκό έτος. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:

Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ)
Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/777
I. Bratko, "Prolog Programming for Artificial Intelligence", Third Edition, Addison-Wesley, 2000.
L. Sterling, E. Shapiro, "The Art of Prolog", The MIT Press, 1994.
J. W. Lloyd, "Foundations of Logic Programming", Springer Verlag, 1993