# The Haskell Road to Logic, Maths and Programming, 2nd Edition

2004 | ISBN-10: 0954300696 | 450 pages | PDF | 1,4 MB

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

keep2share

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

keep2share

**Related books**

- Haskell: The Craft of Functional Programming (3rd Edition)
- Mathematical Logic for Computer Science, 3rd edition
- Mathematical Aspects of Logic Programming Semantics
- Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
- Beginning Haskell: A Project-Based Approach
- Beginning Haskell: A Project-Based Approach
- C++ Programs to Accompany Programming Logic and Design
- Pearls of Functional Algorithm Design
- Introduction to Mathematical Logic, Fifth Edition
- A Course on Mathematical Logic, 2nd edition

## Random books

- The Girls' Bicycle Handbook: Everything You Need to Know About Life on Two Wheels
- American Paintings: A Catalogue of the Collection of The Metropolitan Museum of Art. Vol. 1, Painters Born by 1815
- Control of Fuel Cell Power Systems: Principles, Modeling, Analysis and Feedback Design
- Michael Miller, Windows XP for Home Users
- Dictionary of Beer and Brewing, 2 edition
- Pickles, Pigs & Whiskey: Recipes from My Three Favorite Food Groups and Then Some
- Frisch kochen - lecker essen
- A Pictorial History of Horror Stories
- Mollison's Blood Transfusion in Clinical Medicine, 12th Edition
- Parrot Tricks: Teaching Parrots with Positive Reinforcement
- Springbok Kitchen: Celebrating the love of food, family and rugby
- The Power of Negative Thinking
- Bowling: Steps to Success
- The Image: A Guide to Pseudo-Events in America
- HTML, XHTML, and CSS: Introductory, 6th edition
- Your Legacy: The Greatest Gift
- Planning and Design of Airports, Fifth Edition
- Communication Between Cultures
- Getting Started with Stereoscopy in Houdini
- The Red Shoe
- Tony Allen: An Autobiography of the Master Drummer of Afrobeat
- Jane Johnson - Das verborgene Königreich - Band 1 - Der Prinz von Eidolon (Re-Upload)
- Václav Havel - La politica dell&uomo
- Privates Beteiligungskapital im deutschen Mittelstand
- Shari'a Politics: Islamic Law and Society in the Modern World

## Top books

- Berlin mit Potsdam: Handbuch für die neue, alte Hauptstadt Berlin: eintauchen und entdecken
- Seminar Sensei Gaku Homma 7th Dan
- Who Was Leonardo da Vinci?
- The New Drawing on the Right Side of the Brain
- Crusader Castles in Cyprus, Greece and the Aegean 1191-1571 (Osprey Fortress 59)
- Revolutionary Ideas: An Intellectual History of the French Revolution from The Rights of Man to Robespierre
- If a Tree Falls: A Family's Quest to Hear and Be Heard
- French Winawer
- Noordsy's Food Animal Surgery, 5th Edition
- Japanese Kanji & Kana: A Complete Guide to the Japanese Writing System
- Digital Tutors Demystifying Keyframe Interpolation in After Effects
- German Knighthood 1050-1300
- Slow Cooker Classics from Around the World
- Innovationsmanagement in Schulen: Eine Empirische Untersuchung zur Implementation eines Sozialen Lernprogramms
- Dan Gookin, Laptops For Dummies
- Running Regressions: A Practical Guide to Quantitative Research in Economics, Finance and Development Studies
- Get Talking Thai in Ten Days
- The Essential Cuisines of Mexico
- Hugh Fearlessly Eats it All: Dispatches from the Gastronomic Frontline
- Catastrophe: And How to Fight Back (Audiobook)
- Voice of the Wildcats: Claude Sullivan and the Rise of Modern Sportscasting
- DuMont Reise-Taschenbuch Reiseführer Moskau, 2. Auflage
- The Rough Guide to Paris - 11th Edition
- Douglas Preston, Lincoln Child - Nel Fuoco
- Carolyn Lewis - Painting Mood and Atmosphere in Oils

## Today books

- Pragmatic Circuits: D-C and Time Domain
- Statistically Speaking: A Dictionary of Quotations
- Case and Linking in Language Comprehension: Evidence from German
- Meister der Angst - Folge 4 - Der Doppelmord in der Rue Morgue
- SQL Server 2012 with PowerShell V3 Cookbook
- Construction Process Planning and Management: An Owner's Guide to Successful Projects
- W. Somerset Maugham - Regen: Und andere Meistererzählungen (Re-Upload)
- Excel 2010 Formeln und Funktionen: Das ultimative Nachschlagewek für alle Excel-Profis
- Entrepreneurial Alertness: An Exploratory Study
- Ruština pre samoukov
- Roman Frescoes from Boscoreale: The Villa of Plubius Fannius Synistor in Reality and Virtual Reality
- Medieval Islamic Civilization: An Encyclopedia
- Birds of Prey of the World
- The Neurobiology of Childhood
- How Doctors Think (Audiobook)
- Emperor Penguins
- Snowed in With the Billionaire (Audiobook)
- L'Indonésien Sans Peine
- Kentucky Cooks: Favorite Recipes from Kentucky Living
- Expletive Deleted: A Good Look at Bad Language
- Applied Process Design for Chemical and Petrochemical Plants: Volume 2, Third Edition
- Introduction to Fiber Optics (2nd Edition).
- The A to Z of Plant Names: A Quick Reference Guide to 4000 Garden Plants
- Digital Painting Techniques: Practical Techniques of Digital Art Masters
- Building a Low Impact Roundhouse