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: 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.
(12240 views)
Book cover: The Algebra of LogicThe Algebra of Logic
by - Project Gutenberg
Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.
(7933 views)
Book cover: Topics in Logic and FoundationsTopics in Logic and Foundations
by - 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.
(1050 views)
Book cover: A Friendly Introduction to Mathematical LogicA Friendly Introduction to Mathematical Logic
by - Milne Library Publishing
In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.
(3451 views)