freecomputerbooks.pickatutorial.com Computer Tutorials and Books
Tutorials: C / C++ | C#.NET | PHP MySQL | Java | Java Script | jQuery | HTML | xHTML | HTML5 | VB Script | CSS

Books: C/C++ | C# | Android | Mathematics | Database | Cloud | Graphics | Networking | Oracle | Hardware | AI
Categories Download eBook: The Haskell Road to Logic, Maths and Programming Bookmark and Share

Book Catagory:Haskell
Title The Haskell Road to Logic, Maths and Programming
Author(s) Kees Doets, van Jan Eijck
Publisher: College Publications (May 7, 2004)
Paperback 444 pages
Language: English
ISBN-10: 0954300696
ISBN-13: 978-0954300692
Book Description

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Functional programming is a form of descriptive programming, very different from the style of programming that you find in prescriptive languages like C or Java. Haskell is based on a logical theory of computable functions called the lambda calculus.
Download eBook
|
|
|
The Haskell Road to Logic, Maths and Programming

More Haskell eBooks:
Learn You a Haskell for Great Good! - A Beginner's Guide
Learn Haskell Fast and Hard - Blow your mind with Haskell
Haskell: Functional Programming with Types
Haskell Tutorial for C Programmers
Speeding Through Haskell
Developing Web Applications with Haskell and Yesod
Parallel and Concurrent Programming in Haskell
Real World Haskell






Home - Advertise - Contact - Disclaimer - About Us
© Since 2006 pickatutorial.com -- All Rights Reserved.