Clicky

Discrete mathematics using a computer by John O'Donnell and similar books you'll love - Bookscovery

Home > Authors > John O'Donnell > Discrete mathematics using a computer

Buy at: Bookshop.org Amazon

Discrete mathematics using a computer

John O'Donnell, Cordelia Hall, Rex Page

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...

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

17 Books Similar to Discrete mathematics using a computer by John O'Donnell

Bookscovery readers who liked Discrete mathematics using a computer also like 100 Best Australian Albums, A report of the proceedings in the case, wherein J. Pollock, and Arthur H.C. Pollock, Esqs. were plaintiffs; and Henry Harding was defendant and Dissertatio medica inauguralis de hernia .... How many of these have you read?

100 Best Australian Albums by John O'Donnell

Cover of 100 Best Australian Albums
Buy this book at:
Bookshop.org Amazon

A report of the proceedings in the case, wherein J. Pollock, and Arthur H.C. Pollock, Esqs. were plaintiffs; and Henry Harding was defendant by John O'Donnell

Cover of A report of the proceedings in the case, wherein J. Pollock, and Arthur H.C. Pollock, Esqs. were plaintiffs; and Henry Harding was defendant
Buy this book at:
Bookshop.org Amazon

Dissertatio medica inauguralis de hernia ... by John O'Donnell

Cover of Dissertatio medica inauguralis de hernia ...
Buy this book at:
Bookshop.org Amazon

Haloes and spotlights by John O'Donnell

Cover of Haloes and spotlights
Buy this book at:
Bookshop.org Amazon

Hans Urs Von Balthasar by John O'Donnell

Cover of Hans Urs Von Balthasar
Buy this book at:
Bookshop.org Amazon

Hans Urs Von Balthasar (Outstanding Christian Thinkers) by John O'Donnell

Cover of Hans Urs Von Balthasar (Outstanding Christian Thinkers)
Buy this book at:
Bookshop.org Amazon

Icarus Sees His Father Fly by John O'Donnell

Cover of Icarus Sees His Father Fly
Buy this book at:
Bookshop.org Amazon

Lace Dagger by John O'Donnell

Cover of Lace Dagger
Buy this book at:
Bookshop.org Amazon

Like Night and Day by John O'Donnell

Cover of Like Night and Day
Buy this book at:
Bookshop.org Amazon

Mitsubishi Melody by John O'Donnell

Cover of Mitsubishi Melody
Buy this book at:
Bookshop.org Amazon

On Water by John O'Donnell

Cover of On Water
Buy this book at:
Bookshop.org Amazon

Prayer in the catechism by John O'Donnell

Cover of Prayer in the catechism
Buy this book at:
Bookshop.org Amazon

Promise by John O'Donnell

Cover of Promise
Buy this book at:
Bookshop.org Amazon

Review of the Governor's message by John O'Donnell

Cover of Review of the Governor's message
Buy this book at:
Bookshop.org Amazon

Some other country by John O'Donnell

Cover of Some other country
Buy this book at:
Bookshop.org Amazon

Sunlight by John O'Donnell

Cover of Sunlight
Buy this book at:
Bookshop.org Amazon

Wolf-Blessed by John O'Donnell

Cover of Wolf-Blessed
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Discrete mathematics using a computer

Please sign in to leave a comment