05791nam a2200337 a 4500 kal3587 Gr-AtHEAL 20160427130539.0 m d 160413s2015 gr s gre|c 9789606033353 GR-AtHEAL gre GR-AtHEAL 005.13 23 Σταματόπουλος, Παναγιώτης. 2059 Λογικός και συναρτησιακός προγραμματισμός [Ηλεκτρονικός πόρος] Σταματόπουλος, Παναγιώτης ; Κριτικός αναγνώστης,Ροντογιάννης, Παναγιώτης ; Γραφιστική επιμέλεια,Παπαβασιλείου, Σπυρίδων ; Τεχνική επιμέλεια,Παπαβασιλείου, Σπυρίδων ; Γλωσσική επιμέλεια,Ξιφαρά, Φωτεινή. Αθήνα : Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, c2015. Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος 40 Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για τον λογικό προγραμματισμό και τον συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρότι είναι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν έναν δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση. Αρχικά, παρουσιάζεται η έννοια του δηλωτικού προγραμματισμού και αντιδιαστέλλεται με αυτήν του διαδικαστικού προγραμματισμού, κυρίως μέσω παραδειγμάτων επίλυσης συγκεκριμένων προβλημάτων. Στη συνέχεια, γίνεται μία εισαγωγική περιγραφή της φιλοσοφίας του λογικού προγραμματισμού και παρουσιάζεται η γλώσσα λογικού προγραμματισμού Prolog, σαν τυπικός εκπρόσωπος της φιλοσοφίας αυτής. Γίνεται συνοπτική αναφορά σε θέματα υλοποίησης συστημάτων Prolog, συζητούνται θέματα σχετικά με τις δυνατότητες παράλληλης επεξεργασίας σε περιβάλλοντα προγραμματισμού Prolog και εισάγεται η έννοια των περιορισμών στο λογικό προγραμματισμό. Δίνονται στοιχεία από τη λογική πρώτης τάξης, που είναι το μαθηματικό υπόβαθρο του λογικού προγραμματισμού, και παρουσιάζονται, σε σχετικά υψηλό επίπεδο, οι διάφορες προσεγγίσεις μελέτης της σημασίας των λογικών προγραμμάτων. Στο επόμενο μέρος του βιβλίου εισάγεται η δεύτερη δηλωτική μεθοδολογία προγραμματισμού, αυτή του συναρτησιακού προγραμματισμού, και παρουσιάζεται μία αντιπροσωπευτική γλώσσα συναρτησιακού προγραμματισμού, η Haskell. Τέλος, θίγονται κάποια θέματα σχετικά με το θεωρητικό υπόβαθρο του συναρτησιακού προγραμματισμού, όπως ο λάμδα λογισμός και οι συνδυαστές, καθώς και άλλα που αναφέρονται στις τεχνικές υλοποίησης των γλωσσών συναρτησιακού προγραμματισμού, όπως οι σειρές αναγωγής και η αναγωγή γράφων. Functional programming (Computer science) 2687 Logic programming 2688 Συναρτήσεις Λογική Συναρτησιακός προγραμματισμός Επιστήμη υπολογιστών/Πληροφορική Γλώσσες προγραμματισμού Λογικός προγραμματισμός Επιστήμη υπολογιστών/Πληροφορική Ευφυή συστήματα Βασική αναπαράσταση γνώσης και συλλογιστική Ροντογιάννης, Παναγιώτης Κριτικός αναγνώστης 2060 http://hdl.handle.net/11419/3587 Πλήρες Κείμενο - Full text .b25678413 12-06-18 29-07-16 0 0 ddc 0 005_130000000000000_ΣΤΑ 0 KALL 600 2016-04-13 2016-04-13 2016-04-13 005.13 ΣΤΑ SEAB KALLIPOS 80 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 10-05-17 m z - gre gr 0 ddc KALLIPOS