Book Details

Discrete Mathematics Using a Computer

Publish Date: 2006

ISBN: 978-1-84628-598-1

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Computer, Correctness proofs, Discrete Mathematics, Formal Methods, Functional Programming, Induction, Mathematical Logic, Mechanized logic, Recursion, Sets, relations, functions, data structure, formal method, logic, programming