- Title The Haskell Road to Logic Maths and Programming
- Author(s) Kees Doets, Jan van Eijck
- Publisher: College Publications (May 7, 2004)
- Paperback : 450 pages
- Language: English
- ISBN-10 : 0954300696
- ISBN-13 : 978-0954300692
Book Description – The Haskell Road to Logic Maths and Programming pdf
The Haskell Road to Logic Maths and Programming – Haskell is a wonderful performance tool for logic and mathematics because its functional character allows implementations to be very close to the concepts being implemented, while laziness allows smooth handling of infinite data structures. The book assumes the reader not to have previous experience with either programming or the construction of formal proofs but is assumed to have familiarity with a mathematical notation at the secondary school mathematics level. Everything you need to know about mathematical logic or programming is explained.
After proper digestion of the material in this book, the reader will be able to write interesting programs, due to their accuracy and documenting them clearly. 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 revised the second edition of a highly acclaimed textbook. Appreciation for the first edition: ‘The Haskell Road to Logic, Maths and Programming’ by Doets and van Eijk is a surprisingly comprehensive and accessible textbook on logic, mathematics, and Haskell. Ralph Lammel, Professor of Computer Science, University of Koblenz-Landau.
Long ago, when Alexander the Great asked the mathematician Menechmus for a crash course in geometry, he received the famous answer “There is no royal path 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 paths for us that were denied to earlier kings and emperors. The purpose of this book is to teach logic and mathematical reasoning in practice and to combine 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 really needed.
About the Author
Jan van Eijck is a senior researcher at the Center for Mathematics and Computer Science in Amsterdam and Professor of Computational Linguistics at the Research Institute for Language and Speech at Utrecht University. He is fascinated to explain complex technical topics as clearly and simply as possible.