Discrete Mathematics Using a Computer
- Authorized Dealer
- Ships within 1 business day
- Free 30-Day Returns
- Secure Checkout via Shopify Payments
Details
"Discrete Mathematics Using a Computer" by John O'Donnell, Cordelia Hall, Rex Page is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
This book offers a "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC & Unix platforms, the functional language Haskell allows students to experiment with mathematical notations & concepts -- a practical approach that provides students with instant feedback & allows lecturers to monitor progress easily. This 2nd edition contains additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, & a new chapter showing how a mathematical approach can be used to motivate AVL trees, a complex data structure. Designed for 1st & 2nd year undergraduates, the book is also well suited for self-study. No prior knowledge of functional programming is required. Complete with an instructor's guide, via the web, this book is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters & Formal Methods courses.
Materials + Care
We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
"Discrete Mathematics Using a Computer" by John O'Donnell, Cordelia Hall, Rex Page is a mathematics book and learning resource focused on Core Mathematics. Best for teachers, students, and readers looking for stronger mathematical understanding.
Topic: Core Mathematics
Author: John O'Donnell, Cordelia Hall, Rex Page
Who this is for:
- Teachers and classroom instructors
- Students building subject mastery
- Readers looking for practical learning support
Why this book matters: It stands out as a practical math resource that helps explain concepts, strengthen problem-solving, and support classroom or independent learning.
This book offers a "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC & Unix platforms, the functional language Haskell allows students to experiment with mathematical notations & concepts -- a practical approach that provides students with instant feedback & allows lecturers to monitor progress easily. This 2nd edition contains additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, & a new chapter showing how a mathematical approach can be used to motivate AVL trees, a complex data structure. Designed for 1st & 2nd year undergraduates, the book is also well suited for self-study. No prior knowledge of functional programming is required. Complete with an instructor's guide, via the web, this book is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters & Formal Methods courses.
| Author | John O'Donnell, Cordelia Hall, Rex Page |
| Publisher | Springer Science & Business Media |
| Published | 2006-07-10 |
| ISBN-13 | 9781846282416 |
| Binding | Paperback |
| Pages | 472 |
| Language | English |
| Subjects | Computers |
| Topic | Core Mathematics |
Format: Paperback
Length: 472 pages
Language: English
Shop by collection
Books
