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: Natural TopologyNatural Topology
by - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.
(4788 views)
Book cover: A Concise Introduction to Mathematical LogicA Concise Introduction to Mathematical Logic
by - Springer
A well-written introduction to the beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications.
(8730 views)
Book cover: Symbolic Logic: A Second CourseSymbolic Logic: A Second Course
by - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
(8062 views)
Book cover: An Introduction to Mathematical LogicAn Introduction to Mathematical Logic
by
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.
(8065 views)