MKLab
Λογικός και Συναρτησιακός Προγραμματισμός [Σταματόπουλος,Kallipos] - Printable Version

+- MKLab (https://mklab.gr)
+-- Forum: ΚΑΤΑΛΟΓΟΣ (INDEX) (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (CODING) (https://mklab.gr/forumdisplay.php?fid=4)
+---- Forum: ΒΙΒΛΙΑ (https://mklab.gr/forumdisplay.php?fid=20)
+----- Forum: ΓΕΝΙΚΑ (GENERAL) (https://mklab.gr/forumdisplay.php?fid=25)
+----- Thread: Λογικός και Συναρτησιακός Προγραμματισμός [Σταματόπουλος,Kallipos] (/showthread.php?tid=73)



Λογικός και Συναρτησιακός Προγραμματισμός [Σταματόπουλος,Kallipos] - mklabgr - 06-01-2026

Λογικός και Συναρτησιακός Προγραμματισμός
Συγγραφείς: 
Σταματόπουλος, Παναγιώτης


Το βιβλίο παρουσιάζει τις δύο βασικές μεθοδολογίες του δηλωτικού προγραμματισμού, οι οποίες αντιδιαστέλλονται με τον παραδοσιακό διαδικαστικό προγραμματισμό:
  • Λογικός Προγραμματισμός: Εξετάζεται η φιλοσοφία του με βάση τη γλώσσα Prolog και τη λογική πρώτης τάξης. Αναλύονται θέματα υλοποίησης, παράλληλης επεξεργασίας, περιορισμών και η σημασιολογία των προγραμμάτων.
  • Συναρτησιακός Προγραμματισμός: Παρουσιάζεται μέσω της γλώσσας Haskell. Καλύπτεται το θεωρητικό του υπόβαθρο (λάμδα λογισμός, συνδυαστές) καθώς και τεχνικές υλοποίησης (σειρές αναγωγής, αναγωγή γράφων).
Και οι δύο προσεγγίσεις συνδυάζουν την πρακτική εφαρμογή με την αυστηρή θεωρητική τεκμηρίωση.

SOURCE