Processing ......
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.

 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
 eBook PDF, 449 pages, 1.4 MB
 Language: English
 ISBN10: 0954300696
 ISBN13: 9780954300692
 Share This:
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.
About the Authors N/A
 Haskell Programming
 Functional Programming
 Mathematical Logic  Set Theory, Model Theory, Computability, etc
 Computer and Programming Languages
 Computer Science




















