دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Mathematical Foundation for Computer Science, Preliminary Edition
دانلود کتاب بنیاد ریاضی علوم کامپیوتر ، نسخه مقدماتی
مشخصات کتاب
A Mathematical Foundation for Computer Science, Preliminary Edition
ویرایش: [Preliminary ed.]
نویسندگان: David Mix Barrington
سری:
ISBN (شابک) : 9781792405648
ناشر: Kendall Hunt Publishing Company
سال نشر: 2019
تعداد صفحات: 363
[364]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 219 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب A Mathematical Foundation for Computer Science, Preliminary Edition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بنیاد ریاضی علوم کامپیوتر ، نسخه مقدماتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بنیاد ریاضی علوم کامپیوتر ، نسخه مقدماتی
دانشجویان رشته علوم کامپیوتر در مقطع کارشناسی نیاز به یادگیری و استفاده از روش ریاضی انتزاع، تعریف و اثبات دارند، شاید حتی زودتر از دانشجویان ریاضی. آنها دائماً با سیستم‌هایی که به طور رسمی تعریف شده‌اند، فراتر از سیستم‌هایی که در دوره‌های ریاضی مطالعه می‌شوند سر و کار دارند، و باید بتوانند به طور رسمی درباره آنها استدلال کنند تا بتوانند برنامه‌ها را بنویسند و درک کنند. یک بنیاد ریاضی برای علوم کامپیوتر، روش ریاضی را با استفاده از مثال‌هایی از علوم رایانه معرفی می‌کند، که اغلب با کدهای جاوا مانند نشان داده می‌شود. با منطق گزاره‌ای و محمولی شروع می‌شود، نظریه اعداد را معرفی می‌کند و به طور کامل با استقرای ریاضی در ارتباط با تعریف بازگشتی و الگوریتم‌های بازگشتی می‌پردازد. فصل‌های بعدی ترکیبیات، احتمال، نمودارها و جستجو، ماشین‌های حالت محدود، و مقدمه‌ای کوتاه بر نظریه زبان رسمی را پوشش می‌دهند. هر فصل به بخش‌های روایی، هر کدام با تمرین‌ها و مسائل، و بخش‌های گشت و گذار مناسب برای تمرین‌های یادگیری فعال تقسیم می‌شود. این نسخه اولیه شامل چهار فصل اول است که به عنوان کتاب درسی برای نیمه اول دوره UMass، COMPSCI 250 استفاده می شود.
توضیحاتی درمورد کتاب به خارجی
Undergraduate computer science students need to learn and use the mathematical method of abstraction, definition, and proof, perhaps even earlier than do mathematics students. They deal constantly with formally defined systems beyond those studied in mathematics courses, and must be able reason about them formally in order to write and understand programs. A Mathematical Foundation for Computer Science introduces the mathematical method using examples from computer science, often illustrated by Java-like code. It begins with propositional and predicate logic, introduces number theory, and deals thoroughly with mathematical induction as it relates to recursive definition and recursive algorithms. Later chapters cover combinatorics, probability, graphs and searching, finite-state machines, and a brief introduction to formal language theory. Each chapter is divided into narrative sections, each with Exercises and Problems, and Excursion sections suitable for active learning exercises. This preliminary edition includes the first four chapters, used as the textbook for the first half of a UMass course, COMPSCI 250.
