Logic for Computer Scientists
by Uli Furbach
Publisher: Wikibooks 2010
Description:
This logic course is intended for computer scientists and it assumes practically no previous knowledge except some basic mathematical notions like relations and orderings. The aim was to create an electronic, interactive script where logics can be experienced by interaction and experimentation.
Download or read it online for free here:
Read online
(online html)
Similar books
A Problem Course in Mathematical Logicby 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.
(16136 views)
The Art of Logicby Nuel Belnap - 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.
(8825 views)
A Manual of Intensional Logicby Johan van Benthem - CSLI
An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.
(7505 views)
Predicative Arithmeticby Edward Nelson - Princeton Univ Pr
The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.
(13445 views)