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