1 option
Logics for Computer Science : Classical and Non-Classical / by Anita Wasilewska.
- Format:
- Book
- Author/Creator:
- Wasilewska, Anita, author.
- Series:
- Computer Science (Springer-11645)
- Language:
- English
- Subjects (All):
- Computer logic.
- Logic, Symbolic and mathematical.
- Artificial intelligence.
- Logics and Meanings of Programs.
- Mathematical Logic and Foundations.
- Artificial Intelligence.
- Local Subjects:
- Logics and Meanings of Programs.
- Mathematical Logic and Foundations.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (X, 535 pages) : 1 illustrations
- Edition:
- First edition 2018.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- text file PDF
- Summary:
- 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 derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. Includes links to the author's companion lecture slides for each chapter: several hundred presentations which summarize the ideas presented in the chapters for ease of comprehension.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-92591-2
- 9783319925912
- 9783319925905
- 9783319925929
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.