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 |