Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
19 used & new from £12.99

Have one to sell? Sell yours here
 
   
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
 
See larger image
 

The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing) (Paperback)

by Kees Doets (Author), Jan van Eijck (Author)
3.3 out of 5 stars See all reviews (3 customer reviews)
RRP: £14.00
Price: £13.30 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
You Save: £0.70 (5%)
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In stock.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

Only 2 left in stock--order soon (more on the way).

Want guaranteed delivery by Tuesday, July 21? Choose Express delivery at checkout. See Details
13 new from £12.99 6 used from £20.85

Frequently Bought Together

Customers buy this book with An Introduction to Lambda Calculi for Computer Scientists by Chris Hankin

The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing) + An Introduction to Lambda Calculi for Computer Scientists
Price For Both: £22.80

Show availability and shipping details


Customers Who Bought This Item Also Bought

Real World Haskell: Code You Can Believe In

Real World Haskell: Code You Can Believe In

by Bryan O'Sullivan
3.8 out of 5 stars (5)  £25.03
An Introduction to Lambda Calculi for Computer Scientists

An Introduction to Lambda Calculi for Computer Scientists

by Chris Hankin
2.0 out of 5 stars (2)  £9.50
Programming in Haskell

Programming in Haskell

by Graham Hutton
3.0 out of 5 stars (2)  £22.79
Purely Functional Data Structures

Purely Functional Data Structures

by Chris Okasaki
5.0 out of 5 stars (2)  £22.94
The Haskell School of Expression: Learning Functional Programming through Multimedia

The Haskell School of Expression: Learning Functional Programming through Multimedia

by Professor Paul Hudak
3.0 out of 5 stars (2)  £23.74
Explore similar items

Product details

  • Paperback: 444 pages
  • Publisher: King's College Publications (7 May 2004)
  • Language English
  • ISBN-10: 0954300696
  • ISBN-13: 978-0954300692
  • Product Dimensions: 22.6 x 15 x 2.8 cm
  • Average Customer Review: 3.3 out of 5 stars See all reviews (3 customer reviews)
  • Amazon.co.uk Sales Rank: 166,760 in Books (See Bestsellers in Books)

    Popular in these categories:

    #4 in  Books > Computing & Internet > Programming > Languages > Haskell
    #29 in  Books > Scientific, Technical & Medical > Mathematics > Mathematical Theory > Mathematical Logic
    #52 in  Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
Microsoft Courses
   Career-in-IT.co.uk/programming    Work and learn at the same time Average salaries over £30K 
  
 

Tags Customers Associate with This Product

 (What's this?)
Click on a tag to find related items, discussions, and people.
Check the boxes next to the tags you consider relevant or enter your own tags in the field below

Your tags: Add your first tag
 

What Do Customers Ultimately Buy After Viewing This Item?

The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
68% buy the item featured on this page:
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing) 3.3 out of 5 stars (3)
£13.30
Real World Haskell: Code You Can Believe In
22% buy
Real World Haskell: Code You Can Believe In 3.8 out of 5 stars (5)
£25.03
Introduction to Functional Programming (Prentice Hall Series in Computer Science)
6% buy
Introduction to Functional Programming (Prentice Hall Series in Computer Science) 4.5 out of 5 stars (4)
£50.34
Programming Erlang: Software for a Concurrent World
4% buy
Programming Erlang: Software for a Concurrent World 4.5 out of 5 stars (2)
£19.95

 

Customer Reviews

3 Reviews
5 star:
 (1)
4 star:
 (1)
3 star:    (0)
2 star:    (0)
1 star:
 (1)
 
 
 
 
 
Average Customer Review
3.3 out of 5 stars (3 customer reviews)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

 
10 of 10 people found the following review helpful:
5.0 out of 5 stars First class introduction to Haskell, 4 April 2007
By J. Burton - See all my reviews
(REAL NAME)   
This is a great book which I enjoyed reading and found more useful than other introductory Haskell texts with the exception of Bird, although it may not be the best choice if you are most interested in the practical aspects of the Haskell. The emphasis is on foundations and language features (which are all Haskell 98) are introduced as they occur naturally in the discussion of a number of Number Theory and Logic problems.

This book is well named -- it aims to teach the three disciplines of its title in equal measure and learning Haskell is presented as the channel for that, rather than being a goal in itself.
Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)



 
3 of 3 people found the following review helpful:
4.0 out of 5 stars Lovely, 23 April 2009
The Haskell Road is a truly enjoyable little book.

What it is not: HR is not one of those vast towers of paper that introductory computer science books seem to have become. The kind of book that's called "Discrete Mathematics" and essentially contains all the stuff that nobody wants to teach but everyone wants you to know. Those books and the courses they support are often a student's first introduction to thinking about computing, and it's shameful. They are a patchwork of misaligned topics - and the students' thinking begins to resemble them, unsurprisingly.

Rather, the Haskell road is elegant - clean, concise, yet informal and approachable. Like the title says, it is an introduction to Logic, Maths and Programming. The book takes the enlightened viewpoint that these are unified concepts. The book begins by introducing basic Haskell syntax, and all of a sudden, we are implementing a prime number test. Simple; yes, but we also learn how to _prove_ that a procedure is a prime number test.

This approach continues throughout the book. The ideas of formal logic and deductive reasoning are made approachable by the fact that we implement the rules in Haskell. Sometimes, the exercise is in Haskell, and the answer is in logic. The point is that the reader is made from the first instant to see the equivalence, the shared foundations between these different means of expressing thought.

This is also one of the few books that teaches, explicitly, the means of proof. It does not do so abstractly, but quite straightforwardly, using the tools of formal logic. A few somewhat difficult chapters are the result (2-4); but they are greatly enlightened by enjoyable exercises. This treatment of proof was a first for me - though I am currently a graduate student, it made clear much that had been opaque to me. I read the chapters and did the exercises in a sitting; the following day (literally) I was finding my quantum computing proofs easier than I had the day before. Few books are able to have such a direct, jolting impact - indeed, that experience compelled me to write this review.

The exercises are not too difficult nor too easy; they are not all gathered at the end but rather placed in exactly the right place. Five minutes attempting an exercise is usually enough to see the trick of it. Some of them take seconds, however, and some take quite a long time. Those are marked as such. The exercises are the glue that sticks the book's ideas into the reader's mind, and it works.

The basic ideas of programming, like lists and functions are brilliantly intertwined with the equivalent ideas in mathematics, namely set theory. Haskell's lazy evaluation enables us to start puzzling about infinite sets early on. Throughout, one learns a reasoned, careful, elegant approach to programming. Too many students learn to program by throwing Java API calls at the problem until most of the output is correct. A more thorough, more disciplined mind can go much further, and the Haskell Road seeks to develop this.

I can't say enough good things about this book, so I will stop now. If you have been doing computer science for 30 years, or if it's your first day, or (especially!) if you're a programmer that wants to learn to do "real math" - this is the book for you.
Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)



 
2 of 14 people found the following review helpful:
1.0 out of 5 stars NOT what I expected at all, 11 Nov 2006
By P. Clayton - See all my reviews
(REAL NAME)   
I am a second year computer scientist in hope to understand programming in Haskell. I simply get lost within the first few paragraphs. This book is not designed for the beginner in Haskell.
Comment Comment (1) | Permalink | Was this review helpful to you? Yes No (Report this)


Share your thoughts with other customers: Create your own review
 
 
 
Only search this product's reviews



Customer Discussions

 Beta (What's this?)
This product's forum (0 discussions)
  Discussion Replies Latest Post
  No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
  [Cancel]

   


Listmania!


Look for similar items by category


Feedback


The Body Shop

The Body Shop - Vitamin C Skin Boost
Protect and boost your glow with The Body Shop Vitamin C Skin Boost.

Shop The Body Shop

 

Up to 75% off Shoes

Shoe Clearance - 75% off Shoes
Save up to 75% on shoes for the whole family.

Shop clearance shoes

 

A Close Shave

Philips Nivea Coolskin HS8060 Moisturizing Rotary Shaving System
For all types of hair removal, stay smooth with Amazon.co.uk.

Discover Shaving & Hair Removal

 

Treat Someone

Amazon.co.uk Gift Certificates--available in any amount from £5 to £500 With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

Learn more about Gift Certificates

 
Ad

Where's My Stuff?

Delivery and Returns

Need Help?

Your Recent History

  (What's this?)
You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

amazon.co.uk Amazon Home
International Sites:  United States  |  Germany  |  France  |  Japan  |  Canada  |  China
Business Programs: Sell on Amazon  |  Fulfilment by Amazon  |  Join Associates  |  Join Advantage
Customer Service  |  Help  |  View Basket  |  Your Account
About Amazon.co.uk  |  Careers at Amazon
Conditions of Use & Sale |  Privacy Notice  © 1996-2009, Amazon.com, Inc. and its affiliates