DSpace

Πληροφορίες Τίτλου
Τίτλος: Λογικός και συναρτησιακός προγραμματισμός
Συγγραφείς:Σταματόπουλος, Παναγιώτης
Κριτικός Αναγνώστης: Ροντογιάννης, Παναγιώτης
Σχολές/Τμήματα: ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ, ΕΘΝΙΚΟ & ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ
Θέμα: 
Λέξεις-κλειδιά: 
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΣΥΝΑΡΤΗΣΕΙΣ
Περιγραφή
Περίληψη: 
Στο βιβλίο παρουσιάζονται δύο προγραμματιστικές φιλοσοφίες αρκετά διαφορετικές από αυτή του διαδικαστικού προγραμματισμού. Ο λόγος είναι για το λογικό προγραμματισμό και το συναρτησιακό προγραμματισμό, δύο μεθοδολογίες αντιμετώπισης προβλημάτων, οι οποίες, παρ' ότι αρκετά διαφορετικές μεταξύ τους, έχουν κοινό χαρακτηριστικό ότι υποστηρίζουν ένα δηλωτικό τρόπο προγραμματισμού. Οι μεθοδολογίες αυτές εφαρμόζονται στην πράξη μέσω συγκεκριμένων γλωσσών προγραμματισμού, αλλά ταυτόχρονα έχουν και αυστηρή θεωρητική τεκμηρίωση.

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

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

Στο επόμενο μέρος του βιβλίου εισάγεται η δεύτερη δηλωτική μεθοδολογία προγραμματισμού, αυτή του συναρτησιακού προγραμματισμού,
και παρουσιάζεται μία αντιπροσωπευτική γλώσσα συναρτησιακού προγραμματισμού, η Haskell. Τέλος, θίγονται κάποια θέματα σχετικά
με το θεωρητικό υπόβαθρο του συναρτησιακού προγραμματισμού, όπως ο λάμδα λογισμός και οι συνδυαστές, καθώς και άλλα που αναφέρονται στις τεχνικές υλοποίησης των γλωσσών συναρτησιακού προγραμματισμού, όπως οι σειρές αναγωγής και η αναγωγή γράφων.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Σύγγραμμα
URI: http://hdl.handle.net/11419/3587
ISBN: 978-960-603-335-3
ID Ευδόξου: 320266
Βιβλιογραφική Αναφορά:Σταματόπουλος, Π., 2015. Λογικός και συναρτησιακός προγραμματισμός. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/3587
Γλώσσα: Ελληνικά
Αποτελείται από: 1. Διαδικαστικός και Δηλωτικός Προγραμματισμός
2. Λογικός Προγραμματισμός - Υπολογισμός με Λογική
3. Η Γλώσσα Λογικού Προγραμματισμού Prolog - Τα Βασικά
4. Δομές στην Prolog
5. Ενσωματωμένες Δυνατότητες και Επεκτάσεις της Prolog
6. Λογικός Προγραμματισμός με Περιορισμούς
7. Λογική Πρώτης Τάξης
8. Σημασιολογία Λογικών Προγραμμάτων
9. Συναρτησιακός Προγραμματισμός - Υπολογισμός με Συναρτήσεις
10. Η Γλώσσα Συναρτησιακού Προγραμματισμού Haskell - Τα Βασικά
11. Εκφραστικότερες Δυνατότητες στη Haskell
12. Τα Εσωτερικά του Συναρτησιακού Προγραμματισμού
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα
Σχετικά Μαθήματα: 
1. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ]
2. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
3. Λογικός Προγραμματισμός [ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΗΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
4. Λογικός Προγραμματισμός [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
5. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΤΕΙ ΑΝΑΤΟΛΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
6. Τεχνητή Νοημοσύνη - Λογικός Προγραμματισμός [ΤΕΙ ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
7. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
8. ΛΟΓΙΚΟΣ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ, ΣΧΟΛΗ ΠΟΛΥΤΕΧΝΙΚΗ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
Γλωσσική Επιμέλεια: Ξιφαρά, Φωτεινή
Τεχνική Επεξεργασία: Παπαβασιλείου, Σπυρίδων
Γραφιστική Επιμέλεια: Παπαβασιλείου, Σπυρίδων
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

Thumbnail

Αρχεία σε αυτό το τεκμήριο:

Μορφότυπο Μέγεθος Περιγραφή
Adobe PDF8,4 MB-KατεβάστεΔείτε
Electronic Publication42,3 MB-KατεβάστεΔείτε

Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα

Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA