Discrete mathematics for new technology:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Bristol [u.a.]
Inst. of Physics Publ.
2002
|
| Edition: | 2. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIX, 749 S. Ill., graph. Darst. |
| ISBN: | 0750306521 9780750306522 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013962480 | ||
| 003 | DE-604 | ||
| 005 | 20190605 | ||
| 007 | t | ||
| 008 | 011017s2002 ad|| |||| 00||| eng d | ||
| 020 | |a 0750306521 |9 0-7503-0652-1 | ||
| 020 | |a 9780750306522 |9 978-0-7503-0652-2 | ||
| 035 | |a (OCoLC)50616469 | ||
| 035 | |a (DE-599)BVBBV013962480 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-473 |a DE-824 |a DE-634 |a DE-91G |a DE-11 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 510 |2 21 | |
| 082 | 0 | |a 004.01/51 |2 22 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a MAT 050f |2 stub | ||
| 100 | 1 | |a Garnier, Rowan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Discrete mathematics for new technology |c Rowan Garnier and John Taylor |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Bristol [u.a.] |b Inst. of Physics Publ. |c 2002 | |
| 300 | |a XIX, 749 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 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 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Taylor, John |d 1957- |e Verfasser |0 (DE-588)141968737 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009555733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009555733 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804128811993792512 |
|---|---|
| adam_text | DISCRETE MATHEMATICS FOR NEW TECHNOLOGY SECOND EDITION ROWAN GAMIER AND
JOHN TAYLOR UNIVERSITY OF BRIGHTON, UK LOP INSTITUTE OF PHYSICS
PUBLISHING BRISTOL AND PHILADELPHIA CONTENTS CONTENTS V PREFACE TO THE
SECOND EDITION IX PREFACE TO THE FIRST EDITION XI LIST OF SYMBOLS , XV
CHAPTER 1: LOGIC ***..: 3 F 1 1.1 PROPOSITIONS AND TRUTH VALUES,-.*.;
1 1.2 LOGICAL CONNECTIVES AND TRUTH TABLES, _ 2 1.3 TAUTOLOGIES AND
CONTRADICTIONS 13 1.4 LOGICAL EQUIVALENCE AND LOGICAL IMPLICATION 15 1.5
THE ALGEBRA OF PROPOSITIONS 20 1.6 MORE ABOUT CONDITIONALS 24 1.7
ARGUMENTS 25 1.8 PREDICATE LOGIC 28 1.9 ARGUMENTS IN PREDICATE LOGIC 38
CHAPTER 2: MATHEMATICAL PROOF 44 2. 1 THE NATURE OF PROOF 44 2.2 AXIOMS
AND AXIOM SYSTEMS 45 2.3 METHODS OF PROOF 49 2.4 MATHEMATICAL INDUCTION
63 CHAPTER 3: SETS 73 3.1 SETS AND MEMBERSHIP 73 3.2 SUBSETS 79 VI
CONTENTS 3.3 OPERATIONS ON SETS 85 3.4 COUNTING TECHNIQUES 94 3.5 THE
ALGEBRA OF SETS 98 3.6 FAMILIES OF SETS 105 3.7 THE CARTESIAN PRODUCT
116 3.8 TYPES AND TYPED SET THEORY 128 CHAPTER 4: RELATIONS 148 4.1
RELATIONS AND THEIR REPRESENTATIONS 148 4.2 PROPERTIES OF RELATIONS 158
4.3 INTERSECTIONS AND UNIONS OF RELATIONS 165 4.4 EQUIVALENCE RELATIONS
AND PARTITIONS 169 4.5 ORDER RELATIONS 182 4.6 HASSE DIAGRAMS 192 4.7
APPLICATION: RELATIONAL DATABASES 199 CHAPTER 5: FUNCTIONS 214 5.1
DEFINITIONS AND EXAMPLES 214 5.2 COMPOSITE FUNCTIONS 232 5.3 INJECTIONS
AND SURJECTIONS 240 5.4 BIJECTIONS AND INVERSE FUNCTIONS 254 5.5 MORE ON
CARDINALITY 264 5.6 DATABASES: FUNCTIONAL DEPENDENCE AND NORMAL FORMS
271 CHAPTER 6: MATRIX ALGEBRA 285 6.1 INTRODUCTION 285 6.2 SOME SPECIAL
MATRICES 288 6.3 OPERATIONS ON MATRICES 290 6.4 ELEMENTARY MATRICES 302
6.5 THE INVERSE OF A MATRIX 312 CHAPTER 7: SYSTEMS OF LINEAR EQUATIONS
325 7.1 INTRODUCTION 325 7.2 MATRIX INVERSE METHOD 331 7.3 GAUSS-JORDAN
ELIMINATION 336 7.4 GAUSSIAN ELIMINATION 349 CHAPTER 8: ALGEBRAIC
STRUCTURES 355 8.1 BINARY OPERATIONS AND THEIR PROPERTIES 355 8.2
ALGEBRAIC STRUCTURES 364 8.3 MORE ABOUT GROUPS 373 8.4 SOME FAMILIES OF
GROUPS 378 8.5 SUBSTRUCTURES 390 8.6 MORPHISMS 398 8.7 GROUP CODES 412
CONTENTS VII CHAPTER 9: BOOLEAN ALGEBRA 431 9.1 INTRODUCTION 431 9.2
PROPERTIES OF BOOLEAN ALGEBRAS 435 9.3 BOOLEAN FUNCTIONS 442 9.4
SWITCHING CIRCUITS 459 9.5 LOGIC NETWORKS 468 9.6 MINIMIZATION OF
BOOLEAN EXPRESSIONS 475 CHAPTER 10: GRAPH THEORY 487 10.1 DEFINITIONS
AND EXAMPLES 487 10.2 PATHS AND CYCLES 500 10.3 ISOMORPHISM OF GRAPHS
514 10.4 TREES 521 10.5 PLANAR GRAPHS 530 10.6 DIRECTED GRAPHS 539 550
550 551 565 582 591 599 612 REFERENCES AND FURTHER READING 626 HINTS AND
SOLUTIONS TO SELECTED EXERCISES 630 INDEX 727 CHAPTER 1 1 1 1 1 1 1 .1
.2 .3 .4 .5 .6 .7 11: APPLICATIONS OF GRAPH THEORY INTRODUCTION ROOTED
TREES SORTING SEARCHING STRATEGIES WEIGHTED GRAPHS THE SHORTEST PATH AND
TRAVELLING SALESMAN PROBLEMS NETWORKS AND FLOWS
|
| any_adam_object | 1 |
| author | Garnier, Rowan Taylor, John 1957- |
| author_GND | (DE-588)141968737 |
| author_facet | Garnier, Rowan Taylor, John 1957- |
| author_role | aut aut |
| author_sort | Garnier, Rowan |
| author_variant | r g rg j t jt |
| building | Verbundindex |
| bvnumber | BV013962480 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 |
| classification_tum | MAT 050f |
| ctrlnum | (OCoLC)50616469 (DE-599)BVBBV013962480 |
| dewey-full | 510 004.01/51 |
| dewey-hundreds | 500 - Natural sciences and mathematics 000 - Computer science, information, general works |
| dewey-ones | 510 - Mathematics 004 - Computer science |
| dewey-raw | 510 004.01/51 |
| dewey-search | 510 004.01/51 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01815nam a2200481 c 4500</leader><controlfield tag="001">BV013962480</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190605 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011017s2002 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0750306521</subfield><subfield code="9">0-7503-0652-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780750306522</subfield><subfield code="9">978-0-7503-0652-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50616469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013962480</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01/51</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garnier, Rowan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Discrete mathematics for new technology</subfield><subfield code="c">Rowan Garnier and John Taylor</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bristol [u.a.]</subfield><subfield code="b">Inst. of Physics Publ.</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 749 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="1" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taylor, John</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141968737</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=009555733&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-009555733</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV013962480 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:55:11Z |
| institution | BVB |
| isbn | 0750306521 9780750306522 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009555733 |
| oclc_num | 50616469 |
| open_access_boolean | |
| owner | DE-703 DE-473 DE-BY-UBG DE-824 DE-634 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-703 DE-473 DE-BY-UBG DE-824 DE-634 DE-91G DE-BY-TUM DE-11 |
| physical | XIX, 749 S. Ill., graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Inst. of Physics Publ. |
| record_format | marc |
| spelling | Garnier, Rowan Verfasser aut Discrete mathematics for new technology Rowan Garnier and John Taylor 2. ed. Bristol [u.a.] Inst. of Physics Publ. 2002 XIX, 749 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik Mathematik Computer science Mathematics Mathematik (DE-588)4037944-9 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s DE-604 Mathematik (DE-588)4037944-9 s 1\p DE-604 Taylor, John 1957- Verfasser (DE-588)141968737 aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009555733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Garnier, Rowan Taylor, John 1957- Discrete mathematics for new technology Informatik Mathematik Computer science Mathematics Mathematik (DE-588)4037944-9 gnd Diskrete Mathematik (DE-588)4129143-8 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4129143-8 |
| title | Discrete mathematics for new technology |
| title_auth | Discrete mathematics for new technology |
| title_exact_search | Discrete mathematics for new technology |
| title_full | Discrete mathematics for new technology Rowan Garnier and John Taylor |
| title_fullStr | Discrete mathematics for new technology Rowan Garnier and John Taylor |
| title_full_unstemmed | Discrete mathematics for new technology Rowan Garnier and John Taylor |
| title_short | Discrete mathematics for new technology |
| title_sort | discrete mathematics for new technology |
| topic | Informatik Mathematik Computer science Mathematics Mathematik (DE-588)4037944-9 gnd Diskrete Mathematik (DE-588)4129143-8 gnd |
| topic_facet | Informatik Mathematik Computer science Mathematics Diskrete Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009555733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT garnierrowan discretemathematicsfornewtechnology AT taylorjohn discretemathematicsfornewtechnology |