Discrete Mathematics Using a Computer [E-Book] / by John O’Donnell, Cordelia Hall, Rex Page.
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...
Saved in:
Full text |
|
Personal Name(s): | O’Donnell, John, author |
Hall, Cordelia, author / Page, Rex, author | |
Edition: |
2. |
Imprint: |
London :
Springer,
2006
|
Physical Description: |
XIX, 441 p. 68 illus. online resource. |
Note: |
englisch |
ISBN: |
9781846285981 |
DOI: |
10.1007/1-84628-598-4 |
Subject (LOC): |
- 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.