Book Details

Discrete Mathematics Using a Computer

Publication year: 2006

: 978-1-84628-598-1


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.

: 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