Logics for Computer Science Classical and Non-Classical /

• Main Author: Wasilewska, Anita (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: 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...

Table of Contents:

• 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.