Discrete Mathematics Using a Computer, by Cordelia Hall and John O'Donnell. Published by Springer, January 2000. Softcover, 360 pages, ISBN 1-85233-089-9. £16.95
This book introduces the main topics of discrete mathematics with a strong emphasis on applications to computer science. It uses computer programs to implement and illustrate the mathematical ideas, helping the reader to gain a concrete understanding of the abstract mathematics. The programs are also useful for practical calculations, and they can serve as a foundation for larger software packages.
Designed for first and second year undergraduate students, the
book is also ideally suited to self-study. No prior knowledge of
functional programming is required; the book and the online
documentation provide everything you will need.
Read the Stdm User Manual
The software is written in the standard functional language Haskell 98 . The book contains a self-contained introduction to Haskell, and the reader is not assumed to have any prior knowledge of functional programming. Several good implementations of Haskell 98 are freely available, and nearly all computer platforms are supported, including Windows 2000/ME/NT/98/95, Macintosh, Unix and Linux. The interactive Hugs implementation is recommended for use with the book.