دانلود کتاب Discrete Mathematics Using a Computer Second Edition (به فارسی: ریاضیات گسسته با استفاده از کامپیوتر ویرایش دوم) نوشته شده توسط «John O’Donnell – Cordelia Hall – Rex Page»
اطلاعات کتاب ریاضیات گسسته با استفاده از کامپیوتر ویرایش دوم
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: John O’Donnell – Cordelia Hall – Rex Page
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 442
حجم کتاب: 3 مگابایت
کد کتاب: 9781846282416 , 1846282411
نوبت چاپ: 2nd
توضیحات کتاب ریاضیات گسسته با استفاده از کامپیوتر ویرایش دوم
ریاضیات گسسته با استفاده از کامپیوتر یک رویکرد جدید و “عملی” برای آموزش ریاضیات گسسته ارائه می دهد. زبان کاربردی Haskell با استفاده از نرمافزاری که بهطور رایگان بر روی پلتفرمهای مک، رایانه شخصی و یونیکس در دسترس است، به دانشآموزان اجازه میدهد تا با نمادها و مفاهیم ریاضی آزمایش کنند – یک رویکرد عملی که به دانشجویان بازخورد فوری ارائه میدهد و به استادان اجازه میدهد پیشرفت را به راحتی نظارت کنند.
این ویرایش دوم کتاب درسی موفق حاوی مطالب اضافی قابل توجهی در مورد کاربرد روش های رسمی در مسائل برنامه نویسی عملی است. نمونههای بیشتری از اثبات القایی در برنامههای کوچک و همچنین فصل جدیدی وجود دارد که نشان میدهد چگونه میتوان از یک رویکرد ریاضی برای ایجاد انگیزه در درختهای AVL، یک ساختار داده مهم و پیچیده استفاده کرد.
این کتاب برای دانشجویان سال اول و دوم مقطع کارشناسی طراحی شده است، همچنین برای خودآموزی مناسب است. هیچ دانش قبلی از برنامه نویسی تابعی مورد نیاز نیست. هر چیزی که دانش آموز نیاز دارد یا فراهم می شود یا می توان به راحتی آنها را در حین پیشبرد برداشت.
ویژگی های کلیدی عبارتند از:
– تمرین ها و مثال های متعدد
– یک صفحه وب با ابزارهای نرم افزاری و مشکلات تمرینی اضافی، راه حل ها و توضیحات، و همچنین اسلایدهای دوره
– پیشنهاداتی برای مطالعه بیشتر
این جلد همراه با راهنمای مربی همراه، که از طریق وب در دسترس است، به عنوان متن آموزشی اولیه برای دورههای ریاضیات گسسته در نظر گرفته شده است، اما خواندن مفیدی برای دورههای کارشناسی ارشد تبدیل و روشهای رسمی نیز ارائه میکند.
به صفحه وب کتاب در آدرس زیر مراجعه کنید: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
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/
دانلود کتاب «ریاضیات گسسته با استفاده از کامپیوتر ویرایش دوم»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.