دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: 1st نویسندگان: John E. Munro سری: ISBN (شابک) : 0412456508, 9780412456503 ناشر: Chapman and Hall/CRC سال نشر: 1992 تعداد صفحات: 319 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 25 مگابایت
کلمات کلیدی مربوط به کتاب ریاضیات گسسته برای محاسبات: ریاضیات، ریاضیات محاسباتی
در صورت تبدیل فایل کتاب Discrete Mathematics for Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات گسسته برای محاسبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هدف این متن پوشش دادن تمام مواد مورد نیاز برای اولین دوره در موضوع خود است، اما هیچ دانش قبلی از محاسبات را فرض نمی کند. این کتاب برای نشان دادن ارتباط ریاضیات گسسته با طراحی برنامه نوشته شده است. این گرایش علوم کامپیوتر بر اهمیت منطق و اثبات، بازگشت، درختان، درستی الگوریتم و مشخصات رسمی مسائل و الگوریتم ها تاکید می کند. همه الگوریتم ها در شبه کد نوشته شده اند تا امکان ادغام در هر دوره علوم کامپیوتر را فراهم کنند. توسعه مشخصات دقیق برای الگوریتم ها مورد تاکید است. متن درباره چرایی و چگونگی اهمیت موضوعات بحث می کند. مطالب پیشرفته تر در مورد اهمیت تأیید نرم افزار و استفاده از Z-notation در مشخصات رسمی نیز گنجانده شده است.
This text aims to cover all the needed materials for a first course in its subject, yet it assumes no prior knowledge of computing. The book is written to show how discrete mathematics relates to program design. This computer science orientation stresses the importance of logic and proof, recursion, trees, algorithm correctness and formal specifications of problems and algorithms. All algorithms are written in pseudocode to allow integration into any computer science course. The development of precise specifications for algorithms is emphasized. The text discusses why and how topics are important. More advanced materials on the importance of software verification and the use Z-notation in formal specifications are also included.