Discrete Mathematics Using a Computer

0 avg rating
( 0 ratings by Goodreads )
 
9781852330897: Discrete Mathematics Using a Computer
View all copies of this ISBN edition:
 
 

This volume offers a new, hands-on approach to teaching Discrete Mathematics. A simple functional language is used to allow students to experiment with mathematical notations which are traditionally difficult to pick up. This practical approach provides students with instant feedback and also allows lecturers to monitor progress easily. All the material needed to use the book will be available via ftp (the software is freely available and runs on Mac, PC and Unix platforms), including a special module which implements the concepts to be learned.No prior knowledge of Functional Programming is required: apart from List Comprehension (which is comprehensively covered in the text) everything the students need is either provided for them or can be picked up easily as they go along. An Instructors Guide will also be available on the WWW to help lecturers adapt existing courses.

"synopsis" may belong to another edition of this title.

From the Back Cover:

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/

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781846282416: Discrete Mathematics Using a Computer

Featured Edition

ISBN 10:  1846282411 ISBN 13:  9781846282416
Publisher: Springer, 2006
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Cordelia Hall, John O'Donnell
Published by Springer (2000)
ISBN 10: 1852330899 ISBN 13: 9781852330897
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2000. Paperback. Condition: New. 1. Seller Inventory # DADAX1852330899

More information about this seller | Contact this seller

Buy New
US$ 117.25
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Cordelia Hall; John O'Donnell
Published by Springer (2000)
ISBN 10: 1852330899 ISBN 13: 9781852330897
New Softcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2000. Condition: New. book. Seller Inventory # M1852330899

More information about this seller | Contact this seller

Buy New
US$ 139.01
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds