Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα
Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της α...
Κύριοι συγγραφείς: | Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/780 |
Παρόμοια τεκμήρια
-
Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016) -
Κώδικας Prolog Κεφαλαίου 13
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016) -
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016) -
Κώδικας Prolog Κεφαλαίου 7
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016) -
Εισαγωγή – Ιστορικά στοιχεία – Σχέση Λογικού Προγραμματισμού με την Τεχνητή Νοημοσύνη
ανά: Sakellariou, Ilias, κ.ά.
Έκδοση: (2016)