# 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

- Encyclopedia of Nanotechnology
- Things Korean
- Good Food: Can You Trust What You Are Eating?
- Der Mohammed-Karikaturenstreit in den deutschen und türkischen Medien: Eine vergleichende Diskursanalyse
- Business System Management and Engineering: From Open Issues to Applications
- Risk Management and Construction
- Radiation Protection in Nuclear Medicine
- Wavelets: From Math to Practice
- Biocatalysis: Fundamentals and Applications
- Snakes of North America: Eastern and Central Regions (Lone Star Field Guide)
- Gravity (Audiobook)
- Le Turc sans Peine
- Klimt - Le donne (Art dossier Giunti)
- Applied Predictive Analytics: Principles and Techniques for the Professional Data Analyst
- The Little Red Book of Running
- Chivalry in Medieval England
- Encyclopedia of Database Systems
- Using Microsoft Windows 7
- Handbook of Glycosyltransferases and Related Genes
- Upgrade Your Writing Series
- Design Integrations: Research and Collaboration
- Dermatopathology: Classification of Cutaneous Lesions
- The Boozy Baker: 75 Recipes for Spirited Sweets
- Patmos in the Reception History of the Apocalypse
- Britannica Student Encyclopedia

## Top books

- Inside Looking Out: Jailed Fathers' Perceptions About Separation from Their Children
- Tomato Container Gardening: The Easy Way To Grow Tomatoes In A Small Space
- The Words and Music of Ice Cube by Gail Hilson Woldu
- NUK902 – NUKE for Trainers Level Two
- Das inoffizielle iPad Buch
- Hollis Clayson, Painted Love: Prostitution in French Art of the Impressionist Era
- Grillvergnügen für die ganze Familie
- Udon's Art of Capcom
- Second Life For Dummies
- The Calendar: The 5000 Year Struggle To Align The Clock and the Heavens, and What Happened To The Missing Ten Days
- River Cottage Veg: 200 Inspired Vegetable Recipes
- Produktiver Schreiben
- Merci pour ce moment
- Concept Mapping for Planning and Evaluation (Applied Social Research Methods)
- Perspectives on Males and Singing
- Who Gets Funds from Chinas Capital Market?
- Economic Change and the National Question in Twentieth-Century Europe
- Seeing with a Painter's Eye, 2nd edition
- 1 x 1 der Kartenspiele. Von Bridge über Poker und Skat bis Zwicken. Glücks- und Familienspiele. Kartentricks und vieles mehr
- XTrain - Digital Workflow: Wildlife & Nature Photography
- The Savage City: Race, Murder, and a Generation on the Edge (Audiobook)
- CT Teaching Manual: A Systematic Approach To CT Reading (2nd Edition)
- Bewegungswissenschaft. Eine Lehrbuch in 12 Lektionen
- Sustainability: Utilizing Lean Six Sigma Techniques
- Kelby Training - Photoshop In Depth - Four Seasons: Summer

## Today books

- Smart Materials and Technologies in Architecture
- Le Corbusier: Oeuvre Complete 8 Volumes
- Old Jews Telling Jokes: 5,000 Years of Funny Bits and Not-So-Kosher Laughs
- Anlegerpsychologie
- Dig Your Well Before You're Thirsty
- How To Write a Paper (5th edition)
- Agribusiness Supply Chain Management
- Periodic Structures: Mode-Matching Approach and Applications in Electromagnetic Engineering
- State Management: An Enquiry into Models of Public Administration & Management
- Michael Sokoloff, A dictionary of Judean Aramaic
- Curvebreakers, McGraw-Hill's LSAT
- Functional Programming Patterns in Scala and Clojure: Write Lean Programs for the JVM
- Botany for the Artist: An Inspirational Guide to Drawing Plants
- Michel Draguet, Fernand Khnopff: Portrait of Jeanne Kéfer
- Decision and Game Theory in Management With Intuitionistic Fuzzy Sets
- Brian Myers, Foundations of WF: an Introduction to Windows Workflow Foundation
- Pyrography, or the Art of Woodburning / Пирoграфия или искусство выжигания по дереву
- Root Engineering: Basic and Applied Concepts
- Frommer's USA
- Book of Extremes: Why the 21st Century Isn't Like the 20th Century
- Fortune's Formula: The Untold Story of the Scientific Betting System That Beat the Casinos and Wall Street
- Michel Thomas Method: Arabic Vocabulary Course
- Valerie Dorge, Sharon L. Jones, Building an Emergency Plan: A Guide for Museums and Other Cultural Institutions
- Chess Explained: The Meran Semi-Slav
- A Practical Chinese Grammar For Foreigners