Logics for Computer Science Classical and Non-Classical /

• Κύριος συγγραφέας: Wasilewska, Anita (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Computer logic.; Mathematical logic.; Artificial intelligence.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Artificial Intelligence.

The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications de...

Πίνακας περιεχομένων:

• 1: Introduction: Paradoxes and Puzzles
• 2: Introduction to Classical Logic
• 3: Propositional Semantics: Classical and Many Valued
• 4: General Proof Systems: Syntax and Semantics
• 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic
• 6: Automated Proof Systems
• 7: Introduction to Intuitionistic and Modal Logics
• 8: Classical Predicate Semantics and Proof Systems
• 9: Completeness and Deduction Theorems for Classical Predicate Logic
• 10: Predicate Automated Proof Systems
• 11: Formal Theories and Godel Theorems.