Title
The Haskell Road To Logic, Maths And Programming. Second Edition (Texts In Computing),New
Delivery time: 8-12 business days (International)
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
By changing our most important processes and
products, we have already made a big leap forward. This ranges from the
increased use of more sustainable fibers to the use of more
environmentally friendly printing processes to the development of
efficient waste management in our value chain.
⚠️ 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.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Related Products
You may also like
Frequently Asked Questions
- Q: What is the main focus of 'The Haskell Road to Logic, Maths and Programming'? A: The book primarily focuses on teaching logic and mathematical reasoning through practical examples, connecting these concepts with computer programming using the Haskell language.
- Q: Is prior programming experience required to understand this book? A: No, the book does not assume any previous programming experience, although a basic familiarity with mathematical notation at the secondary school level is recommended.
- Q: What edition is this book, and what are its enhancements? A: This is the second edition of the book, which includes updates, expansions, and corrections based on feedback from the first edition.
- Q: Who is the author of this book? A: The author of 'The Haskell Road to Logic, Maths and Programming' is Kees Doets.
- Q: How many pages does the book have? A: The book contains a total of 450 pages.
- Q: What is the binding type of this book? A: The book is available in a paperback binding.
- Q: When was this book published? A: The book was published on May 7, 2004.
- Q: What condition is the book in? A: The book is listed as 'Used Book in Good Condition'.
- Q: What topics are covered in the book? A: The book covers topics related to logic, maths, and functional programming using Haskell, including how to write programs, reason about their correctness, and construct structured mathematical proofs.
- Q: Is this book suitable for beginners in programming? A: Yes, the book is designed for beginners and explains all necessary concepts in a clear manner, making it accessible to those new to programming.