|
|
|
|
| Τίτλος: | Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
| Συγγραφείς: | Σταματόπουλος, Παναγιώτης | | Κριτικός Αναγνώστης: | Ροντογιάννης, Παναγιώτης |
| Σχολές/Τμήματα: | ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ, ΕΘΝΙΚΟ & ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ |
| Θέμα: | | | Λέξεις-κλειδιά: | ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΣΥΝΑΡΤΗΣΕΙΣ
| |
|
|
| Περίληψη: | Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα.
| | Ημερομηνία Δημιουργίας: | 2015 |
|
|
|
| Είδος Τεκμηρίου: | Κεφάλαιο Συγγράμματος |
| URI: | http://hdl.handle.net/11419/3588 |
| Βιβλιογραφική Αναφορά: | Σταματόπουλος, Π. 2015. Λογικός Προγραμματισμός - Υπολογισμός με Λογική. [Κεφάλαιο Συγγράμματος]. Στο Σταματόπουλος, Π. 2015. Λογικός και συναρτησιακός προγραμματισμός. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. κεφ 2. Διαθέσιμο στο: http://hdl.handle.net/11419/3588 | | Γλώσσα: | Ελληνικά | | Αποτελεί μέρος του: | Λογικός και συναρτησιακός προγραμματισμός |
| Άδεια Χρήσης: | Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα  | | Σχετικά Μαθήματα: | 1. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ]
2. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
3. Λογικός Προγραμματισμός [ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΗΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
4. Λογικός Προγραμματισμός [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
5. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΤΕΙ ΑΝΑΤΟΛΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
6. Τεχνητή Νοημοσύνη - Λογικός Προγραμματισμός [ΤΕΙ ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
7. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
8. ΛΟΓΙΚΟΣ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ, ΣΧΟΛΗ ΠΟΛΥΤΕΧΝΙΚΗ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
| | Τύπος έκδοσης: | Εκδόσεις Κάλλιπος |
|
| Εμφανίζεται στις συλλογές: | Επιστήμες Μηχανικών και Πληροφορική
|
Αρχεία σε αυτό το τεκμήριο:
|
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα
|
