Essential discrete mathematics for computer science /
نام عام مواد
[Book]
نام نخستين پديدآور
Harry Lewis and Rachel Zax.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Princeton, New Jersey :
نام ناشر، پخش کننده و غيره
Princeton University Press,
تاریخ نشرو بخش و غیره
[2019]
مشخصات ظاهری
نام خاص و کميت اثر
xii, 388 pages :
ساير جزييات
illustrations ;
ابعاد
27 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
The pigeonhole principle -- Basic proof techniques -- Proof by mathematical induction -- Strong induction -- Sets -- Relations and functions -- Countable and uncountable sets -- Structural induction -- Propositional logic -- Normal forms -- Logic and computers -- Quantificational logic -- Directed graphs -- Digraphs and relations -- States and invariants -- Undirected graphs -- Connectivity -- Coloring -- Finite automata -- Regular languages -- Order notation -- Counting -- Counting subsets -- Series -- Recurrence relations -- Probability -- Bayes' theorem -- Random variables and expectation -- Modular arithmetic -- Public key cryptography.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Discrete mathematics is the basis of much of computer science, from algorithms and automata theory to combinatorics and graph theory. Essential Discrete Mathematics for Computer Science aims to teach mathematical reasoning as well as concepts and skills by stressing the art of proof. It is fully illustrated in color, and each chapter includes a concise summary as well as a set of exercises.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Diskrete Mathematik
موضوع مستند نشده
Informatik
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نشانه اثر
L49
2019
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )