The Haskell Road to Logic, Maths and Programming
by Kees Doets, Jan van Eijck
Publisher: College Publications 2004
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.
Download or read it online for free here:
Download link
(1.4MB, PDF)
Similar books
The Principles Of Mathematicsby Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(15965 views)
The Algebra of Logicby Louis Couturat - 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.
(14375 views)
Intuitionistic Logicby Nick Bezhanishvili, Dick de Jongh - Universiteit van Amsterdam
In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.
(15870 views)
Introduction to Mathematical Philosophyby Bertrand Russell - 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.
(17056 views)