• Title The Haskell Road to Logic, Maths and Programming
• Author(s) Kees Doets, van Jan Eijck
• Publisher: College Publications (May 7, 2004)
• Paperback 444 pages
• eBook PDF, 449 pages, 1.4 MB
• Language: English
• ISBN-10: 0954300696
• ISBN-13: 978-0954300692
• Share This:  

Book 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.

Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Functional programming is a form of descriptive programming, very different from the style of programming that you find in prescriptive languages like C or Java. Haskell is based on a logical theory of computable functions called the lambda calculus.

• N/A

• Amazon

• Haskell Programming
• Functional Programming
• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Computer and Programming Languages
• Computer Science

• The Haskell Road to Logic, Maths and Programming (Kees Doets, van Jan Eijck)
• The Mirror Site (1)
• The solutions for all the problems in the book
• Book Homepage (source code, other formats, etc.)

• Basic Model Theory (Kees Doets)
• The Haskell School of Music - From Signals to Symphonies
• O'Reilly® Real World Haskell (Bryan O'Sullivan, Don Stewart, et al)
• O'Reilly® Parallel and Concurrent Programming in Haskell
• Learn Haskell Fast and Hard - Blow your mind with Haskell