Λογικός Προγραμματισμός - Υπολογισμός με Λογική

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Λογικός Προγραμματισμός - Υπολογισμός με Λογική (EL)

Σταματόπουλος, Παναγιώτης (EL)
Stamatopoulos, Panagiotis (EN)

Κάλλιπος (EL)
Ροντογιάννης, Παναγιώτης (EL)
Kallipos (EN)
Rontogiannis, Panagiotis (EN)

Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΕΙΣ (EL)
ΛΟΓΙΚΗ (EL)
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ (EL)
Functional Programming (EN)
Programming Languages (EN)
Prolog (EN)
Haskell (EN)
Logic Programming (EN)
Functions (EN)
Logic (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.