Computer Science – Programming Languages
Scientific paper
2005-12-24
Computer Science
Programming Languages
To appear in the JoLLI journal in 2006
Scientific paper
The textbook by Doets and van Eijck puts the Haskell programming language systematically to work for presenting a major piece of logic and mathematics. The reader is taken through chapters on basic logic, proof recipes, sets and lists, relations and functions, recursion and co-recursion, the number systems, polynomials and power series, ending with Cantor's infinities. The book uses Haskell for the executable and strongly typed manifestation of various mathematical notions at the level of declarative programming. The book adopts a systematic but relaxed mathematical style (definition, example, exercise, ...); the text is very pleasant to read due to a small amount of anecdotal information, and due to the fact that definitions are fluently integrated in the running text. An important goal of the book is to get the reader acquainted with reasoning about programs.
No associations
LandOfFree
Book review "The Haskell Road to Logic, Maths and Programming" does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Book review "The Haskell Road to Logic, Maths and Programming", we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Book review "The Haskell Road to Logic, Maths and Programming" will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-388147