Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 The Haskell Road
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