Logic for Computer Science

Small book cover: Logic for Computer Science

Logic for Computer Science

Publisher: Wikibooks

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: Introduction to Mathematical LogicIntroduction to Mathematical Logic
by - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
Book cover: Logic For EveryoneLogic For Everyone
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
Book cover: An Introduction to Mathematical LogicAn Introduction to Mathematical Logic
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
Book cover: What is Mathematics: Gödel's Theorem and AroundWhat is Mathematics: Gödel's Theorem and Around
by - University of Latvia
Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.