Poised Solutions Tech Library

The Haskell Road to Logic Maths and Programming

The Haskell Road to Logic Maths and Programming Author: Kees Doets Jan van Eijck Publisher: Kings College London Published: 2004 Pages: 426

The Haskell Road to Logic Maths and Programming

The Haskell Road to Logic Maths and Programming Chapters

The Haskell Road to Logic Maths and Programming Chapters

1. Getting Started
2. Talking about Mathematical Objects
3. The Use of Logic: Proof
4. Sets, Types and Lists
5. Relations
6. Functions
7. Induction and Recursion
8. Working with Numbers
9. Polynomials
10. Corecursion
11. Finite and Infinite Sets

The Haskell Road to Logic Maths and Programming Appendices

1. The Greek Alphabet
2. References
3. Index