Discrete Mathematics Using a Computer

  • 2 Want to read
Discrete Mathematics Using a Computer
John O'Donnell, Cordelia Hall, ...
Locate

My Reading Lists:

Create a new list


  • 2 Want to read

Buy this book

Last edited by ImportBot
October 4, 2021 | History

Discrete Mathematics Using a Computer

  • 2 Want to read

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/

Publish Date
Publisher
Springer
Language
English
Pages
441

Buy this book

Previews available in: English

Edition Availability
Cover of: Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
2013, Springer London, Limited
in English
Cover of: Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
2007, Springer
in English
Cover of: Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
July 10, 2006, Springer
Paperback in English - 2nd ed. edition

Add another edition?

Book Details


Classifications

Library of Congress
QA75.5-76.95

Edition Identifiers

Open Library
OL34424784M
ISBN 13
9781846285981

Work Identifiers

Work ID
OL18353792W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 4, 2021 Created by ImportBot Imported from Better World Books record