Λογικός Προγραμματισμός


Διδάσκων/ουσα: Ρίγγας Δημήτριος
Κωδικός Μαθήματος: HY-160
Τύπος Μαθήματος: Μάθημα Επιλογής
Επίπεδο Μαθήματος: Προπτυχιακό
Γλώσσα Μαθήματος: Ελληνικά
Εξάμηνο: Ζ΄
ECTS: 4
Διδακτικές Μονάδες: 4
Ώρες Διάλεξης: 2
Ώρες Εργαστηρίου/Φροντιστηρίου: 2Ε
Σύνολο Ωρών: 4
Σελίδα E Class: http://e-class.ionio.gr/courses/DCS141/
Σύντομη Περιγραφή:

Διαδικαστικός και δηλωτικός προγραμματισμός. Ο λογικός προγραμματισμός (logic programming) ως προγραμματισμός με βάση την Κατηγορηματική Λογική (predicate logic). Προτασιακή Λογική. Σύνταξη και σημασιολογία. Λογική Συνεπαγωγή. Πίνακες Αληθείας και Αποδεικτικές Μέθοδοι στην Προτασιακή Λογική. Αξιωματικά σχήματα και η έννοια της αποδειξιμότητας. Ορθότητα και πληρότητα. Μέθοδος της Επίλυσης στην Προτασιακή Λογική και στρατηγικές αναζήτησης. Σύνταξη και σημασιολογία της Κατηγορηματικής Λογικής. Μέθοδος Herbrand. Αποδεικτικές μέθοδοι της Κατηγορηματικής Λογικής. Ενοποίηση και Επίλυση στην Κατηγορηματική Λογική. Προτάσεις Horn. Η γλώσσα προγραμματισμού Prolog. Σύνταξη προγραμμάτων. Λίστες, τελεστές και αριθμητική. Έλεγχος οπισθοδρόμησης. Άρνηση στην Prolog. Ενσωματωμένα κατηγορήματα. Χειρισμός δομών δεδομένων. Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία και κατανόηση φυσικής γλώσσας.

http://e-class.ionio.gr/courses/DCS141/
http://mixstef.github.io/courses/logprog

Αντικειμενικοί Στόχοι - Επιδιωκόμενα Μαθησιακά Αποτελέσματα:

Με την επιτυχή ολοκλήρωση του μαθήματος “Λογικός Προγραμματισμός” οι προπτυχιακοί φοιτητές είναι σε θέση:

  • Να κατανοήσουν βασικά προβλήματα μαθηματικής λογικής.
  • Να παρακολουθήσουν αυτόνομα περαιτέρω εξελίξεις στον τομέα των συστημάτων επίλυσης λογικού προγραμματισμού.
  • Να μετασχηματίσουν τις ανάγκες μιας εφαρμογής σε κανόνες μαθηματικής λογικής.
  • Να σχεδιάσουν και να εφαρμόσουν μεθόδους επίλυσης μαθηματικής λογικής σε συστήματα λογικού προγραμματισμού.
Συνιστώμενη βιβλιογραφία προς μελέτη:
  1. Μητακίδης Γιώργος, “Από τη λογική στο λογικό προγραμματισμό και την Prolog”, Εκδόσεις ΚΑΡΔΑΜΙΤΣΑ, 1992.
  2. ΝΟΤΟΠΟΥΛΟΣ ΠΑΝΑΓΙΩΤΗΣ, “ΠΡΟΓΡΑΜΜΑΤΙΖΟΝΤΑΣ ΣΤΗ ΛΟΓΙΚΗ – PROLOG Α’ ΕΚΔΟΣΗ”, Εκδοσεις ΑΝΙΚΟΥΛΑ, 2008.

Επιστροφή

Σπουδές

Κτίριο Γραμματειών (Κτίριο 3) Πλατεία Τσιριγώτη 7 (πρώην Πλατεία Παλιού Ψυχιατρείου) Κέρκυρα, 49100 τηλ:26610 87760 / 87761 / 87763
e-mail: cs@ionio.gr
certification
<< <
Μάρτιος 2024
> >>
Δε Τρ Τε Πε Πα Σα Κυ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Σήμερα, Πέμπτη 28-03-2024
Ανάγνωση ΚειμένουΑνάγνωση Κειμένου Αναγνωσιμότητα ΚειμένουΑναγνωσιμότητα Κειμένου Αντίθεση ΧρωμάτωνΑντίθεση Χρωμάτων
Επιλογές Προσβασιμότητας