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