**Logic for Computer Science**

**Publisher**: Wikibooks 2010

**Description**:

This book discusses logic as a tool for computer science; a field that uses logic at all levels. It provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

**Topics in Logic and Foundations**

by

**Stephen G. Simpson**-

**The Pennsylvania State University**

This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.

(

**794**views)

**A Second Course in Logic**

by

**Christopher Gauker**-

**University of Cincinnati**

This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.

(

**8079**views)

**A Problem Course in Mathematical Logic**

by

**Stefan Bilaniuk**

An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.

(

**15486**views)

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

**6633**views)