دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
دانلود کتاب راهنمای ریاضیات گسسته: مقدمه ای در دسترس بر تاریخ، نظریه، منطق و کاربردها
مشخصات کتاب
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
ویرایش: 1st ed.
نویسندگان: O'Regan. Cornelius Gerard
سری: Texts in Computer Science
ISBN (شابک) : 331944560X, 9783319445618
ناشر: Springer
سال نشر: 2016
تعداد صفحات: 378
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب راهنمای ریاضیات گسسته: مقدمه ای در دسترس بر تاریخ، نظریه، منطق و کاربردها: علوم کامپیوتر -- ریاضیات
در صورت تبدیل فایل کتاب Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راهنمای ریاضیات گسسته: مقدمه ای در دسترس بر تاریخ، نظریه، منطق و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب راهنمای ریاضیات گسسته: مقدمه ای در دسترس بر تاریخ، نظریه، منطق و کاربردها
این کتاب درسی محرک، راهنمای گسترده و در دسترس را برای مبانی
ریاضیات گسسته ارائه می‌کند، که نشان می‌دهد چگونه تکنیک‌ها
ممکن است در حوزه‌های مختلف هیجان‌انگیز در محاسبات به کار
گرفته شوند. متن برای ایجاد انگیزه و الهام بخشیدن به خواننده
طراحی شده است و تشویق به مطالعه بیشتر در این مهارت مهم است.
ویژگی ها: مقدمه ای بر اجزای سازنده ریاضیات گسسته، از جمله
مجموعه ها، روابط و توابع ارائه می دهد. مبانی نظریه اعداد،
تکنیک های استقراء و بازگشت، و کاربردهای دنباله های ریاضی، سری
ها، جایگشت ها و ترکیب ها را شرح می دهد. مبانی جبر را ارائه می
دهد. مبانی تئوری خودکار، ماتریس ها، نظریه گراف، رمزنگاری،
نظریه کدگذاری، نظریه زبان، و مفاهیم محاسبه پذیری و تصمیم
پذیری را توضیح می دهد. تاریخچه منطق را مرور می کند، در مورد
منطق گزاره ای و محمولی و همچنین موضوعات پیشرفته بحث می کند.
زمینه مهندسی نرم افزار را بررسی می کند و روش های رسمی را
توصیف می کند. احتمال و آمار را بررسی می کند.
توضیحاتی درمورد کتاب به خارجی
This stimulating textbook presents a broad and accessible
guide to the fundamentals of discrete mathematics,
highlighting how the techniques may be applied to various
exciting areas in computing. The text is designed to motivate
and inspire the reader, encouraging further study in this
important skill.
Features: provides an introduction to the building blocks of
discrete mathematics, including sets, relations and
functions; describes the basics of number theory, the
techniques of induction and recursion, and the applications
of mathematical sequences, series, permutations, and
combinations; presents the essentials of algebra; explains
the fundamentals of automata theory, matrices, graph theory,
cryptography, coding theory, language theory, and the
concepts of computability and decidability; reviews the
history of logic, discussing propositional and predicate
logic, as well as advanced topics; examines the field of
software engineering, describing formal methods; investigates
probability and statistics.
فهرست مطالب
Front Matter....Pages i-xxi
Mathematics in Civilization....Pages 1-24
Sets, Relations and Functions....Pages 25-51
Number Theory....Pages 53-74
Mathematical Induction and Recursion....Pages 75-84
Sequences, Series and Permutations and Combinations....Pages 85-97
Algebra....Pages 99-116
Automata Theory....Pages 117-126
Matrix Theory....Pages 127-139
Graph Theory....Pages 141-153
Cryptography....Pages 155-170
Coding Theory ....Pages 171-183
Language Theory and Semantics....Pages 185-206
Computability and Decidability....Pages 207-218
A Short History of Logic....Pages 219-233
Propositional and Predicate Logic....Pages 235-261
Advanced Topics in Logic....Pages 263-281
Software Engineering Mathematics....Pages 283-297
Formal Methods....Pages 299-318
Z Formal Specification Language....Pages 319-334
Probability, Statistics and Applications....Pages 335-360
Back Matter....Pages 361-368
