دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Discrete mathematics using a computer
دانلود کتاب ریاضیات گسسته با استفاده از کامپیوتر
مشخصات کتاب
Discrete mathematics using a computer
ویرایش: [2nd ed] نویسندگان: John O'Donnell, Cordelia Hall, Rex Page سری: ISBN (شابک) : 9781846282416, 1846282411 ناشر: Springer سال نشر: 2006 تعداد صفحات: 441 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Discrete mathematics using a computer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات گسسته با استفاده از کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات گسسته با استفاده از کامپیوتر
ریاضیات گسسته با استفاده از کامپیوتر یک رویکرد جدید و \"عملی\" برای آموزش ریاضیات گسسته ارائه می دهد. زبان کاربردی Haskell با استفاده از نرم‌افزاری که به‌طور رایگان بر روی پلتفرم‌های Mac، PC و Unix در دسترس است، به دانش‌آموزان اجازه می‌دهد تا با نمادها و مفاهیم ریاضی آزمایش کنند -- یک رویکرد عملی که به دانش‌آموزان بازخورد فوری ارائه می‌دهد و به استادان اجازه می‌دهد پیشرفت را به راحتی نظارت کنند.
این ویرایش دوم کتاب درسی موفق حاوی مطالب اضافی قابل توجهی در مورد کاربرد روش های رسمی در مسائل برنامه نویسی عملی است. نمونه‌های بیشتری از اثبات القایی در برنامه‌های کوچک و همچنین فصل جدیدی وجود دارد که نشان می‌دهد چگونه می‌توان از یک رویکرد ریاضی برای ایجاد انگیزه در درخت‌های AVL، یک ساختار داده مهم و پیچیده استفاده کرد.
طراحی‌شده برای سال اول و دوم. دانشجویان مقطع کارشناسی، این کتاب برای خودآموزی نیز مناسب است. هیچ دانش قبلی از برنامه نویسی تابعی مورد نیاز نیست. همه چیزهایی که دانش‌آموز نیاز دارد یا فراهم می‌شود یا می‌توان آن‌ها را به‌راحتی در حین پیش‌برد انتخاب کرد.
ویژگی‌های کلیدی عبارتند از:
- تعداد تمرین‌ها و مثال‌ها
- یک صفحه وب با ابزارهای نرم افزاری و مشکلات تمرینی اضافی، راه حل ها و توضیحات، و همچنین اسلایدهای دوره
- پیشنهاداتی برای مطالعه بیشتر
به همراه راهنمای مربی همراه، این جلد از طریق وب در دسترس است، این جلد به عنوان متن آموزشی اولیه برای دروس ریاضیات گسسته در نظر گرفته شده است، اما همچنین خواندن مفیدی برای دوره های کارشناسی ارشد تبدیل و روش های رسمی ارائه می دهد.
از صفحه وب کتاب در آدرس زیر دیدن کنید: http:/ /www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
توضیحاتی درمورد کتاب به خارجی
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a practical approach that provides students with instant feedback and allows lecturers to monitor progress easily.
This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure.
Designed for 1st and 2nd year undergraduate students, the book is also well suited for self-study. No prior knowledge of functional programming is required; everything the student needs is either provided or can be picked up easily as they go along.
Key features include:
- Numerous exercises and examples
- A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides
- Suggestions for further reading
Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses.
Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
فهرست مطالب
Front Matter....Pages 1-1
Introduction to Haskell....Pages 3-35
Equational Reasoning....Pages 37-46
Recursion....Pages 47-60
Introduction....Pages 61-81
Trees....Pages 83-106
Front Matter....Pages 107-107
Propositional Logic....Pages 109-162
Predicate Logic....Pages 163-185
Front Matter....Pages 187-187
Set Theory....Pages 189-206
Inductively Defined Sets....Pages 207-222
Relations....Pages 223-265
Functions....Pages 267-309
Front Matter....Pages 311-311
The AVL Tree Miracle....Pages 313-353
Discrete Mathematics in Circuit Design....Pages 355-375
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Una faceta desconocida de Einstein
دانلود کتاب The Treason and Trial of Sir John Perrot
دانلود کتاب Craft moves: lesson sets for teaching writing with mentor texts
دانلود کتاب A Companion to the Gilded Age and Progressive Era
