توضیحات
This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems. This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction. Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus. This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.
————————————————————–
ترجمه ماشینی :
این کتاب درسی روشنایی یک بررسی مختصر از مفاهیم اصلی در ریاضیات ضروری برای دانشمندان رایانه را ارائه می دهد. تأکید بر برنامه های محاسباتی عملی که توسط ایده های ریاضی به ظاهر انتزاعی ، که در متن تاریخی آنها ارائه شده است ، ارائه می شود. متن شامل انتخاب گسترده ای از مباحث کلیدی ، از استفاده از تئوری زمینه محدود برای اصلاح کد و نقش تئوری شماره در رمزنگاری ، تا ارزش تئوری نمودار هنگام مدل سازی شبکه ها و اهمیت روش های رسمی برای سیستم های مهم ایمنی است. این نسخه جدید کاملاً به روز شده با یک درمان جامع تر از الگوریتم ها ، منطق ، نظریه اتومات ، بررسی مدل ، قابلیت اطمینان نرم افزار و قابلیت اطمینان ، جبر ، توالی و سری و القاء ریاضی گسترش یافته است. مباحث و ویژگی ها: شامل ویژگی های تعلیم و تربیت بیشماری ، مانند مباحث کلیدی فصل ، مقدمه ها و خلاصه های فصل ، سؤالات مرور و یک واژه نامه است. مشارکتهای تاریخی چهره های برجسته ای مانند Leibniz ، Babbage ، Boole و Von Neumann را توصیف می کند. مفاهیم اساسی ریاضی مجموعه ها ، روابط و کارکردها را به همراه اصول تئوری شماره ، جبر ، الگوریتم ها و ماتریس معرفی می کند. توالی ها و سری های حسابی و هندسی ، القاء ریاضی و بازگشت ، تئوری نمودار ، محاسبه و قابلیت تغییر و نظریه اتوماتیک را بررسی می کند. مباحث اصلی نظریه برنامه نویسی ، تئوری زبان ، مهندسی نرم افزار و قابلیت اطمینان نرم افزار و همچنین روشهای رسمی و بررسی مدل را مرور می کند. مباحث کلیدی در مورد منطق ، از کمک های یونان باستان به برنامه های مدرن در هوش مصنوعی را در بر می گیرد و در مورد ماهیت اثبات ریاضی و اثبات قضیه بحث می کند. مقدمه ای کوتاه برای احتمال و آمار ، اعداد پیچیده و کواترن ها و حساب. این کتاب جذاب و آسان برای درک ، دانشجویان علوم کامپیوتر را که مایل به مرور کلی از ریاضیات مورد استفاده در محاسبات هستند و ریاضیدانان کنجکاو درباره نحوه استفاده موضوع آنها در زمینه علوم کامپیوتر جذاب خواهد بود ، جذاب خواهد بود. این کتاب همچنین علاقه خواننده ژنرال با انگیزه را به خود جلب می کند.
tag : دانلود کتاب ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی , Download ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی , دانلود ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی , Download Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts Book , ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی دانلود , buy ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی , خرید کتاب ریاضیات در محاسبات: یک راهنمای در دسترس برای زمینه های تاریخی ، بنیادی و کاربردی , دانلود کتاب Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts , کتاب Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts , دانلود Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts , خرید Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts , خرید کتاب Mathematics In Computing: An Accessible Guide To Historical, Foundational And Application Contexts ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.