## Discrete Mathematics Using a ComputerDiscrete 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/ |

### What people are saying - Write a review

An exellent book to learn Mathematics and programming at the same time! Highly recommended. And it is about Haskell :)

### Contents

Introduction to Haskell | 3 |

Equational Reasoning | 37 |

Recursion | 47 |

Copyright | |

12 other sections not shown

### Common terms and phrases

### References from web pages

Discrete Mathematics Using a Computer O Donnell John, Hall **...**

Книги иностранных издательств. Вы можете приобрести и заказать альбомы, художественную литературу и беллетристику,...

www.logobook.ru/ prod_show.php?object_uid=11150287

DMC: Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer, Second Edition, by John O'Donnell, Cordelia Hall and Rex Page. Published by Springer, 2006. ...

www.dcs.gla.ac.uk/ ~jtod/ discrete-mathematics/

Lecture 1 CS 1813 – Discrete Mathematics

Discrete Mathematics Using a Computer. Cordelia Hall and John O’Donnell. Springer-Verlag, January 2000. Tools provided with textbook ...

www.cs.ou.edu/ ~beseme/ Lectures/ Lecture01CourseOverview.ppt

BIBCAT AJH-8587

Search for. Other Libraries. Item Information. Discrete mathematics using a computer / John O'Donnell, Cordelia Hall and Rex Page. ...

bibcat.bibliocentre.ca/ web2/ tramp2.exe/ do_keyword_search/ guest?setting_key=durham_uoit&

Discrete mathematics using a computer

Discrete mathematics using a computer. Purchase this Book · Purchase this Book. Source. Pages: 339. Year of Publication: 2000. ISBN:1-85233-089-9. Authors ...

portal.acm.org/ citation.cfm?id=334364

DISCRETE MATHEMATICS USING A COMPUTER - Cordelia Hall, John O **...**

DISCRETE MATHEMATICS USING A COMPUTER - Cordelia Hall, John O`donnell.

cordelia-hall-john-odonnell.comprar-livro.com.br/ livros/ 1185233089/

Book reviews

ML (Appel, 1998), Discrete Mathematics Using a Computer (Hall & O’Donnell, 2000) (not an. ‘advanced topic’, but the influence is there! ...

journals.cambridge.org/ article_S0956796803214878

Journal - DISCRETE MATHEMATICS USING A COMPUTER. HALL - Journal **...**

DISCRETE MATHEMATICS USING A COMPUTER Edición y distribución de libros médicos y textos de ciencias, provisión a bibliotecas e instituciones académicas, ...

www.journal.com.ar/ libros/ DISCRETEMATHEMATICSUSINGACOMPUTER_1852330899.asp

Discrete mathematics using a computer 339pp, 2000 de Hall, Libro **...**

Compra el libro Discrete mathematics using a computer 339pp, 2000 de Hall a sólo $ 72.940 - US$ 173,67 - € 110,52. Despacho a domicilio en todo el mundo.

www.buscalibros.cl/ libro.php?libro=86680

Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer. ... Discrete Mathematics Using a Computer. "Hall, Cordelia; O'Donnell, John". PVP: 32.05 € ...

libreriacompas.com/ Discrete-Mathematics-Using-a-Computer_1-85233-089-9.html