Τεχνικές λογικού προγραμματισμού Η γλώσσα Prolog
Ο Λογικός Προγραμματισμός (ΛΠ) ανήκει στις πλέον ενδιαφέρουσες σχολές προγραμματισμού, σημαντικά διαφορετική από τις "κλασικές" σχολές του προστακτικού και του αντικειμενοστραφούς προγραμματισμού. Η χρήση της Μαθηματικής Λογικής ως εργαλείο αφαίρεσης για περιγραφή υπολογισμών και η εκμετάλ...
| Κύριος συγγραφέας: | Σακελλαρίου, Ηλίας. |
|---|---|
| Άλλοι συγγραφείς: | Σταμάτης, Δημοσθένης, Κεφαλάς, Πέτρος, Βασιλειάδης, Νικόλαος, Τσαδήρας, Αθανάσιος |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Στοιχεία έκδοσης: |
Αθήνα :
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών,
c2015.
|
| Σειρά: |
Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος
|
| Ταξινομικός αριθμός: |
005 |
| Θέματα: | |
| Διαθέσιμο Online: |
Πλήρες Κείμενο - Full text |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 05782nam a2200397 a 4500 | ||
|---|---|---|---|
| 001 | kal777 | ||
| 003 | Gr-AtHEAL | ||
| 005 | 20160426114037.0 | ||
| 006 | m d | ||
| 008 | 160413s2015 gr s gre|c | ||
| 020 | |a 9789606032462 | ||
| 040 | |a GR-AtHEAL |b gre |c GR-AtHEAL | ||
| 082 | 0 | 4 | |a 005 |2 23 |
| 100 | 1 | |a Σακελλαρίου, Ηλίας. |8 1998 | |
| 245 | 1 | 0 | |a Τεχνικές λογικού προγραμματισμού |h [Ηλεκτρονικός πόρος] |b Η γλώσσα Prolog |c Σακελλαρίου, Ηλίας ; κ.α. ; Κριτικός αναγνώστης,Τσαδήρας, Αθανάσιος. |
| 260 | |a Αθήνα : |b Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, |c c2015. | ||
| 490 | |a Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος |8 40 | ||
| 520 | |a Ο Λογικός Προγραμματισμός (ΛΠ) ανήκει στις πλέον ενδιαφέρουσες σχολές προγραμματισμού, σημαντικά διαφορετική από τις "κλασικές" σχολές του προστακτικού και του αντικειμενοστραφούς προγραμματισμού. Η χρήση της Μαθηματικής Λογικής ως εργαλείο αφαίρεσης για περιγραφή υπολογισμών και η εκμετάλλευση των αποδεικτικών διαδικασιών της, οδηγούν σε συμπαγή προγράμματα τα οποία βρίσκουν εφαρμογές σε πολύπλοκα και ενδιαφέροντα πεδία, όπως είναι η Τεχνητή Νοημοσύνη και το Σημασιολογίκο Ιστό. Όμως, αυτή η υψηλού επιπέδου προσέγγιση στον προγραμματισμό δημιουργεί προβλήματα σε εκείνους που πρώτη φορά έρχονται σε επαφή με τον ΛΠ , αφενός γιατί απαιτεί να υιοθετήσουν μια δηλωτική προσέγγιση στην ανάπτυξη προγραμμάτων "ξένη" προς αυτή των κυρίαρχων γλωσσών, και αφετέρου, γιατί απαιτείται η εκμάθηση τεχνικών αναπαράστασης και επίλυσης προβλημάτων που αν και είναι γενικά εφαρμόσιμες στον προγραμματισμό, δεν χρησιμοποιούνται συχνά στις υπόλοιπες σχολές, με κλασικό παράδειγμα την αναδρομή. Το παρόν βιβλίο φιλοδοξεί να καλύψει τις παραπάνω απαιτήσεις και να αποτελέσει το βασικό σύγγραμμα για οποιονδήποτε επιθυμεί να εντρυφήσει στην τέχνη και στις τεχνικές του ΛΠ. Έχοντας ως όχημα τον κυριότερο εκπρόσωπο της σχολής ΛΠ, τη γλώσσα Prolog, το βιβλίο έχει στόχο: (α) να αναφέρει σύντομα τα θεωρητικά θεμέλια του ΛΠ, δηλαδή την Κατηγορηματική Λογική Πρώτης Τάξης και την αρχή της ανάλυσης, (β) να παρουσιάσει σε βάθος την γλώσσα προγραμματισμού Prolog, τα διαθέσιμα κατηγορήματα και πως αυτά εντασσόμενα σε τεχνικές ΛΠ προγραμματισμού αποτελούν ισχυρά εργαλεία για την επίλυση προβλημάτων, (γ) να παρουσιάσει εφαρμογές όπως είναι η ανάπτυξη ευφυών συστημάτων στις οποίες ο Λογικός Προγραμματισμός προσφέρει σημαντικά πλεονεκτήματα, και τέλος, (δ) να αναπτύξει προγραμματιστικές δεξιότητες του αναγνώστη, όπως είναι η αναδρομή και η ιεραρχική ανάπτυξη προγραμμάτων, εφαρμόσιμες σε όλες τις σχολές προγραμματισμού. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |8 2528 | |
| 653 | |a Αναπαράσταση γνώσης και συλλογιστική | ||
| 653 | |a Επεξεργασία συμβόλων | ||
| 653 | |a Prolog | ||
| 653 | |a Τεχνικές προγραμματισμού | ||
| 653 | |a Λογική | ||
| 653 | |a Λογικός προγραμματισμός | ||
| 653 | |a Επιστήμη υπολογιστών/πληροφορική |a Ευφυή συστήματα | ||
| 653 | |a Επιστήμη υπολογιστών/πληροφορική |a Γλώσσες προγραμματισμού | ||
| 700 | 1 | |a Σταμάτης, Δημοσθένης |e Συγγραφέας |8 1999 | |
| 700 | 1 | |a Κεφαλάς, Πέτρος |e Συγγραφέας |8 2000 | |
| 700 | 1 | |a Βασιλειάδης, Νικόλαος |e Συγγραφέας |8 2001 | |
| 700 | 1 | |a Τσαδήρας, Αθανάσιος |e Κριτικός αναγνώστης |8 2002 | |
| 856 | 4 | 0 | |u http://hdl.handle.net/11419/777 |z Πλήρες Κείμενο - Full text |
| 907 | |a .b25677913 |b 12-06-18 |c 29-07-16 | ||
| 949 | |0 0 |1 0 |2 ddc |4 0 |6 005_000000000000000_ΣΑΚ |7 0 |8 KALL |8 549 |d 2016-04-13 |r 2016-04-13 |w 2016-04-13 |z 005 ΣΑΚ |o SEAB KALLIPOS | ||
| 998 | |a 80 |a 01 |a 02 |a 03 |a 04 |a 05 |a 06 |a 07 |a 08 |a 09 |a 10 |a 11 |a 12 |a 13 |a 14 |a 15 |a 16 |a 17 |a 18 |a 19 |a 20 |a 21 |a 22 |a 23 |a 24 |a 25 |a 26 |b 11-05-17 |c m |d z |e - |f gre |g gr |h 0 | ||
| 942 | |2 ddc |c KALLIPOS | ||