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.

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

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com