Adobe PDF
(196.44 kB)
| Title Details: | |
|
Δηλωτικός Προγραμματισμός |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
| Description: | |
| Abstract: |
Το κεφάλαιο ξεκινά με την παρουσίαση της διάσημης πλέον "εξίσωσης" του R.Kowalski που περιγράφει την έννοια του δηλωτικού προγραμματισμού. Εξηγεί πως οι γλώσσες που ανήκουν στην κατηγορία επιτρέπουν στον προγραμματιστή να περιγράφει απλά το προς επίλυση πρόβλημα έτσι ώστε η επίλυσή του να επιτυγχάνεται αυτόματα από τον αντίστοιχο μηχανισμό εκτέλεσης. Η αναπαράσταση του προς επίλυση προβλήματος απαιτείται να μην εμφανίζει αμφισημίες και να μπορεί να έχει μια εκφραστική ικανότητα η οποία επιτρέπει την αποδοτική αποτύπωση όλων των πτυχών του: ένας τέτοιος φορμαλισμός δίνεται από την κατηγορηματική λογική. Το κεφάλαιο παραθέτει απλά παραδείγματα που τονίζουν την παραπάνω προσέγγιση και αποτελούν έναυσμα για την εισαγωγή στην κατηγορηματική λογική που ακολουθεί.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/779 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Δηλωτικός Προγραμματισμός [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/779 |
| Language: |
Greek |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |