Logo

The Haskell Road to Logic, Maths and Programming

Large book cover: The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming
by

Publisher: College Publications
ISBN/ASIN: 0954300696
Number of pages: 449

Description:
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

Home page url

Download or read it online for free here:
Download link
(1.4MB, PDF)

Similar books

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.
(7027 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
(9718 views)
Book cover: Logic For EveryoneLogic For Everyone
by
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.
(10888 views)
Book cover: A Manual of Intensional LogicA Manual of Intensional Logic
by - 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.
(6317 views)