The Haskell Road To Logic, Maths And Programming. Second Edition (Texts In Computing),New

The Haskell Road To Logic, Maths And Programming. Second Edition (Texts In Computing),New

In Stock
SKU: DADAX0954300696
Brand: College Publications
Condition: New
Regular price$45.15
Quantity
Add to wishlist
Add to compare

Sold by Ergodebooks, an authorized reseller.

Returns accepted within 30 days | support@ergodebooks.com

Verified
Shipping Information
  • Free Standard Shipping — United States only
  • Processing Time: 1–3 business days
  • Estimated Delivery: 3–5 business days after dispatch
  • Double-boxed, fully insured & discreetly packaged
  • Tracking number sent via email once dispatched
  • Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund

Returns accepted within 30 days of delivery.

Damaged or Defective Item

Free return shipping + replacement or full refund

Wrong Item Received

Free return shipping + replacement or full refund

Change of Mind

Return shipping at customer's expense · 25% restocking fee applies

All returns require a Return Authorization (RA) number before sending.

To initiate a return, contact us:

support@ergodebooks.com +1 (281) 738-1050
View Full Return & Refund Policy
Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

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 Muchacclaimed 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 Koblenzlandau

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

  • Q: What is the page count of the book? A: The book has four hundred fifty pages. It offers extensive coverage of logic, mathematics, and programming in Haskell.
  • Q: What are the dimensions of 'The Haskell Road to Logic, Maths and Programming'? A: The book measures six point fourteen inches in length, one inch in width, and nine point twenty-one inches in height.
  • Q: What kind of binding does this book have? A: The book is paperback bound. This makes it more flexible and lightweight for easy handling and reading.
  • Q: How do I use this book for learning? A: You can use this book to learn logic and programming in Haskell. It is designed to guide readers from basic concepts to advanced topics.
  • Q: Is this book suitable for beginners in programming? A: Yes, this book is suitable for beginners. It does not assume prior programming experience and explains concepts in detail.
  • Q: What is the recommended prior knowledge before reading this book? A: Familiarity with mathematical notation at the secondary school level is recommended. This will help in understanding the material presented.
  • Q: How should I care for this paperback book? A: To keep the book in good condition, store it in a cool, dry place and avoid exposing it to moisture. Handle it gently to prevent wear.
  • Q: Can I return this book if I am not satisfied? A: Yes, you can return the book if you are not satisfied. Check the seller's return policy for specific details and time frames.
  • Q: What if my book arrives damaged? A: If your book arrives damaged, you should contact the seller immediately for assistance and possible replacement.
  • Q: Does this book provide exercises for practice? A: Yes, the book includes exercises for practice. This helps reinforce the concepts learned throughout the chapters.
  • Q: Is there any online support for readers of this book? A: The book does not come with specific online support. However, many readers share insights and tips on forums dedicated to Haskell programming.
  • Q: What topics are covered in this book? A: The book covers topics in logic, mathematics, and programming with a focus on Haskell. It connects theoretical concepts with practical programming.
  • Q: Who is the author of this book? A: The book is authored by Kees Doets. He is known for his expertise in logic and functional programming.
  • Q: What is the target audience for this book? A: The target audience includes students and anyone interested in learning logic and programming. It is accessible for self-learners.
  • Q: Are there any reviews for this book? A: Yes, the book has received positive reviews. It is praised for its extensive coverage and accessibility in teaching complex topics.

Recently Viewed