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
An Introduction to Mathematical Logicby Wolfram Pohlers, Thomas Glass
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.
(12992 views)
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.
(21482 views)
Introduction to Mathematical Logic: A problem solving courseby Arnold W. Miller - arXiv
This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.
(14189 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.
(17871 views)