http://www.zyzoom.org/vb/vb_cache1/2...af9de3b3df.jpg
Discrete Mathematics Using a Computer
245 pages | Dec 12, 2008 |ISBN: 1846282411 | PDF | 11 Mb
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 practical approach that provides students with instant feedback and allows lecturers to monitor progress easily. This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems.