The Haskell Road to Logic, Maths and Programming
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | The Haskell Road to Logic, Maths and Programming |
|---|---|
| Author / Organization | Kees Doets, van Jan Eijck |
| Subject & Discipline | Haskell Programming, Functional Programming, Mathematical Logic - Set Theory, Model Theory, Computability, etc, Computer and Programming Languages, Computer Science |
| Categories | Haskell Programming |
| ISBN | 0954300696 |
| Resource Verification | ✓ Verified Direct PDF Available |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 1438.3 KB (1,472,840 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-40683 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
The Haskell Road to Logic, Maths and Programming • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.