Συστήματα Tableaux

• Κύριοι συγγραφείς: Koletsos, Georgios, Κολέτσος, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Η έννοια της μηχανική απόδειξης. Τα σχετικά θεωρήματα, κανονική μορφή Skolem, το θεώρημα Herbrand, ο χώρος αναζήτησης. Επίλυση (resolution), προτασιακή εκδοχή, ο αλγόριθμος ενοποίησης του Robinson, επίλυση για την κατηγορηματική λογική.<br/>Λογικός προγραμματισμός, γλώσσα Prolog. Εφαρμογές της...