Discrete mathematics using a computer

Authors:Cordelia Hall, John O'Donnell

Summary:Offers a approach to teaching Discrete Mathematics. This volume uses a functional language to allow students to experiment with mathematical notations. It provides students with instant feedback and also allows lecturers to monitor progress. It also includes an Instructors guide, to help lecturers adapt existing courses.

Print Book, English, [2000]

Edition:View all formats and editions

Publisher: Springer, London, [2000]

Physical Description:XI, 339 p. ; 24 cm

ISBN:

9781852330897, 1852330899

OCLC Number / Unique Identifier:639750629

Subjects:

Informática Aplicaciones en Matemáticas

Matemáticas Informática

Ordenadores Matemáticas

Contents:

Introduction to Haskell * Propositional Logic * Predicate Logic * Set Theory * Recursion * Inductively Defined Sets * Induction * Relations * Functions * Digital Circuit Design * Appendix A: Software Tools for Discrete Mathematics * Appendix B: Resources on the Web * Appendix C: Solutions to Selected Exercises * Bibliography * Index.