Authors:
- Offers a comprehensive, intuitive understanding of different logics and discusses some of their applications to Computer Science, and also makes readers understand the need of, and existence of Symbolic Logic as a scientific field
- Book chapters are as self-contained as possible so that they can be combined in different sequences depending of the level of a course one wants to teach it and of material one wants to teach, whether in Computer Science, Mathematics, or Artificial Intelligence
- Includes long intuitive introductions to each chapter, many detailed examples explaining each of the introduced notions and definitions, and well-chosen sets of exercises with carefully written solutions. It also contains samples of quizzes and tests after each chapter
- 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
- Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
About this book
While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.
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. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.
Keywords
- Symbolic logic
- propositional languages
- predicate languages
- classical semantics
- non-classical semantics
- intuitionistic logic
- modal logics
- Hilbert style formalizations
- Gentzen style formalizations
- automated theorem proving
- Formal methods
- completeness theorem
- Godel Theorems
- many-valued logics
- Boolean algebras
Reviews
Authors and Affiliations
-
Department of Computer Science, Stony Brook University, Stony Brook, USA
Anita Wasilewska
About the author
She has also published papers, books, and edited books in many domains ranging from Classical and Non-Classical Logics, Automated Theorem Proving, Formal Languages, Theory of Programs, Foundations of Rough Sets in which she was one of the pioneers, to generalized Fuzzy and Rough sets, and Machine Learning.
Bibliographic Information
Book Title: Logics for Computer Science
Book Subtitle: Classical and Non-Classical
Authors: Anita Wasilewska
DOI: https://doi.org/10.1007/978-3-319-92591-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Hardcover ISBN: 978-3-319-92590-5Published: 13 November 2018
eBook ISBN: 978-3-319-92591-2Published: 03 November 2018
Edition Number: 1
Number of Pages: X, 535
Number of Illustrations: 1 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Foundations, Artificial Intelligence