Discrete Mathematics Using a Computer

Front Cover
Springer Science & Business Media, 2000 - Computers - 339 pages
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.
 

Contents

Introduction to Haskell
1
Propositional Logic
2
8
27
And Elimination EL ER
56
Predicate Logic
84
Set Theory
111
Recursion
131
Inductively Defined Sets
147
Relations
185
Topological Sort
222
Functions
229
5
244
Discrete Mathematics in Circuit Design
273
A Software Tools for Discrete Mathematics
295
Bibliography
331
Copyright

Induction
163

Other editions - View all

Common terms and phrases

About the author (2000)

John O'Donnell, a retired senior foreign service officer living in Great Falls, Virginia, spent thirty years with the Agency for International Development in Southeast Asia & Central & South America & continues his involvement in economic development as a consultant.

Bibliographic information