عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
1852330899
9781852330897
b550291
Discrete mathematics using a computer
[Book]
Cordelia Hall and John O'Donnell.
London ; New York
Springer
©2000.
xviii, 339 pages : illustrations ; 24 cm
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.
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.
Diskrete Mathematik
HASKELL
Mathematics -- Data processing.
Cordelia Hall and John O'Donnell.
Cordelia Hall
John O'Donnell
مطالعه متن کتاب [Book]
Y
