عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
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
