Adobe PDF (243.44 kB)
Title Details:
Tableaux systems
Authors: Koletsos, Georgios
Reviewer: Dimitrakopoulos, Konstantinos
Subject: HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC
HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC
MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE
Keywords:
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Description:
Abstract:
Η έννοια της μηχανική απόδειξης. Τα σχετικά θεωρήματα, κανονική μορφή Skolem, το θεώρημα Herbrand, ο χώρος αναζήτησης. Επίλυση (resolution), προτασιακή εκδοχή, ο αλγόριθμος ενοποίησης του Robinson, επίλυση για την κατηγορηματική λογική.
Λογικός προγραμματισμός, γλώσσα Prolog. Εφαρμογές της resolution, του συστήματος των ακολουθιακών και των tableaux στο λογικό προγραμματισμό.
Linguistic Editors: Toulatou, Dimitra
Technical Editors: Ksystra, Aikaterini
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/2306
Bibliographic Citation: Koletsos, G. (2015). Tableaux systems [Chapter]. In Koletsos, G. 2015. Μαθηματική λογική [Undergraduate textbook]. Kallipos, Open Academic Editions. chapter 7. http://hdl.handle.net/11419/2306
Language: Greek
Is Part of: Μαθηματική λογική
Publication Origin: Kallipos, Open Academic Editions