Discrete Mathematics Using a Computer

Description

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. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure.
Designed for 1st and 2nd year undergraduate students, the book is also well suited for self-study. No prior knowledge of functional programming is required; everything the student needs is either provided or can be picked up easily as they go along.
Key features include:
Numerous exercises and examples
A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides
Suggestions for further reading
Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses.





http://rapidshare.com/files/177882491/DiscrMath.rar

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Discrete Mathematics Using a Computer" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2140
2. Discrete Mathematics of Neural Networks: Selected Topics (Monographs on Discrete Mathematics and Applications)
3. Discrete Mathematics for Computer Science (Some Notes)
4. The Unknowable (Discrete Mathematics and Theoretical Computer Science)
5. Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science)
6. Knapsack Problems: Algorithms and Computer Implementations (Wiley Interscience Series in Discrete Mathematics and Optimization)
7. Discrete Optimization: Part 1: Symposium Proceedings (Annals of Discrete Mathematics, Volume 4)
8. Cellular Automata: A Discrete View of the World (Wiley Series in Discrete Mathematics & Optimization)
9. Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003
10. [request_ebook] The Vehicle Routing Problem Discrete Math (SIAM Monographs on Discrete Mathematics and Applications)
11. Combinatorial Methods in Discrete Mathematics (Encyclopedia of Mathematics and its Applications)
12. [share_ebook] Mathematics - Discrete Mathematics Ebook Collections
13. [request_ebook] Quadratic Assignment and Related Problems: Dimacs Workshop May 20-21, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,)
14. A First Course in Discrete Mathematics
15. Discrete Mathematics
16. A First Course in Discrete Mathematics