Logo

Logic for Computer Science

Small book cover: Logic for Computer Science

Logic for Computer Science

Publisher: Wikibooks

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.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(11128 views)
Book cover: Mathematical LogicMathematical Logic
by - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.
(9944 views)
Book cover: The Art of LogicThe Art of Logic
by - University of Pittsburgh
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
(6949 views)
Book cover: Algebraic LogicAlgebraic Logic
by
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
(10538 views)