Discrete Mathematics Using a Computer

John O'Donnell, Cordelia Hall, Rex Page

440 pages, parution le 31/05/2006 (2^eme édition)

Ajouter à une liste

Indisponible

Résumé

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.

L'auteur - John O'Donnell

Jini O'Donneil works as an aerospace engineer building satellites in metropolitan Washington, D.C. He has three programming and engineering degrees from Rensselear Polytechnic Institute. Jim has been working as an author and technical editor for Macmillan USA for four years, contributing to more than 30 books and co-authoring five.

Sommaire

Introduction to Haskell
Equational Reasoning
Recursion
Induction
Trees
Propositional Logic
Predicate Logic
Set Theory
Inductively Defined Sets
Relations
Functions
The AVL Tree Miracle
Discrete Mathematics in Circuit Design
Appendix A: Software Tools
Appendix B: Resources on the Web
Appendix C: Solutions to Selected Exercises
Bibliography
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	John O'Donnell, Cordelia Hall, Rex Page
Parution	31/05/2006
Édition	2^eme édition
Nb. de pages	440
Format	15,5 x 23,5
Couverture	Broché
Poids	660g
Intérieur	Noir et Blanc
EAN13	9781846282416
ISBN13	978-1-84628-241-6