Adobe PDF (8.4 MB)
EPUB (42.3 MB)
Download
Brochure
Download
Title Details:
Λογικός και συναρτησιακός προγραμματισμός
Authors: Stamatopoulos, Panagiotis
Reviewer: Rontogiannis, Panagiotis
Subject: MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING
Keywords:
Logic Programming
Functional Programming
Logic
Programming Languages
Functions
Prolog
Haskell
Description:
Abstract:
Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για το λογικό προγραμματισμό και το συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρ' ότι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν ένα δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση.

Αρχικά, παρουσιάζεται η έννοια του δηλωτικού προγραμματισμού και αντιδιαστέλλεται με αυτήν του διαδικαστικού προγραμματισμού, κυρίως μέσω παραδειγμάτων επίλυσης συγκεκριμένων προβλημάτων.

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

Στο επόμενο μέρος του βιβλίου εισάγεται η δεύτερη δηλωτική μεθοδολογία προγραμματισμού, αυτή του συναρτησιακού προγραμματισμού,
και παρουσιάζεται μία αντιπροσωπευτική γλώσσα συναρτησιακού προγραμματισμού, η Haskell. Τέλος, θίγονται κάποια θέματα σχετικά
με το θεωρητικό υπόβαθρο του συναρτησιακού προγραμματισμού, όπως ο λάμδα λογισμός και οι συνδυαστές, καθώς και άλλα που αναφέρονται στις τεχνικές υλοποίησης των γλωσσών συναρτησιακού προγραμματισμού, όπως οι σειρές αναγωγής και η αναγωγή γράφων.
Linguistic Editors: Xifara, Foteini
Technical Editors: Papavasileiou, Spyridon
Graphic Editors: Papavasileiou, Spyridon
Type: Undergraduate textbook
Creation Date: 2015
Item Details:
ISBN 978-960-603-335-3
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/3587
Bibliographic Reference: Stamatopoulos, P. (2015). Λογικός και συναρτησιακός προγραμματισμός [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3587
Language: Greek
Consists of: 1. Λογικός Προγραμματισμός - Υπολογισμός με Λογική
2. Η Γλώσσα Λογικού Προγραμματισμού Prolog - Τα Βασικά
3. Δομές στην Prolog
4. Ενσωματωμένες Δυνατότητες και Επεκτάσεις της Prolog
5. Λογικός Προγραμματισμός με Περιορισμούς
6. Λογική Πρώτης Τάξης
7. Σημασιολογία Λογικών Προγραμμάτων
8. Συναρτησιακός Προγραμματισμός - Υπολογισμός με Συναρτήσεις
9. Η Γλώσσα Συναρτησιακού Προγραμματισμού Haskell - Τα Βασικά
10. Εκφραστικότερες Δυνατότητες στη Haskell
11. Τα Εσωτερικά του Συναρτησιακού Προγραμματισμού
12. Διαδικαστικός και Δηλωτικός Προγραμματισμός
Number of pages 450
Publication Origin: Kallipos, Open Academic Editions