gre URI http://hdl.handle.net/10795/1408 πληροφορική φοιτητής πανεπιστήμιο διδακτικό υλικό παιδεία εκπαίδευση γλώσσα προγραμματισμού Ο «Λογικός Προγραμματισμός» αποτελεί μάθημα επιλογής για τους φοιτητές του Ζ εξαμήνου του Τμήματος Πληροφορικής. Κατά τη διδασκαλία του μαθήματος γίνεται αρχικά μια εισαγωγή στις έννοιες του διαδικαστικού και του δηλωτικού προγραμματισμού, από όπου γίνεται κατανοητό ότι ο Λογικός Προγραμματισμός (Logic Programming) είναι το προγραμματιστικό μοντέλο όπου ο προγραμματισμός γίνεται με βάση την Πρωτοβάθμια Κατηγορηματική Λογική (First Order Predicate Logic). Για το λόγο αυτό γίνεται στη συνέχεια μια συνοπτική παρουσίαση της Προτασιακής Λογικής, όπου παρουσιάζεται η σύνταξη και η σημασιολογία των προτασιακών τύπων. Στη συνέχεια ορίζονται σημαντικές έννοιες, όπως η Λογική Συνεπαγωγή και οι Πίνακες Αληθείας, όπου τονίζεται η χρήσης τους στα πλαίσια ενός αλγόριθμου απόφασης για την αλήθεια η μη των προτασιακών τύπων. Ακολουθεί μια σύντομη εισαγωγή στις αποδεικτικές μεθόδους και τα αξιωματικά σχήματα της Προτασιακής Λογικής. Με βάση τα παραπάνω, ορίζεται η έννοια της αποδειξιμότητας των προτασιακών τύπων και παρουσιάζονται τα θεωρήματα της Ορθότητας και της Πληρότητα της Προτασιακής Λογικής. [...] GR 10 pp. LOMv1.0 creator LOMv1.0 Project Final Beneficiary LOMv1.0 Project Executing Organisation 2008 LOMv1.0 higher education 18+ Digital Library of the Operational Programme "Education and Lifelong Learning" abstract types Text Λογικός προγραμματισμός Πρωτοβάθμια Κατηγορηματική Λογική Λογική συνεπαγωγή Πίνακες αληθείας Αξιωματικά σχήματα της προτασιακής λογικής θεωρήματα ορθότητας προτασιακής λογικής θεωρήματα πληρότητας προτασιακής λογικής Στρατηγικές αναζήτησης Αποδεικτικές μέθοδοι κατηγορηματικής λογικής Μέθοδο επίλυσης Θεώρημα του Herbrand Μέθοδος Herbrand Γλώσσα προγραμματισμού Prolog Logic Programming First Order Predicate Logic Resolution Principle 241239 application/pdf http://repository.edulll.gr/edulll/bitstream/10795/1408/18/1408_01_cs-logicprog0708-report.pdf 420551 application/pdf http://repository.edulll.gr/edulll/bitstream/10795/1408/20/1408_03_cs-logicprog0708.pdf 235601 application/pdf http://repository.edulll.gr/edulll/bitstream/10795/1408/21/1408_04_cs-logicprog0708-%ce%a6%ce%a3%ce%94.pdf 424949 application/pdf http://repository.edulll.gr/edulll/bitstream/10795/1408/19/1408_02_cs-logicprog0708.pdf URI http://hdl.handle.net/10795/1408 LOMv1.0creator 2011-07-04T08:46:40Z LOMv1.0validator 2011-07-04T08:46:40Z LOMv1.0 gre no no Copyright EYD-EPEDBM (Operational Programme "Education and Lifelong Learning")