English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
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
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Discrete Mathematics Using a Computer
Posted on 2010-03-15
|  |
More John O'Donnell, Cordelia Hall, Rex Page "Discrete Mathematics Using a Computer" 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.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| uploading.com | Alive |
| depositfiles.com | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Discrete Mathematics of Neural Networks: Selected Topics (Monographs on Discrete Mathematics and Applications) Discrete Mathematics of Neural Networks: Selected Topics (Monographs on Discrete Mathematics and Applications) By Martin AnthonyPublisher: Society for Industrial Mathematics 1987 | 143 Pages | ISBN: 089871480X | PDF | 6.5 MBThis concise, re ... |
 | Study The Unknowable (Discrete Mathematics and Theoretical Computer Science) The Unknowable (Discrete Mathematics and Theoretical Computer Science) By Gregory J. ChaitinPublisher: Springer 1999 | 122 Pages | ISBN: 9814021725 | PDF | 1.2 MBThis essential companion volume to Chaitin's highly successful "The Limits o ... |
 | Discrete Mathematics for Computer Science (Mathematics Across the Curriculum) Author: Robert L. Drysdale, Clifford Stein, Kenneth BogartPublisher: Key College (2005)Binding: Hardcover, 400 pagespricer: $89.95ISBN-10: 1930190867editorialreviews"Discrete Mathematics for Computer Science" is the perfect text to combine ... |
 | The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning (Discrete Mathematics and Theoretical Computer Science) Author: Gregory J. ChaitinPublisher: Springer (2002)Binding: Hardcover, 168 pagespricer: $69.95ISBN-10: 1852336684editorialreviewsThis book is the final version of a course on algorithmic information theory and the epistemology of mathemati ... |
 | Technical Discrete Mathematics for Computer Science (Some Notes) Discrete Mathematics for Computer Science (Some Notes) by Jean GallierDepartment of Computer and Information Science University of Pennsylvania 2007 | 249 Pages | ISBN n/a | PDF | 3.4 MBThese are notes on discrete mathematics for computer s ... |
 | Technical Discrete Mathematics for Computer Scientists and Mathematicians,2 Ed Joe L. Mott, Abraham Kandel, Theodore P. Baker, "Discrete Mathematics for Computer Scientists and Mathematicians,2 Ed" Prentice Hall of India | 2008 | ISBN: 8120315022 | 763 pages | Djvu | 6,6 MB Summary: A Must ReadRating: 5An awesome ... |
Comments (0)
