The Haskell Road to Logic, Maths and Programming
Kees Doets and Jan van Eijck
Book series: click
here
Ordering the book: click
here
Sample from the book (table of contents plus first chapter):
Solutions to exercises
Errata
- A list of errata is here.
Haskell Programs and Modules
- Getting Started:
GS.hs
- Talking about Mathematical Objects:
TAMO.hs
- The Use of Logic: Proof:
TUOLP.hs
- Sets, Types and Lists:
STAL.hs
- Database used in `Sets, Types and Lists' Chapter:
DB.hs
- Module used in `Sets, Types and Lists' Chapter:
Query.hs
- Module used in `Sets, Types and Lists' Chapter:
SetEq.hs
- Module used in `Sets, Types and Lists' Chapter:
Hierarchy.hs
- Relations:
REL.hs
- Module used in `Relations' Chapter:
SetOrd.hs
- Functions:
FCT.hs
- Induction and Recursion:
IAR.hs
- Working with Numbers:
WWN.hs
- Module used in `Working with Numbers' Chapter:
Nats.hs
- Corecursion:
COR.hs
- Module used in `Corecursion' Chapter:
Polynomials.hs
- Module used in `Corecursion' Chapter:
Powerseries.hs
- Finite and Infinite Sets:
FAIS.hs
Haskell code from the solutions to the exercises:
A Haskell interpreter to run these programs and modules is available
from the Haskell homepage. Here
is a gentle introduction to
Haskell.
Jan van Eijck
Last modified: Thu Dec 13 16:39:58 CET 2007