EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals
Search
Discrete Math Using a Computer

Discrete Math Using a Computer - 00 edition

ISBN13: 978-1852330897

Cover of Discrete Math Using a Computer 00 (ISBN 978-1852330897)
ISBN13: 978-1852330897
ISBN10: 1852330899
Cover type:
Edition/Copyright: 00
Publisher: Springer-Verlag New York
Published: 2000
International: No

USED
Sold Out
FREE Shipping on $25+
  • Ships Monday
  • 30-Day Returns
  • Condition: Very Good
Sold Out
More Shipping Options

Discrete Math Using a Computer - 00 edition

ISBN13: 978-1852330897

Cordelia Hall and J. O'Donnell

ISBN13: 978-1852330897
ISBN10: 1852330899
Cover type:
Edition/Copyright: 00
Publisher: Springer-Verlag New York

Published: 2000
International: No
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

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

List price: $0.00
  • Marketplace
  • From
More Shipping Options