000 02564cam a22004337i 4500
999 _c254
_d254
001 20699537
005 20220105111131.0
008 181009s2019 njua b 001 0 eng d
010 _a 2018960770
020 _a9780691179292
_qhardback
020 _a0691179298
_qhardback
035 _a(OCoLC)on1051134793
040 _aYDX
_beng
_cYDX
_erda
_dOCLCQ
_dYDXIT
_dMNW
_dBUB
_dOCLCF
_dYDXIT
_dCHVBK
_dOCLCO
_dBDX
_dCOD
_dEG-CaTKH
042 _alccopycat
050 0 0 _aQA76.9.M35
_bL485 2019
082 0 4 _a004.0151 LE.E 2019
_223
100 1 _aLewis, Harry R.,
_eauthor.
245 1 0 _aEssential discrete mathematics for computer science /
_cHarry Lewis and Rachel Zax.
264 1 _aPrinceton and Oxford :
_bPrinceton University Press,
_c2019.
300 _axii, 388 pages :
_billustrations ;
_c27 cm
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
504 _aIncludes bibliographical references and index.
505 0 _aThe 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.
520 _aDiscrete 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.--
_cSource other than the Library of Congress.
650 0 _aComputer science
_xMathematics.
650 7 _aComputer science
_xMathematics.
650 7 _aDiskrete Mathematik
650 7 _aInformatik
700 1 _aZax, Rachel,
_eauthor.
942 _2ddc
_cBK
998 _amona.romia
_bM
_d20220105
906 _a7
_bcbc
_ccopycat
_d2
_encip
_f20
_gy-gencatlg