© 2018

# Logics for Computer Science

## Classical and Non-Classical

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

- 1 Citations
- 8.8k Downloads