The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

by Kees Doets (Author), Jan van Eijck (Author)

18 customer reviews

ISBN-13: 978-0954300692

ISBN-10: 0954300696

Why is ISBN important?

Have one to sell? Sell on Amazon

Buy used On clicking this link, a new layer will be open

$15.55 On clicking this link, a new layer will be open

Condition: Used - Very Good

In Stock. Sold by BOOKS QUEST

Access codes and supplements are not guaranteed with used items.

22 Used from $15.55

+ $3.99 shipping

Buy new On clicking this link, a new layer will be open

$22.75 On clicking this link, a new layer will be open

Only 3 left in stock (more on the way).

Ships from and sold by Amazon.com. Gift-wrap available.

Want it Tuesday, Oct. 25? Order within and choose One-Day Shipping at checkout. Details

27 New from $17.37

FREE Shipping on orders with at least $25 of books.

Turn on 1-Click ordering

Ship to:

Select a shipping address:

More Buying Choices

27 New from $17.37 22 Used from $15.55

49 used & new from $15.55

See All Buying Options

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: ‘Doets and van Eijck’s ``The Haskell Road to Logic, Maths and Programming’’ is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.’ Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

$22.75 FREE Shipping on orders with at least $25 of books. Only 3 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Frequently Bought Together

Total price: $75.67

Buy the selected items together

This item:The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing) by Kees Doets Paperback $22.75
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping on orders over $25. Details
Learn You a Haskell for Great Good!: A Beginner's Guide by Miran Lipovaca Paperback $32.58
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping. Details
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics) by Greg Michaelson Paperback $20.34
In Stock.
Ships from and sold by Amazon.com.
FREE Shipping on orders over $25. Details

Customers Who Bought This Item Also Bought

Page 1 of 1 Start overPage 1 of 1

This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.

Chris Okasaki

21

Paperback
$42.48
Miran Lipovaca

84

Paperback
$32.58
Greg Michaelson

24

Paperback
$20.34
Bryan O'Sullivan

50

Paperback
$40.45
Richard Bird

6

Paperback
$45.76
Daniel P. Friedman

5

Paperback
$32.33

Customers Viewing This Page May Be Interested In These Sponsored Links

(What's this?)

NO_CONTENT_IN_FEATURE

Product Details

Series: Texts in Computing
Paperback: 450 pages
Publisher: College Publications (May 7, 2004)
Language: English
ISBN-10: 0954300696
ISBN-13: 978-0954300692
Product Dimensions: 6.1 x 1 x 9.2 inches
Shipping Weight: 1.4 pounds (View shipping rates and policies)
Average Customer Review: 4.4 out of 5 stars See all reviews (18 customer reviews)
Amazon Best Sellers Rank: #226,753 in Books (See Top 100 in Books)
- #98 in Books > Science & Math > Mathematics > Pure Mathematics > Logic
- #1510 in Books > Textbooks > Science & Mathematics > Mathematics

Would you like to update product info or give feedback on images?

Customers Viewing This Page May Be Interested In These Sponsored Links

(What's this?)

Customer Reviews

4.4 out of 5 stars

5 star		72%
4 star		5%
3 star		17%
2 star		6%
1 star		0%

Write a customer review

See all 18 customer reviews

Top Customer Reviews

The math book all programmers should read

ByCode Monkeyon December 2, 2009

Format: Paperback

The 'Haskell Road to Logic' is a wonderful introduction to the mathematics that lie behind functional programming and computer science. Readers should however be aware that this book is not, and does not pretend to be, a book about programming in Haskell. It is really a text book about topics in mathematics that are of particular interest to computer scientists. What distinguishes the book from many others is its use of Haskell to implement mathematical structures that are usually taught as abstract concepts. This approach makes the mathematics far more approachable for computer programmers than many other text books. Presumably it should also make for an excellent introduction to computer programming for the mathematically inclined.

While the book is easy to read and has a friendly writing style, it not particularly well suited to casual reading. To really understand the subject being discussed the reader will probably need to solve most of the exercises in the text. The good news is this requires minimal prior mathematical training (the authors expect familiarity with "secondary school mathematics"). Solving the exercises will also train the reader in writing, and proving the correctness of, short functional programs.

The book has a minor few faults. One is a relatively large number of minor errors (many of which are noted in the errata available on the book's website). Another is that some major topics are introduced in exercises without much discussion, particularly in the later chapters. But these are but quibbles in a review of a fantastic math book for programmers.

0Comment 29 people found this helpful. Was this review helpful to you?YesNo

The Haskell Road to Discrete Math

ByJohn J. Roodon April 9, 2006

Format: Paperback

Want to learn discrete math as in the non-calculus version of Math 101? Willing to work hard to learn it? Then this is the book for you! It is written in a user friendly style. The book has a chatty tone when explaining serious topics. The chat is the talk of experts, however, so it should never be underestimated. The book will teach you the functional programming language Haskell. This language is the most modern version of the Lisp family to have received any significant attention. It features advanced type features and lazy evaluation. The book covers all the "classic" topics of a discrete math course, to a considerable depth. Best of all, they are all implemented in Haskell. All except for the predicate calculus, that is. It would be a major piece of work indeed to have any implementation of this topic in a work at this level! The book teaches logic by example. One is taught the meaning, the rules and the insider's "recipes" of mathematical proofs. The book then covers the standard topics of sets, relations, functions, and induction / recursion with impressive computer implementations. The book goes on to a quick overview of the construction of the number systems of mathematics. It proceeds to a substantial treatment of combinatorics in a short space which includes implementation of polynomial solutions to recursion relations. Then it is on to corecursion, power series, and a hint of domain theory. The book ends with a modern chapter on the elements of set theory. All in all an excellent book! IMHO it is the best book out there on the topics in a discrete math course. It is amazing that all of this (except the serious parts of logic) could be implemented in Haskell so successfully. The one caveat about the book is that if you want to benefit fully from it, you are going to have to do some hard work.

77 comments 74 people found this helpful. Was this review helpful to you?YesNo

Lives up to the title but not for beginners!

ByJason Schornon January 30, 2011

Format: Paperback

After dabbling in several other programming languages I came across references to Haskell and quickly became interested in learning the language given (1) my disdain for over-sized and almost convoluted languages such as Java and C# and, (2) my background in Mathematics. Yes this is an interesting book that does an excellent job showing how well the abstraction of Mathematics can be quantified using Haskell yet, I do not believe that this book does any justice to those individuals the author claims the book is written for-"[t]his book does not assume the reader to have previous experience with either programming or construction of formal proof ...". Any inexperienced programmer or person with minimal Mathematical experience will, in no way, benefit from this book unless they have a quality teacher who can explain as well as expand on the material. In my humble opinion the person's who can utilize and benefit from this book are either semi-experienced functional programmers, young (possibly old) whiz-kids or the auto-didactic types who have the patience to refer to other sources for more explanation. As an example of the later claim, Exercise 1.10 asks the reader to "define a function called removeFst that removes the first occurrence of an integer m from a list of integers ..." without reference to working with/on lists. Further, this user defined function is expected to be used in the very next example (1.11) which, without assurance of the readers ability to define such a function, i.e. providing a solution, is pedagogically unsound. Either include a reference to the solution(s) on the authors website, include them in the book, or do a better job of NOT asking for chicken without providing the egg.

This is not meant to be a negative review! Instead, it is a warning to those with minimal programming/Mathematics background expecting to learn Haskell. Personally, I loved this book and wish I came across it years ago. In fact, I wish I had come across functional programming years ago and therefore had not wasted years trying abstract other less abstract-able languages.

22 comments 32 people found this helpful. Was this review helpful to you?YesNo

Most Recent Customer Reviews

Good

Bought this book as a gift for my brother. He likes it.

Published 1 month ago by Chakhmakhchyan Elen

I'm sure it is a fine book for some readers but really was not the ...

I'm sure it is a fine book for some readers but really was not the Haskell book I was looking for. YMMV

Published 5 months ago by Trust No One

The enlightment was no delivered

Either I expected too much, or I knew too much already, anyway this book didn't impress me a bit.

It is 95% of math, and 5% of Haskell (I didn't measure it line by...Read more

Published 1 year ago by Maciej Pilichowski

Great if you already know logic and want to learn Haskell

Disclaimer: I'm still working through the book.

As others have mentioned, this is really a math book that uses Haskell as a vehicle to teach the math.Read more

Published 1 year ago by Willie Wheeler

Nice one !

Nice one ! Clever approach !

Published on July 9, 2014 by DR J HEGEDUS

good, but you need another Haskell book

This book is about fundamental math concept and how to represent it in Haskell. Concepts are clearly elaborated, but you need another Haskell book, like "Learn you a Haskell...

Published on September 3, 2013 by changyau

Ok but not enough content

This book seems to based on a great idea: build mathematic constructions with haskell,bottom up; while doing so introduce haskell.Read more

Published on February 17, 2013 by Litsios James

We need more like it!

Let me start by saying I am not a Haskell programmer. I program mostly with C# and F#, and study Haskell as a educational exercise.

Published on September 18, 2012 by B. Edds

This is great book

I am really happy to have this item which is great book for learning math with real applications in Haskell.Read more

Published on May 31, 2012 by Andrey Smorodin

Not about theorem proving

From the title, I was mistaken that this is a book about writing theorem provers or logical algorithms in Haskell, but it's not.Read more

Published on August 14, 2011 by King Yin Yan

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway

This item: The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Set up a giveaway

What Other Items Do Customers Buy After Viewing This Item?

Learn You a Haskell for Great Good!: A Beginner's Guide Paperback

Miran Lipovaca

84

$32.58
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics) Paperback

Greg Michaelson

24

$20.34
Thinking Functionally with Haskell Paperback

Richard Bird

6

$45.76
Programming in Haskell Paperback

Graham Hutton

1

$42.74

Pages with Related Products. See and discover other items: mcgraw hill math

Conditions of Use
Privacy Notice
Interest-Based Ads

6pm Score deals on fashion brands	AbeBooks Rare Books & Textbooks	ACX Audiobook Publishing Made Easy	Alexa Actionable Analytics for the Web	Amazon Business Everything For Your Business	AmazonFresh Groceries & More Right To Your Door

AmazonGlobal Ship Orders Internationally	Home Services Handpicked Pros Happiness Guarantee	Amazon Inspire Free Digital Educational Resources	Amazon Video Direct Video Distribution Made Easy	Amazon Web Services Scalable Cloud Computing Services	Audible Download Audio Books

BeautyBar.com Prestige Beauty Delivered	Book Depository Books With Free Delivery Worldwide	Casa.com Kitchen, Storage & Everything Home	ComiXology Thousands of Digital Comics	CreateSpace Indie Print Publishing Made Easy	Diapers.com Everything But The Baby

DPReview Digital Photography	East Dane Designer Men's Fashion	Fabric Sewing, Quilting & Knitting	Goodreads Book reviews & recommendations	IMDb Movies, TV & Celebrities	Junglee.com Shop Online in India

Kindle Direct Publishing Indie Digital Publishing Made Easy	Prime Now FREE 2-Hour Delivery on Everyday Items	Prime Photos Unlimited Photo Storage Free With Prime	Shopbop Designer Fashion Brands	Soap.com Health, Beauty & Home Essentials	TenMarks.com Math Activities for Kids & Schools

Wag.com Everything For Your Pet	Warehouse Deals Open-Box Discounts	Whispercast Discover & Distribute Digital Content	Woot! Deals and Shenanigans	Yoyo.com A Happy Place To Shop For Toys	Zappos Shoes & Clothing

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Sorry, there was a problem.

Sorry, there was a problem.

Buy used On clicking this link, a new layer will be open $15.55 On clicking this link, a new layer will be open

Turn on 1-Click ordering

Buy new On clicking this link, a new layer will be open $22.75 On clicking this link, a new layer will be open

Turn on 1-Click ordering

or

or

Frequently Bought Together

Customers Who Bought This Item Also Bought

Customers Viewing This Page May Be Interested In These Sponsored Links

Product Details

Customers Viewing This Page May Be Interested In These Sponsored Links

Customer Reviews

Top Customer Reviews

Most Recent Customer Reviews

Set up an Amazon Giveaway

What Other Items Do Customers Buy After Viewing This Item?

Buy used On clicking this link, a new layer will be open

$15.55 On clicking this link, a new layer will be open

Buy new On clicking this link, a new layer will be open

$22.75 On clicking this link, a new layer will be open