Λογικός Προγραμματισμός - Υπολογισμός με Λογική
Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/3588 |
| id |
kallipos-11419-3588 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-35882021-07-11T15:55:53Z Λογικός Προγραμματισμός - Υπολογισμός με Λογική Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα. 2016-02-19T11:39:06Z 2021-07-09T20:18:32Z 2016-02-19T11:39:06Z 2021-07-09T20:18:32Z 2016-02-19 7 http://localhost:8080/jspui/handle/11419/3588 el 1 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 |
Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα. |
| format |
7 |
| author |
Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης |
| author_facet |
Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης |
| author_sort |
Stamatopoulos, Panagiotis |
| title |
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| title_short |
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| title_full |
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| title_fullStr |
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| title_full_unstemmed |
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| title_sort |
λογικός προγραμματισμός - υπολογισμός με λογική |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/3588 |
| work_keys_str_mv |
AT stamatopoulospanagiotis logikosprogrammatismosypologismosmelogikē AT stamatopoulospanagiōtēs logikosprogrammatismosypologismosmelogikē |
| _version_ |
1771301324469567488 |
