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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Σταματόπουλος, Παναγιώτης, Stamatopoulos, Panagiotis
Μορφή: 1
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.57713/kallipos-648
http://repository.kallipos.gr/handle/11419/3587
id kallipos-11419-3587
record_format dspace
spelling kallipos-11419-35872024-04-15T20:28:30Z Λογικός και συναρτησιακός προγραμματισμός Σταματόπουλος, Παναγιώτης Stamatopoulos, Panagiotis ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για το λογικό προγραμματισμό και το συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρ&#39; ότι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν ένα δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση.<br/><br/>Αρχικά, παρουσιάζεται η έννοια του δηλωτικού προγραμματισμού και αντιδιαστέλλεται με αυτήν του διαδικαστικού προγραμματισμού, κυρίως μέσω παραδειγμάτων επίλυσης συγκεκριμένων προβλημάτων.<br/><br/>Στη συνέχεια, γίνεται μία εισαγωγική περιγραφή της φιλοσοφίας του λογικού προγραμματισμού και παρουσιάζεται η γλώσσα λογικού προγραμματισμού Prolog, σαν τυπικός εκπρόσωπος της φιλοσοφίας αυτής. Γίνεται συνοπτική αναφορά σε θέματα υλοποίησης συστημάτων Prolog, συζητούνται θέματα σχετικά με τις δυνατότητες παράλληλης επεξεργασίας σε περιβάλλοντα προγραμματισμού Prolog και εισάγεται η έννοια των περιορισμών στο λογικό προγραμματισμό. Δίνονται στοιχεία από τη λογική πρώτης τάξης, που είναι το μαθηματικό υπόβαθρο του λογικού προγραμματισμού, και παρουσιάζονται, σε σχετικά υψηλό επίπεδο, οι διάφορες προσεγγίσεις μελέτης της σημασίας των λογικών προγραμμάτων.<br/><br/>Στο επόμενο μέρος του βιβλίου εισάγεται η δεύτερη δηλωτική μεθοδολογία προγραμματισμού, αυτή του συναρτησιακού προγραμματισμού,<br/>και παρουσιάζεται μία αντιπροσωπευτική γλώσσα συναρτησιακού προγραμματισμού, η Haskell. Τέλος, θίγονται κάποια θέματα σχετικά<br/>με το θεωρητικό υπόβαθρο του συναρτησιακού προγραμματισμού, όπως ο λάμδα λογισμός και οι συνδυαστές, καθώς και άλλα που αναφέρονται στις τεχνικές υλοποίησης των γλωσσών συναρτησιακού προγραμματισμού, όπως οι σειρές αναγωγής και η αναγωγή γράφων. 2016-02-19T11:38:56Z 2021-07-09T20:47:17Z 2024-02-28T10:36:19Z 2024-02-28T10:37:22Z 2024-03-06T09:19:45Z 2016-02-19T11:38:56Z 2021-07-09T20:47:17Z 2024-02-28T10:36:19Z 2024-02-28T10:37:22Z 2024-03-06T09:19:45Z 2016-02-19 1 978-960-603-335-3 http://dx.doi.org/10.57713/kallipos-648 http://repository.kallipos.gr/handle/11419/3587 320266 el 1 450 application/pdf application/epub+zip application/pdf
institution Kallipos
collection DSpace
language Greek
topic ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΣΥΝΑΡΤΗΣΕΙΣ
Logic Programming
Functional Programming
Logic
Programming Languages
Functions
Prolog
Haskell
spellingShingle ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΣΥΝΑΡΤΗΣΕΙΣ
Logic Programming
Functional Programming
Logic
Programming Languages
Functions
Prolog
Haskell
Σταματόπουλος, Παναγιώτης
Stamatopoulos, Panagiotis
Λογικός και συναρτησιακός προγραμματισμός
description Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για το λογικό προγραμματισμό και το συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρ&#39; ότι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν ένα δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση.<br/><br/>Αρχικά, παρουσιάζεται η έννοια του δηλωτικού προγραμματισμού και αντιδιαστέλλεται με αυτήν του διαδικαστικού προγραμματισμού, κυρίως μέσω παραδειγμάτων επίλυσης συγκεκριμένων προβλημάτων.<br/><br/>Στη συνέχεια, γίνεται μία εισαγωγική περιγραφή της φιλοσοφίας του λογικού προγραμματισμού και παρουσιάζεται η γλώσσα λογικού προγραμματισμού Prolog, σαν τυπικός εκπρόσωπος της φιλοσοφίας αυτής. Γίνεται συνοπτική αναφορά σε θέματα υλοποίησης συστημάτων Prolog, συζητούνται θέματα σχετικά με τις δυνατότητες παράλληλης επεξεργασίας σε περιβάλλοντα προγραμματισμού Prolog και εισάγεται η έννοια των περιορισμών στο λογικό προγραμματισμό. Δίνονται στοιχεία από τη λογική πρώτης τάξης, που είναι το μαθηματικό υπόβαθρο του λογικού προγραμματισμού, και παρουσιάζονται, σε σχετικά υψηλό επίπεδο, οι διάφορες προσεγγίσεις μελέτης της σημασίας των λογικών προγραμμάτων.<br/><br/>Στο επόμενο μέρος του βιβλίου εισάγεται η δεύτερη δηλωτική μεθοδολογία προγραμματισμού, αυτή του συναρτησιακού προγραμματισμού,<br/>και παρουσιάζεται μία αντιπροσωπευτική γλώσσα συναρτησιακού προγραμματισμού, η Haskell. Τέλος, θίγονται κάποια θέματα σχετικά<br/>με το θεωρητικό υπόβαθρο του συναρτησιακού προγραμματισμού, όπως ο λάμδα λογισμός και οι συνδυαστές, καθώς και άλλα που αναφέρονται στις τεχνικές υλοποίησης των γλωσσών συναρτησιακού προγραμματισμού, όπως οι σειρές αναγωγής και η αναγωγή γράφων.
format 1
author Σταματόπουλος, Παναγιώτης
Stamatopoulos, Panagiotis
author_facet Σταματόπουλος, Παναγιώτης
Stamatopoulos, Panagiotis
author_sort Σταματόπουλος, Παναγιώτης
title Λογικός και συναρτησιακός προγραμματισμός
title_short Λογικός και συναρτησιακός προγραμματισμός
title_full Λογικός και συναρτησιακός προγραμματισμός
title_fullStr Λογικός και συναρτησιακός προγραμματισμός
title_full_unstemmed Λογικός και συναρτησιακός προγραμματισμός
title_sort λογικός και συναρτησιακός προγραμματισμός
publishDate 2016
url http://dx.doi.org/10.57713/kallipos-648
http://repository.kallipos.gr/handle/11419/3587
work_keys_str_mv AT stamatopoulospanagiōtēs logikoskaisynartēsiakosprogrammatismos
AT stamatopoulospanagiotis logikoskaisynartēsiakosprogrammatismos
_version_ 1799946654058545153