Discrete Mathematics Using a Computer

Name: Discrete Mathematics Using a Computer
Price: 32.76 USD
Availability: InStock
ISBN: 9781846282416

ISBN-10: 1846282411

ISBN-13: 9781846282416

Edition: 2nd 2006 (Revised)

Authors: John O'Donnell, Cordelia Hall, Rex Page

List price: $69.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $63.40

Marketplace

3 new & used from $32.76

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $69.99
Edition: 2nd
Copyright year: 2006
Publisher: Springer London, Limited
Publication date: 8/14/2006
Binding: Paperback
Pages: 441
Size: 6.10" wide x 9.25" long x 1.00" tall
Weight: 1.430
Language: English

John O'Donnell, a retired senior foreign service officer living in Great Falls, Virginia, spent thirty years with the Agency for International Development in Southeast Asia & Central & South America & continues his involvement in economic development as a consultant.




Introduction to Haskell



Equational reasoning



Recursion



Induction



Trees



Propositional logic



Predicate logic



Set theory



Inductively defined sets



Relations



Functions



The AVL tree miracle



Discrete mathematics in circuit design