Advertisement

# Logics for Computer Science

## Classical and Non-Classical

• Anita Wasilewska
Textbook
• 6.3k Downloads

## Table of contents

1. Front Matter
Pages I-X
2. Anita Wasilewska
Pages 1-13
3. Anita Wasilewska
Pages 15-63
4. Anita Wasilewska
Pages 65-143
5. Anita Wasilewska
Pages 145-177
6. Anita Wasilewska
Pages 179-232
7. Anita Wasilewska
Pages 233-304
8. Anita Wasilewska
Pages 305-348
9. Anita Wasilewska
Pages 349-400
10. Anita Wasilewska
Pages 401-440
11. Anita Wasilewska
Pages 441-487
12. Anita Wasilewska
Pages 489-535
13. Anita Wasilewska
Pages C1-C1

## About this book

### Introduction

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.

### 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

#### Authors and affiliations

• Anita Wasilewska
• 1
1. 1.Department of Computer ScienceStony Brook UniversityStony BrookUSA

### Bibliographic information

• DOI https://doi.org/10.1007/978-3-319-92591-2
• Copyright Information Springer Nature Switzerland AG 2018
• Publisher Name Springer, Cham
• eBook Packages Computer Science
• Print ISBN 978-3-319-92590-5
• Online ISBN 978-3-319-92591-2
• Buy this book on publisher's site