Discrete Mathematics Using a Computer

• Main Authors: O’Donnell, John (Author), Hall, Cordelia (Author), Page, Rex (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2006.
• Edition: 2.
• Subjects: Computer science.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

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...

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.