Back to home page
|Listed in category:
|
Add to Watchlist
This item is out of stock.
BUY 1, GET 1 AT 20% OFF (add 2 to basket)See all eligible items and terms

Picture 1 of 2

The Haskell Road to Logic, Maths and..., van Eijck, Jan - Picture 1 of 2
The Haskell Road to Logic, Maths and..., van Eijck, Jan - Picture 2 of 2
Have one to sell?
Sell it yourself

The Haskell Road to Logic, Maths and..., van Eijck, Jan

8M+ feedback. Millions of books, dvds & more in stock!
World of Books Ltd
  • (9799889)
  • Registered as a business seller
£11.39
Condition:
Very Good
Out of stock3 sold
Hurry before it's gone. 1 person is watching this item.
Popular item. 3 have already sold.
Postage:
Doesn't post to United States.
Located in: GB, United Kingdom
Delivery:
Varies
Returns:
30 days return. Buyer pays for return postage.
Payments:
    

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:145127911298
Last updated on 03 Sep, 2024 13:22:11 BSTView all revisionsView all revisions

Item specifics

Condition
Very Good: A book that has been read and does not look new, but is in excellent condition. No ...
Title
The Haskell Road to Logic, Maths and Programming (Texts in Com...
Book Title
The Haskell Road to Logic, Maths and Programming (Texts in Com...
ISBN
0954300696
EAN
9780954300692
Binding
Paperback / softback
Date of Publication
20040507
Release Title
The Haskell Road to Logic, Maths and Programming (Texts in Com...
Artist
van Eijck, Jan
Brand
N/A
Colour
N/A
Publication Name
The Haskell Road to Logic, Maths and Programming: V. 4
Publisher
Kings College Publications
Subject
Mathematics
Publication Year
2004
Series
Texts in Computing S.
Type
Textbook
Format
Paperback
Language
English
Item Height
234 mm
Author
Jan Van Eijck, Kees Doets
Item Weight
688 g
Item Width
156 mm
Number of Pages
450 Pages

About this product

Product Information

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

Product Identifiers

Publisher
Kings College Publications
ISBN-13
9780954300692
eBay Product ID (ePID)
89070487

Product Key Features

Number of Pages
450 Pages
Language
English
Publication Name
The Haskell Road to Logic, Maths and Programming: V. 4
Publication Year
2004
Subject
Mathematics
Type
Textbook
Author
Jan Van Eijck, Kees Doets
Series
Texts in Computing S.
Format
Paperback

Dimensions

Item Height
234 mm
Item Weight
688 g
Item Width
156 mm

Additional Product Features

Country/Region of Manufacture
United Kingdom
Title_Author
Kees Doets, Jan Van Eijck

Item description from the seller

Business seller information

WORLD OF BOOKS LIMITED
Debbie Nicholl
Mulberry House
Woods Way
Goring-by-sea
West Sussex
BN12 4QY
United Kingdom
Show contact information
:liamEmoc.skoobfodlrow@yabe
Value added tax number:
  • DE 281042328
  • EL 996857788
  • ES N8267548I
  • FR 27823676960
  • GB 922696893
  • IT 00185819992
Company registration number:
  • 06437594
I certify that all my selling activities will comply with all EU laws and regulations.
CRN Number:
  • 06437594
World of Books Ltd

World of Books Ltd

98.9% positive Feedback
36.1M items sold
Visit ShopContact
Joined Feb 2010
Usually responds within 24 hours
In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company ...
See more

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
4.9
Communication
4.9

Popular categories from this shop

See allcategories
CollectablesArtWholesale & Job LotsEverything ElseMusical Instruments & DJ EquipmentCameras & PhotographyAntiquesGarden & PatioComputers/Tablets & Networking
Registered as a business seller

Seller Feedback (13,068,401)

See all Feedback

Product ratings and reviews

Learn more
Write a review
No ratings or reviews yet
Be the first to write the review.

More to explore: