Publish Date: 2006
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