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
