Συστήματα Tableaux
Η έννοια της μηχανική απόδειξης. Τα σχετικά θεωρήματα, κανονική μορφή Skolem, το θεώρημα Herbrand, ο χώρος αναζήτησης. Επίλυση (resolution), προτασιακή εκδοχή, ο αλγόριθμος ενοποίησης του Robinson, επίλυση για την κατηγορηματική λογική.<br/>Λογικός προγραμματισμός, γλώσσα Prolog. Εφαρμογές της...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2306 |
