Basic discrete mathematics: logic, set theory, & probability
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New Jersey
World Scientific
[2016]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Physical Description: | xxvi, 706 Seiten Illustrationen, Diagramme |
| ISBN: | 9789814730396 9789813147546 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043856342 | ||
| 003 | DE-604 | ||
| 005 | 20230419 | ||
| 007 | t | ||
| 008 | 161102s2016 xxua||| |||| 00||| eng d | ||
| 010 | |a 016014415 | ||
| 020 | |a 9789814730396 |c hardcover |9 978-981-4730-39-6 | ||
| 020 | |a 9789813147546 |c softcover |9 978-981-3147-54-6 | ||
| 035 | |a (OCoLC)962063116 | ||
| 035 | |a (DE-599)BVBBV043856342 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA9.25 | |
| 082 | 0 | |a 511/.1 |2 23 | |
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 100 | 1 | |a Kohar, Richard |d 1988- |e Verfasser |0 (DE-588)1119749298 |4 aut | |
| 245 | 1 | 0 | |a Basic discrete mathematics |b logic, set theory, & probability |c Richard Kohar (Royal Military College of Canada) |
| 264 | 1 | |a New Jersey |b World Scientific |c [2016] | |
| 300 | |a xxvi, 706 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Induction (Mathematics) | |
| 650 | 4 | |a Set theory | |
| 650 | 4 | |a Probabilities | |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029266540 | ||
Record in the Search Index
| _version_ | 1804176733248684032 |
|---|---|
| adam_text | Contents
Preface xiü
Acknowledgments x*v
L Introduction to Logic i
1.1 Historical Development of Logic............................... 2
1.2 Propositions and Paradoxes.................................... 4
1.3 Connectives................................................. 8
1.3.1 Negation............................................ 9
1.3.2 Conjunction........................................... 9
1.3.3 Disjunction.......................................... 10
1.3.4 Exclusive Disjunction............................... 11
1.3.5 Implication.......................................... 11
1.3.6 Order of Precedence.................................. 13
1.4 Constructing Truth Tables for a Compound Proposition......... 15
1.5 Switching Circuits........................................... 17
1.6 Tautologies and Contradictions............................... 22
1.7 Logical Equivalence and Derived Logical Implications......... 23
1.7.1 Biconditional........................................ 23
1.7.2 Derived Logical Implications......................... 25
1.8 Review ...................................................... 28
1.9 Bibliographic Remarks........................................ 30
2. Proofs and Arguments 31
2.1 What is a Proof?............................................. 31
2.2 Rules of Inference........................................... 32
2.2.1 Fundamental Logical Equivalences..................... 32
2.2.2 Logical Equivalences for Implication and Biconditional 34
2.3 What is an Argument? ....................................... 39
vii
Basic Discrete Mathematics
viii
2.4 Modus Ponens.................................................. 44
2.5 Modus Tollens................................................. 46
2.6 Syllogism..................................................... 49
2.6.1 Hypothetical Syllogism................................ 49
2.6.2 Disjunctive Syllogism................................. 51
2.7 Fallacies..................................................... 53
2.7.1 Affirming the Disjunct................................ 54
2.7.2 Affirming the Consequent.............................. 55
2.7.3 Denying the Antecedent................................ 57
2.8 Deductive Reasoning and Inductive Reasoning................... 59
2.9 More Complex Arguments........................................ 60
2.10 Truth and Validity.......................................... 66
2.11 Review ....................................................... 71
2.12 Bibliographic Remarks......................................... 73
3. Sets and Set Operations 75
3.1 Introduction to Sets.......................................... 75
3.2 Russell’s Paradox............................................. 80
3.3 Set Operations................................................ 82
3.4 Principle of Inclusion and Exclusion.......................... 99
3.5 Set Operations Revisited......................................107
3.6 Using Venn Diagrams to Check Categorical Syllogisms...........Ill
3.7 Review .......................................................115
3.8 Bibliographic Remarks.........................................118
4. Infinity 119
4.1 Introduction..................................................119
4.1.1 Euclid and Prime Numbers .............................120
4.2 Galileo and Cantor Counting Numbers Leads to Heresy (or The
Integers and the Rationals are Countable) ....................121
4.3 Hilbert’s Hotel...............................................128
4.4 The Real Numbers are Not Countable............................133
4.5 Review .......................................................134
4.6 Bibliographic Remarks.........................................135
5. Elements of Combinatorics 137
5.1 The Pigeonhole Principle......................................137
5.2 Fundamental Counting Principles...............................139
5.2.1 The Multiplication Principle..........................139
5.2.2 The Sum Principle.....................................143
5.3 Factorials and Permutations...................................147
Contents ix
5.4 Permutations without Repetition................................151
5.5 Circular Permutations..........................................156
5.6 Permutations with Repetition...................................158
5.7 Combinations...................................................160
5.8 Permutations with Repetition of Indistinguishable Objects ... 174
5.9 Combinations with Repetition of Indistinguishable Objects: An
Application to Occupancy Problems..............................183
5.10 A Problem Solving Strategy for Counting Problems...............187
5.11 Review ........................................................192
5.12 Bibliographic Remarks..........................................197
6. Sequences and Series 199
6.1 Sequences......................................................199
6.2 Method of Finite Differences...................................212
6.3 Series and Sigma Notation......................................216
6.4 Arithmetic Series..............................................220
6.5 Properties of Series...........................................228
6.6 Pi Notation ...................................................235
6.7 The Geometric Series...........................................236
6.8 Investment: Applications of the Geometric Series...............242
6.8.1 Compounded Interest................................243
6.8.2 Annuities..........................................245
6.8.3 Present Value......................................246
6.9 The Infinite Geometric Series (A Trojan and a Tortoise)........249
6.10 Proofs by Mathematical Induction...............................256
6.10.1 Inductive Reasoning versus Mathematical Induction . . 257
6.10.2 The Principle of Mathematical Induction............257
6.10.3 Proofs Using the Principle of Mathematical Induction . 258
6.10.4 Abusing Mathematical Induction: More Fallacies . . . . 262
6.10.5 Guessing the Formula...............................265
6.11 Review ........................................................272
6.12 Bibliographic Remarks..........................................275
7. The Binomial Theorem 277
7.1 Pascal’s Triangle .............................................277
7.2 The Binomial Theorem...........................................291
7.3 Review ....................................................... 302
7.4 Bibliographic Remarks........................................ 305
8. Introduction to Probability 307
8.1 Introduction...................................................307
X
Basic Discrete Mathematics
8.2 Experiments, Sample Spaces, Sample Points, and Events .... 307
8.3 Probability of an Event in a Uniform Sample Space..............315
8.4 Definition and Axioms of Probability...........................320
8.5 Simple Probability Rules.......................................323
8.6 Risk: Applications of Probability..............................328
8.7 Using Counting Techniques to Calculate Probability.............334
8.7.1 Permutations...........................................335
8.7.2 Combinations...........................................336
8.8 Conditional Probability........................................341
8.9 Independence...................................................354
8.9.1 Independence versus Mutually Exclusive Events .... 359
8.9.2 The Sally Clark Case ..................................360
8.10 The Origins of Probability: Gambling...........................367
8.11 Bayes’ Theorem.................................................371
8.12 Review ........................................................388
8.13 Bibliographic Remarks..........................................390
9. Random Variables 393
9.1 Introduction...................................................393
9.2 Random Variables Probability Distributions...................393
9.3 Expected Value.................................................401
9.4 Variance Standard Deviation..................................408
9.5 Review ........................................................414
10. Probability Distributions 417
10.1 Uniform Distribution...........................................417
10.2 Binomial Distribution..........................................421
10.3 The Poisson Distribution.......................................435
10.4 The Geometric Distribution.....................................449
10.5 The Hypergeometric Distribution................................455
10.6 The Normal (or Gaussian) Distribution: A Bridge from Discrete
to Continuous Mathematics .....................................465
10.7 Review ........................................................475
10.8 Bibliographic Remarks..........................................478
Appendix A Probability Distribution Tables 479
A. 1 Standard Normal Distribution Table.............................480
Appendix B Prerequisite Knowledge 483
B. l Number Systems.................................................483
B.2 Geometric Formulas.............................................483
Contents xi
B.3 Basic Properties of Real Numbers.................................485
B.4 Solving Quadratic Equations......................................489
B.5 Exponent Laws....................................................490
B.6 Logarithms ......................................................491
B.7 Scientific Notation ...........................................494
Appendix C Solutions to Exercises 497
Bibliography 689
Index 699
Basic Discrete Mathematics
Logic, SetTheory, Probability
This lively introductory text exposes the student in the humanities to the world of
discrete mathematics. A problem-solving based approach grounded in the ideas
of George Pólya are at the heart of this book. Students learn to handle and solve
new problems on their own. A straightforward, clear writing style, and well-crafted
examples with diagrams invite the students to develop into precise and critical
thinkers. Particular attention has been given to the material that some students find
challenging, such as proofs, This book illustrates how to spot invalid arguments, to
enumerate possibilities, and to construct probabilities. It also presents case studies
to students about the possible detrimental effects of ignoring these basic principles.
The book is invaluable for a discrete and finite mathematics course at the freshman
undergraduate level or for self-study since there are full solutions to the exercises
in an appendix.
|
| any_adam_object | 1 |
| author | Kohar, Richard 1988- |
| author_GND | (DE-588)1119749298 |
| author_facet | Kohar, Richard 1988- |
| author_role | aut |
| author_sort | Kohar, Richard 1988- |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV043856342 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.25 |
| callnumber-search | QA9.25 |
| callnumber-sort | QA 19.25 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 890 |
| ctrlnum | (OCoLC)962063116 (DE-599)BVBBV043856342 |
| dewey-full | 511/.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.1 |
| dewey-search | 511/.1 |
| dewey-sort | 3511 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01919nam a2200445 c 4500</leader><controlfield tag="001">BV043856342</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">161102s2016 xxua||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">016014415</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814730396</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-981-4730-39-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789813147546</subfield><subfield code="c">softcover</subfield><subfield code="9">978-981-3147-54-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)962063116</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043856342</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">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.25</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.1</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Kohar, Richard</subfield><subfield code="d">1988-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1119749298</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic discrete mathematics</subfield><subfield code="b">logic, set theory, & probability</subfield><subfield code="c">Richard Kohar (Royal Military College of Canada)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey</subfield><subfield code="b">World Scientific</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxvi, 706 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="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probabilities</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - 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=029266540&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - 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=029266540&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029266540</subfield></datafield></record></collection> |
| id | DE-604.BV043856342 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:36:52Z |
| institution | BVB |
| isbn | 9789814730396 9789813147546 |
| language | English |
| lccn | 016014415 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029266540 |
| oclc_num | 962063116 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | xxvi, 706 Seiten Illustrationen, Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Kohar, Richard 1988- Verfasser (DE-588)1119749298 aut Basic discrete mathematics logic, set theory, & probability Richard Kohar (Royal Military College of Canada) New Jersey World Scientific [2016] xxvi, 706 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s DE-604 Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Kohar, Richard 1988- Basic discrete mathematics logic, set theory, & probability Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities Diskrete Mathematik (DE-588)4129143-8 gnd |
| subject_GND | (DE-588)4129143-8 |
| title | Basic discrete mathematics logic, set theory, & probability |
| title_auth | Basic discrete mathematics logic, set theory, & probability |
| title_exact_search | Basic discrete mathematics logic, set theory, & probability |
| title_full | Basic discrete mathematics logic, set theory, & probability Richard Kohar (Royal Military College of Canada) |
| title_fullStr | Basic discrete mathematics logic, set theory, & probability Richard Kohar (Royal Military College of Canada) |
| title_full_unstemmed | Basic discrete mathematics logic, set theory, & probability Richard Kohar (Royal Military College of Canada) |
| title_short | Basic discrete mathematics |
| title_sort | basic discrete mathematics logic set theory probability |
| title_sub | logic, set theory, & probability |
| topic | Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities Diskrete Mathematik (DE-588)4129143-8 gnd |
| topic_facet | Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities Diskrete Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029266540&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT koharrichard basicdiscretemathematicslogicsettheoryprobability |