Λογικός και συναρτησιακός προγραμματισμός

Λογικός και συναρτησιακός προγραμματισμός

Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για το λογικό προγραμματισμό και το συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρ’ ότι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν ένα δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση. Αρχικά, παρουσιάζεται η έννοια του δηλωτικού προγραμματισμού και αντιδιαστέλλεται με αυτήν του διαδικαστικού προγραμματισμού, κυρίως μέσω παραδειγμάτων επίλυσης συγκεκριμένων προβλημάτων. Στη συνέχεια, γίνεται μία εισαγωγική περιγραφή της φιλοσοφίας του λογικού προγραμματισμού και παρουσιάζεται η γλώσσα λογικού προγραμματισμού Prolog, σαν τυπικός εκπρόσωπος της φιλοσοφίας αυτής. Γίνεται συνοπτική αναφορά σε θέματα υλοποίησης συστημάτων Prolog, συζητούνται θέματα σχετικά με τις δυνατότητες παράλληλης επεξεργασίας σε περιβάλλοντα προγραμματισμού Prolog και εισάγεται η έννοια των περιορισμών στο λογικό προγραμματισμό…

Συγγραφέας: Παναγιώτης Σταματόπουλος
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ (πηγή)
Έτος έκδοσης: 2015
ISBN: 978-960-603-335-3
Μέγεθος: σελ. 225 / 9 Mb
Μορφή: Pdf Online, ePub

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ / ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ, ΒΙΒΛΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ - ΒΙΒΛΙΑ

Tags: EPUB ΒΙΒΛΙΑ, PDF, ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΚΑΛΛΙΠΟΣ, ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ, ΠΑΝΑΓΙΩΤΗΣ ΣΤΑΜΑΤΟΠΟΥΛΟΣ, ΣΕΑΒ, ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ