The Haskell Road To Logic, Maths And Programming

Description

In March 2006, there are only three or four books that boast Haskell in their titles. They are all excellent books. But the world can benefit from more Haskell books. In fact, we are in need of such books, especially CS1 texts. This book is a pleasure to read. I suspect that even math haters will not find it hostile. Anyone learning Haskell will find the book and its companion web site a valuable resouce. On the web site, you will find the source code from the book, such as Powerseries.hs. You can quickly play and experiment with it; read and learn from it.
I wish more books are as pleasant and affordable ($25).

Then it is on to corecursion, power series, and a hint of domain theory. The book ends with a modern chapter on the elements of set theory. All in all an excellent book! IMHO it is the best book out there on the topics in a discrete math course. It is amazing that all of this (except the serious parts of logic) could be implemented in Haskell so successfully. The one caveat about the book is that if you want to benefit fully from it, you are going to have to do some hard work.






http://mihd.net/pisqxz



http://mihd.net/pisqxz



$$ Buy "The Haskell Road To Logic, Maths And Programming" on Amazon $$

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "The Haskell Road To Logic, Maths And Programming" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1479
2. The Haskell Road To Logic, Maths And Programming
3. The Haskell Road To Logic, Maths And Programming
4. The Haskell Road to Logic, Maths and Programming (Texts in Computing)
5. Haskell: The Craft of Functional Programming
6. Haskell - The Craft of Functional Programming, 2ed (Addison-Wesl
7. Haskell - The Craft of Functional Programming, 2ed (Addison-Wesl
8. Jose Ferreiros - The Road to Modern Logic-An Interpretation - Th
9. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I
10. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science)
11. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II (Lecture Notes in Computer Science)
12. Computational Logic: Logic Programming and Beyond, Part II
13. The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming)
14. The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming)
15. Logic Programming with Prolog by Max Bramer
16. Logic Programming with Prolog by Max Bramer