Non-Fiction Books:

The Haskell Road to Logic, Maths and Programming: v. 4

Format

Paperback / softback

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

The Haskell Road to Logic, Maths and Programming: v. 4 by Kees Doets
$67.00

Available on orders $100 to $1000. Learn more

In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 8-12 days
Also available from Marketplace sellers:

Availability

Delivering to:

Estimated arrival:

  • Around 8-13 November using standard courier delivery

Description

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
Release date NZ
May 7th, 2004
Country of Publication
United Kingdom
Illustrations
black & white illustrations
Imprint
Kings College Publications
Pages
450
Dimensions
156x234x25
ISBN-13
9780954300692
Product ID
1838462

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

Have one to sell? Sell Yours Here
Price Condition Seller Details Buy Now
Price
$52.00
+ $7.50 courier
Condition
New - Brand New
Product is brand new, unopened, unused with original manuals and packaging in perfect condition.
Seller Details
seller1 5 stars Ships from Hamilton
Buy Now Buy Now
Price
$50.00
+ $7.50 courier
Condition
Used - Like New
Used but in perfect mint condition with all original manuals and packaging.
Seller Details
seller1 5 stars Ships from Hamilton
Buy Now Buy Now

Marketplace items ship directly from the seller. Your payment will be made to Mighty Ape and you will be protected by the Mighty Ape Marketplace Safety Guarantee.

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...