Logics for Computer Science
Classical and NonClassical
Authors: WASILEWSKA, ANITA
Free Preview 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 selfcontained 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 wellchosen 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
Buy this book
 About this Textbook

Providing an indepth introduction to fundamental classical and nonclassical 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.
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 nonclassical 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.
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.
 About the authors

Professor Anita Wasilewska has been teaching a "logic for computer science" class for many years, using presentation slides for ease of comprehension. She earned her Master Degree in Computer Science and Ph.D. in Mathematics from Warsaw University, where she consequently was a faculty of the Mathematics Department from 1967 to 1983. She came to the United States in 1980 as a visiting Assistant Professor in Mathematics at Wesleyan and Yale Universities in Connecticut, before joining Stony Brook’s Department of Computer Science in 1986.
She has also published papers, books, and edited books in many domains ranging from Classical and NonClassical 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.
 Table of contents (12 chapters)


Introduction: Paradoxes and Puzzels
Pages 113

Introduction to Classical Logic
Pages 1563

Propositional Semantics: Classical and Many Valued
Pages 65143

General Proof Systems: Syntax and Semantics
Pages 145177

Hilbert Proof Systems Completeness of Classical Propositional Logic
Pages 179232

Table of contents (12 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
 Bibliographic Information

 Book Title
 Logics for Computer Science
 Book Subtitle
 Classical and NonClassical
 Authors

 ANITA WASILEWSKA
 Copyright
 2018
 Publisher
 Springer International Publishing
 Copyright Holder
 Springer Nature Switzerland AG
 eBook ISBN
 9783319925912
 DOI
 10.1007/9783319925912
 Hardcover ISBN
 9783319925905
 Edition Number
 1
 Number of Pages
 X, 535
 Number of Illustrations
 1 b/w illustrations
 Topics