عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1852330899
(Number (ISBN
9781852330897
NATIONAL BIBLIOGRAPHY NUMBER
Number
b550291
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Discrete mathematics using a computer
General Material Designation
[Book]
First Statement of Responsibility
Cordelia Hall and John O'Donnell.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©2000.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 339 pages : illustrations ; 24 cm
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Diskrete Mathematik
HASKELL
Mathematics -- Data processing.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Cordelia Hall and John O'Donnell.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Cordelia Hall
John O'Donnell
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
