Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a pract...
| Main Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
2006, 2006
|
| Edition: | 2nd ed. 2006 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Programming and Reasoning with Equations
- to Haskell
- Equational Reasoning
- Recursion
- Trees
- Logic
- Propositional Logic
- Predicate Logic
- Set Theory
- Set Theory
- Inductively Defined Sets
- Relations
- Functions
- Applications
- The AVL Tree Miracle
- Discrete Mathematics in Circuit Design