Try the eTextbook free for 7 days on your Fire, iOS, Android, PC, or Mac.

+ $3.99 shipping
Condition: Used: Good
Comment: FAST shipping, FREE tracking, and GREAT customer service! We also offer International and EXPEDITED shipping options.
Access codes and supplements are not guaranteed with used items.
  • List Price: $64.95
  • Save: $19.15 (29%)
In Stock.
Ships from and sold by
Gift-wrap available.
Discrete Mathematics Usin... has been added to your Cart
Sell yours for a Gift Card
We'll buy it for $2.00
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Discrete Mathematics Using a Computer Paperback – August 14, 2006

ISBN-13: 978-1846282416 ISBN-10: 1846282411 Edition: 2nd

Buy New
Price: $45.80
27 New from $39.98 23 Used from $22.04
Rent from Amazon Price New from Used from
"Please retry"
"Please retry"
$39.98 $22.04
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Get Up to 80% Back When You Sell Us Your Books
$45.80 FREE Shipping. In Stock. Ships from and sold by Gift-wrap available.

Frequently Bought Together

Discrete Mathematics Using a Computer + A Gift of Fire: Social, Legal, and Ethical Issues for Computing Technology (4th Edition)
Price for both: $138.32

Buy the selected items together
Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Paperback: 441 pages
  • Publisher: Springer; 2nd edition (August 14, 2006)
  • Language: English
  • ISBN-10: 1846282411
  • ISBN-13: 978-1846282416
  • Product Dimensions: 6.1 x 1 x 9.2 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Average Customer Review: 3.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #1,279,247 in Books (See Top 100 in Books)

Editorial Reviews

From the Back Cover

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:

Customer Reviews

3.0 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See both customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

14 of 14 people found the following review helpful By Hans-peter Vittali on August 7, 2007
Format: Paperback
Discrete Mathematics Using a Computer is the best book I have seen so far when studying how to use the elegance of discrete mathematics (for example: list comprehension, recursion, sets, relations, trees) in programming. The book is exceptional in showing how you can transform mathematical thoughts into the functional programming language HASKELL without loosing the expressiveness of the mathematical formulation. The book shows how to write two- ore three-liners of compact, readable code that implements algorithms (like tree traversal) that usually takes at least a page or two of ugly "for-if-loop-code" in languages like C++ or Java. There are chapters on important applications of the proposed concepts for the design of digital circuits and for
AVL Trees. The text clearly shows the strengths of functional programming compared to imperative programming (Java, C, ...) for many programming tasks and it helps the programmer to better choose his tools.
Finally, the book contains clever and helpfull exercises with many answers. The book has a website providing dedicated code (HASKELL) for the examples.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
8 of 44 people found the following review helpful By A Customer on October 15, 2001
Format: Paperback
This book purports to be a college text for discrete math. It is terrible. There aren't nearly enough examples in the book. Explanations are woefully brief, giving one sentence to the definition of a set intersection, for example. Many new concepts sneak up on you without ever being discussed. In one instance it started using a point by point proof method without ever introducing that method. The rules given in some proofs are not defined earlier, leaving the reader to wonder what the authors are doing in their proof. The use of Haskel is another downside. There is no way to check your proofs aside from the proof checker software included which will drive a person to complete insanity. The software is so terribly picky in its syntax, you take more time verifying your proof than actually coming up with it. When there are errors with your syntax, it doesn't give a meaningful message. This is more the fault of Haskel, however. Nevertheless, it is the fault of the authors to choose this terrible method for teaching. Garbage.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

More About the Authors

Discover books, learn about writers, read author blogs, and more.

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Discrete Mathematics Using a Computer
This item: Discrete Mathematics Using a Computer
Price: $64.95 $45.80
Ships from and sold by