Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
Date: 30 April 2011, 10:39

Free Download Now     Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Discrete Mathematics Using a Computer " from UseNet for FREE!
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.
Visit the book's Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
PassWord: www.freebookspot.com

DISCLAIMER:

This site does not store Discrete Mathematics Using a Computer on its server. We only index and link to Discrete Mathematics Using a Computer provided by other sites. Please contact the content providers to delete Discrete Mathematics Using a Computer if any and email us, we'll remove relevant links or contents immediately.



Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches