Ship-Ship-Hooray! FREE 2-Day Air* on $25+ Details >
Discrete Math Using a Computer

Discrete Math Using a Computer - 00 edition

Discrete Math Using a Computer - 00 edition

ISBN13: 9781852330897

ISBN10: 1852330899

Discrete Math Using a Computer by Cordelia Hall and J. O
Edition: 00
Copyright: 2000
Publisher: Springer-Verlag New York
Published: 2000
International: No
Discrete Math Using a Computer by Cordelia Hall and J. O

ISBN13: 9781852330897

ISBN10: 1852330899

Edition: 00

Summary

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.

Table of Contents

Table of 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

Top Arrow

Top