HAPPY HOLIDAYS: Get a special discount on Apress Access! Subscribe today >>

Discrete Mathematics Using a Computer

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

Buy this book

eBook $49.99
price for USA
  • ISBN 978-1-84628-598-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Softcover $64.95
price for USA
  • ISBN 978-1-84628-241-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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/

Table of contents (4 chapters)

Buy this book

eBook $49.99
price for USA
  • ISBN 978-1-84628-598-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Softcover $64.95
price for USA
  • ISBN 978-1-84628-241-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Discrete Mathematics Using a Computer
Authors
Copyright
2006
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-84628-598-1
DOI
10.1007/1-84628-598-4
Softcover ISBN
978-1-84628-241-6
Edition Number
2
Number of Pages
XIX, 441
Number of Illustrations and Tables
68 b/w illustrations
Topics