Connecting discrete mathematics and computer science:
Gespeichert in:
| Vorheriger Titel: | Liben-Nowell, David Discrete mathematics for computer science |
|---|---|
| 1. Verfasser: | |
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore
Cambridge University Press
[2022]
|
| Ausgabe: | Second edition |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Second edition steht auf dem Cover und dem Buchrücken Credits: "This book is a revised version of a book first published as 'Discrete mathematics for computer science' in 2017 by John wiley & Sons." |
| Beschreibung: | xvi, 674 Seiten Illustrationen, Diagramme |
| ISBN: | 9781009150491 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048527181 | ||
| 003 | DE-604 | ||
| 005 | 20230726 | ||
| 007 | t | ||
| 008 | 221024s2022 xxka||| |||| 00||| eng d | ||
| 020 | |a 9781009150491 |c Hardback |9 978-1-009-15049-1 | ||
| 035 | |a (OCoLC)1350783379 | ||
| 035 | |a (DE-599)HBZHT021219323 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB |a xxu |c XD-US |a at |c XE-AU |a ii |c XB-IN |a si |c XB-SG | ||
| 049 | |a DE-473 |a DE-521 |a DE-11 |a DE-83 | ||
| 084 | |a SK 950 |0 (DE-625)143273: |2 rvk | ||
| 084 | |a SK 955 |0 (DE-625)143274: |2 rvk | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Liben-Nowell, David |e Verfasser |0 (DE-588)1266020780 |4 aut | |
| 240 | 1 | 0 | |a Discrete mathematics for computer science |
| 245 | 1 | 0 | |a Connecting discrete mathematics and computer science |c David Liben-Nowell |
| 250 | |a Second edition | ||
| 264 | 1 | |a Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore |b Cambridge University Press |c [2022] | |
| 300 | |a xvi, 674 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Second edition steht auf dem Cover und dem Buchrücken | ||
| 500 | |a Credits: "This book is a revised version of a book first published as 'Discrete mathematics for computer science' in 2017 by John wiley & Sons." | ||
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 780 | 0 | 0 | |i Vorangegangen ist |a Liben-Nowell, David |d 2017 |t Discrete mathematics for computer science |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033903988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033903988 | ||
Datensatz im Suchindex
| _version_ | 1804184517795119104 |
|---|---|
| adam_text | Contents List of Computer Science Connections Acknowledgments Credits page xi xiii xv 1 On the Point of this Book 1 2 Basic Data Types 5 2.1 2.2 2.3 2.4 2.5 2.6 3 Logic 3.1 3.2 3.3 3.4 3.5 3.6 4 Why You Might Care An Introduction to Propositional Logic Propositional Logic: Some Extensions An Introduction to Predicate Logic Predicate Logic: Nested Quantifiers Chapter at a Glance Proofs 4.1 4.2 4.3 4.4 4.5 4.6 5 Why You Might Care Booleans, Numbers, and Arithmetic Sets: Unordered Collections Sequences, Vectors, and Matrices: Ordered Collections Functions Chapter at a Glance Why You Might Care Error-Correcting Codes Proofs and Proof Techniques Some Examples of Proofs Common Errors in Proofs Chapter at a Glance 6 7 26 42 59 75 79 80 81 95 109 127 140 143 144 145 166 184 201 212 Mathematical Induction 215 5.1 Why You Might Care 5.2 Proofs by Mathematical Induction 5.3 Strong Induction 5.4 Recursively Defined Structuresand Structural Induction 5.5 Chapter at a Glance 216 217 237 250 263
viii Contents Analysis of Algorithms 6 6.1 6.2 6.3 6.4 6.5 6.6 Why You Might Care Asymptotics Asymptotic Analysis of Algorithms Recurrence Relations: Analyzing Recursive Algorithms An Extension: Recurrence Relations of the Form T(n) = aT (|) + cnk Chapter at a Glance Number Theory 7 7.1 7.2 7.3 7.4 7.5 7.6 8 9 Why You Might Care Modular Arithmetic Primality and Relative Primality Multiplicative Inverses Cryptography Chapter at a Glance 267 268 269 283 298 314 323 327 328 329 343 360 371 382 Relations 385 8.1 Why You Might Care 8.2 Formal Introduction 8.3 Properties of Relations: Reflexivity, Symmetry, and Transitivity 8.4 Special Relations: Equivalence Relations and Partial/Total Orders 8.5 Chapter at a Glance 386 387 402 418 435 Counting 439 9.1 9.2 9.3 9.4 9.5 Why You Might Care Counting Unions and Sequences Using Functions to Count Combinations and Permutations Chapter at a Glance 10 Probability 10.1 10.2 10.3 10.4 10.5 Why You Might Care Probability, Outcomes, and Events Independence and Conditional Probability Random Variables and Expectation Chapter at a Glance 11 Graphs and Trees 11.1 11.2 11.3 11.4 Why You Might Care Formal Introduction Paths, Connectivity, and Distances Trees 440 441 463 481 502 505 506 509 527 549 573 577 578 579 605 623
Contents 11.5 Weighted Graphs 11.6 Chapter at a Glance ix 641 653 12 Looking Forward 657 References Index 661 667
|
| adam_txt |
Contents List of Computer Science Connections Acknowledgments Credits page xi xiii xv 1 On the Point of this Book 1 2 Basic Data Types 5 2.1 2.2 2.3 2.4 2.5 2.6 3 Logic 3.1 3.2 3.3 3.4 3.5 3.6 4 Why You Might Care An Introduction to Propositional Logic Propositional Logic: Some Extensions An Introduction to Predicate Logic Predicate Logic: Nested Quantifiers Chapter at a Glance Proofs 4.1 4.2 4.3 4.4 4.5 4.6 5 Why You Might Care Booleans, Numbers, and Arithmetic Sets: Unordered Collections Sequences, Vectors, and Matrices: Ordered Collections Functions Chapter at a Glance Why You Might Care Error-Correcting Codes Proofs and Proof Techniques Some Examples of Proofs Common Errors in Proofs Chapter at a Glance 6 7 26 42 59 75 79 80 81 95 109 127 140 143 144 145 166 184 201 212 Mathematical Induction 215 5.1 Why You Might Care 5.2 Proofs by Mathematical Induction 5.3 Strong Induction 5.4 Recursively Defined Structuresand Structural Induction 5.5 Chapter at a Glance 216 217 237 250 263
viii Contents Analysis of Algorithms 6 6.1 6.2 6.3 6.4 6.5 6.6 Why You Might Care Asymptotics Asymptotic Analysis of Algorithms Recurrence Relations: Analyzing Recursive Algorithms An Extension: Recurrence Relations of the Form T(n) = aT (|) + cnk Chapter at a Glance Number Theory 7 7.1 7.2 7.3 7.4 7.5 7.6 8 9 Why You Might Care Modular Arithmetic Primality and Relative Primality Multiplicative Inverses Cryptography Chapter at a Glance 267 268 269 283 298 314 323 327 328 329 343 360 371 382 Relations 385 8.1 Why You Might Care 8.2 Formal Introduction 8.3 Properties of Relations: Reflexivity, Symmetry, and Transitivity 8.4 Special Relations: Equivalence Relations and Partial/Total Orders 8.5 Chapter at a Glance 386 387 402 418 435 Counting 439 9.1 9.2 9.3 9.4 9.5 Why You Might Care Counting Unions and Sequences Using Functions to Count Combinations and Permutations Chapter at a Glance 10 Probability 10.1 10.2 10.3 10.4 10.5 Why You Might Care Probability, Outcomes, and Events Independence and Conditional Probability Random Variables and Expectation Chapter at a Glance 11 Graphs and Trees 11.1 11.2 11.3 11.4 Why You Might Care Formal Introduction Paths, Connectivity, and Distances Trees 440 441 463 481 502 505 506 509 527 549 573 577 578 579 605 623
Contents 11.5 Weighted Graphs 11.6 Chapter at a Glance ix 641 653 12 Looking Forward 657 References Index 661 667 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Liben-Nowell, David |
| author_GND | (DE-588)1266020780 |
| author_facet | Liben-Nowell, David |
| author_role | aut |
| author_sort | Liben-Nowell, David |
| author_variant | d l n dln |
| building | Verbundindex |
| bvnumber | BV048527181 |
| classification_rvk | SK 950 SK 955 SK 890 ST 130 |
| ctrlnum | (OCoLC)1350783379 (DE-599)HBZHT021219323 |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | Second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02118nam a2200445 c 4500</leader><controlfield tag="001">BV048527181</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230726 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">221024s2022 xxka||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009150491</subfield><subfield code="c">Hardback</subfield><subfield code="9">978-1-009-15049-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1350783379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT021219323</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">XA-GB</subfield><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield><subfield code="a">at</subfield><subfield code="c">XE-AU</subfield><subfield code="a">ii</subfield><subfield code="c">XB-IN</subfield><subfield code="a">si</subfield><subfield code="c">XB-SG</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 950</subfield><subfield code="0">(DE-625)143273:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 955</subfield><subfield code="0">(DE-625)143274:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liben-Nowell, David</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1266020780</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Discrete mathematics for computer science</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Connecting discrete mathematics and computer science</subfield><subfield code="c">David Liben-Nowell</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 674 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Second edition steht auf dem Cover und dem Buchrücken</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Credits: "This book is a revised version of a book first published as 'Discrete mathematics for computer science' in 2017 by John wiley & Sons."</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Vorangegangen ist</subfield><subfield code="a">Liben-Nowell, David</subfield><subfield code="d">2017</subfield><subfield code="t">Discrete mathematics for computer science</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033903988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033903988</subfield></datafield></record></collection> |
| id | DE-604.BV048527181 |
| illustrated | Illustrated |
| index_date | 2024-07-03T20:51:15Z |
| indexdate | 2024-07-10T09:40:36Z |
| institution | BVB |
| isbn | 9781009150491 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033903988 |
| oclc_num | 1350783379 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-521 DE-11 DE-83 |
| owner_facet | DE-473 DE-BY-UBG DE-521 DE-11 DE-83 |
| physical | xvi, 674 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Liben-Nowell, David Verfasser (DE-588)1266020780 aut Discrete mathematics for computer science Connecting discrete mathematics and computer science David Liben-Nowell Second edition Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore Cambridge University Press [2022] xvi, 674 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Second edition steht auf dem Cover und dem Buchrücken Credits: "This book is a revised version of a book first published as 'Discrete mathematics for computer science' in 2017 by John wiley & Sons." Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s Theoretische Informatik (DE-588)4196735-5 s DE-604 Vorangegangen ist Liben-Nowell, David 2017 Discrete mathematics for computer science Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033903988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Liben-Nowell, David Connecting discrete mathematics and computer science Diskrete Mathematik (DE-588)4129143-8 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4129143-8 (DE-588)4196735-5 |
| title | Connecting discrete mathematics and computer science |
| title_alt | Discrete mathematics for computer science |
| title_auth | Connecting discrete mathematics and computer science |
| title_exact_search | Connecting discrete mathematics and computer science |
| title_exact_search_txtP | Connecting discrete mathematics and computer science |
| title_full | Connecting discrete mathematics and computer science David Liben-Nowell |
| title_fullStr | Connecting discrete mathematics and computer science David Liben-Nowell |
| title_full_unstemmed | Connecting discrete mathematics and computer science David Liben-Nowell |
| title_old | Liben-Nowell, David Discrete mathematics for computer science |
| title_short | Connecting discrete mathematics and computer science |
| title_sort | connecting discrete mathematics and computer science |
| topic | Diskrete Mathematik (DE-588)4129143-8 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Diskrete Mathematik Theoretische Informatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033903988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT libennowelldavid discretemathematicsforcomputerscience AT libennowelldavid connectingdiscretemathematicsandcomputerscience |