Document Type
|
:
|
BL
|
Record Number
|
:
|
730527
|
Doc. No
|
:
|
b550291
|
Main Entry
|
:
|
Cordelia Hall and John O'Donnell.
|
Title & Author
|
:
|
Discrete mathematics using a computer\ Cordelia Hall and John O'Donnell.
|
Publication Statement
|
:
|
London ; New York: Springer, ©2000.
|
Page. NO
|
:
|
xviii, 339 pages : illustrations ; 24 cm
|
ISBN
|
:
|
1852330899
|
|
:
|
: 9781852330897
|
Contents
|
:
|
1. Introduction to Haskell --;2. Propositional Logic --;3. Predicate Logic --;4. Set Theory --;5. Recursion --;6. Inductively Defined Sets --;7. Induction --;8. Relations --;9. Functions --;10. Discrete Mathematics in Circuit Design --;A. Software Tools for Discrete Mathematics --;B. Resources on the Web --;C. Solutions to Selected Exercises.
|
Abstract
|
:
|
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.
|
Subject
|
:
|
Diskrete Mathematik
|
Subject
|
:
|
HASKELL
|
Subject
|
:
|
Mathematics -- Data processing.
|
Added Entry
|
:
|
Cordelia Hall
|
|
:
|
John O'Donnell
|