رکورد قبلیرکورد بعدی

" Discrete mathematics using a computer "


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
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟