دانلود کتاب Discrete Mathematics Using a Computer (به فارسی: ریاضیات گسسته با استفاده از کامپیوتر) نوشته شده توسط «John O’Donnell – Cordelia Hall – Rex Page»
اطلاعات کتاب ریاضیات گسسته با استفاده از کامپیوتر
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: John O’Donnell – Cordelia Hall – Rex Page
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 441
حجم کتاب: 3 مگابایت
کد کتاب: 1-84628-241-1 , 978-1-84628-241-6
نوبت چاپ: 2nd
توضیحات کتاب ریاضیات گسسته با استفاده از کامپیوتر
ریاضیات گسسته با استفاده از رایانه یک رویکرد جدید و “عملی” برای آموزش ریاضیات گسسته ارائه می دهد. زبان کاربردی 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/
دانلود کتاب «ریاضیات گسسته با استفاده از کامپیوتر»
