Limit search to available items
Record 46 of 58
Previous Record Next Record
Book Cover
E-book
Author O'Donnell, John, 1952-

Title Discrete mathematics using a computer / John O'Donnell, Cordelia Hall and Rex Page
Edition 2nd ed
Published London : Springer, ©2006

Copies

Description 1 online resource (xix, 441 pages) : illustrations
Contents pt. 1. Programming and reasoning with equations -- pt. 2. Logic -- pt. 3. Set theory -- pt. 4. Applications
Summary 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
Bibliography Includes bibliographical references (pages 431-433) and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
Print version record
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Computer science -- Mathematics.
Mathematics -- Data processing.
Mathematics -- Data processing.
Computer science -- Mathematics.
Informatique.
Computer science -- Mathematics
Mathematics -- Data processing
Form Electronic book
Author Hall, Cordelia, 1955-
Page, Rex, 1944-
ISBN 9781846285981
1846285984
1846282411
9781846282416
6611328998
9786611328993