Discrete mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Springer
2011
|
| Schriftenreihe: | Universitext
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 465 S. Ill., graph. Darst. 24 cm |
| ISBN: | 1441980466 9781441980465 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV037314556 | ||
| 003 | DE-604 | ||
| 005 | 20140502 | ||
| 007 | t | ||
| 008 | 110331s2011 ad|| |||| 00||| eng d | ||
| 020 | |a 1441980466 |9 1-4419-8046-6 | ||
| 020 | |a 9781441980465 |9 978-1-4419-8046-5 | ||
| 035 | |a (OCoLC)707153739 | ||
| 035 | |a (DE-599)BSZ337304998 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-188 |a DE-824 |a DE-29 |a DE-355 |a DE-634 |a DE-83 | ||
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a SK 180 |0 (DE-625)143222: |2 rvk | ||
| 084 | |a SK 950 |0 (DE-625)143273: |2 rvk | ||
| 084 | |a 03Bxx |2 msc | ||
| 084 | |a 05Axx |2 msc | ||
| 084 | |a 05Cxx |2 msc | ||
| 084 | |a 68R01 |2 msc | ||
| 084 | |a 06Axx |2 msc | ||
| 100 | 1 | |a Gallier, Jean H. |d 1949- |e Verfasser |0 (DE-588)122585615 |4 aut | |
| 245 | 1 | 0 | |a Discrete mathematics |c Jean Gallier |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2011 | |
| 300 | |a XIII, 465 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Universitext | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 653 | |a Computer science / Mathematics | ||
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4419-8047-2 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022468892&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022468892 | ||
Datensatz im Suchindex
| _version_ | 1804145591125540864 |
|---|---|
| adam_text | Contents
Mathematical Reasoning, Proof Principles, and Logic
..............
I
1.
1 Introduction
............................................... 1
1.2
Inference Rules, Deductions, Proof Systems
.
Y^ and
.
V&£
..... 2
1.3
Adding
Л,
V, X; The Proof Systems
.
ί^·Α-νΛ
and
.
Γ(^·Λν1
... 19
1.4
Clearing Up Differences Among Rules Involving _L
.............. 28
1.5 De
Morgan Laws and Other Rules of Classical Logic
............. 32
1.6
Formal Versus Informal Proofs; Some Examples
................ 34
1.7
Truth Values Semantics for Classical Logic
..................... 40
1.8
Kripke Models for Intuitionistic Logic
......................... 43
1.9
Adding Quantifiers: The Proof Systems
.
jf=*A vV·3
ί ^.Λ.ν.ν.3.χ
............................................
45
LIO
First-Order Theories
........................................ 58
1.11
Decision Procedures, Proof Normalization, Counterexamples
...... 64
1.12
Basics Concepts of Set Theory
............................... 70
1.13
Summary
................................................. 79
Problems
...................................................... 82
References
.....................................................100
Relations, Functions, Partial Functions
...........................101
2.1
What is a Function?
.........................................101
2.2
Ordered Pairs, Cartesian Products, Relations, etc
.................104
2.3
Induction Principles on
N....................................109
2.4
Composition of Relations and Functions
.......................117
2.5
Recursion on
N............................................118
2.6
Inverses of Functions and Relations
...........................121
2.7
Injections. Surjections. Bijections. Permutations
.................
1
24
2.8
Direct Image and Inverse Image
..............................128
2.9
Equi numerosi
ty;
Pigeonhole Principle;
Schröder—Bernstein.......129
2.10
An Amazing Surjection: Hubert s Space-Filling Curve
...........141
2.11
Strings, Multisets. Indexed Families
...........................143
2.12
Summary
.................................................147
xii Contents
Problems ......................................................149
References.....................................................
164
3
Graphs, Part I: Basic Notions
....................................165
3.1
Why Graphs? Some Motivations
..............................165
3.2
Directed Graphs
............................................167
3.3
Path in Digraphs, Strongly Connected Components
..............171
3.4
Undirected Graphs, Chains, Cycles, Connectivity
................182
3.5
Trees and
Arborescences
....................................189
3.6
Minimum (or Maximum) Weight Spanning Trees
................194
3.7
Summary
.................................................200
Problems
......................................................201
References
.....................................................203
4
Some Counting Problems; Multinomial Coefficients
................205
4.1
Counting Permutations and Functions
.........................205
4.2
Counting Subsets of Size k Multinomial Coefficients
............208
4.3
Some Properties of the Binomial Coefficients
...................217
4.4
The Principle of Inclusion- Exclusion
..........................229
4.5
Summary
.................................................237
Problems
......................................................238
References
.....................................................255
5
Partial Orders, GCDs, RSA, Lattices
257
5.1
Partial Orders
..............................................257
5.2
Lattices and Tarski s Fixed-Point Theorem
.....................263
5.3
Well-Founded Ordenngs and Complete Induction
...............269
5.4
Unique Prime Factorization in
Ћ
and GCDs
....................278
5.5
Dinchlet s Diophantine Approximation Theorem
................288
5.6
Equivalence Relations and Partitions
..........................291
5.7
Transitive Closure, Reflexive and Transitive Closure
.............295
5.8
Fibonacci and Lucas Numbers; Mersenne Primes
................296
5.9
Public Key Cryptography; The RSA System
....................309
5.10
Correctness of The RSA System
..............................314
5.11
Algorithms for Computing Powers and Inverses Modulo
m
........318
5.12
Finding Large Primes, Signatures; Safety of RSA
................322
5.13
Distributive Lattices, Boolean Algebras, Heyting Algebras
........327
5.14
Summary
.................................................337
Problems
......................................................340
References
.....................................................362
6
Graphs, Part
П:
More Advanced Notions
.........................365
6.1
F-Cycles, Cocycles, Cotrees, Flows, and Tensions
...............365
6.2
Incidence and Adjacency Matrices of a Graph
...................381
6.3
Eulenan and Hamiltonian Cycles
.............................386
6.4
Network Flow Problems; The Max-Flow Mm-Cut Theorem
.......391
Contents xiii
6.5 Matchings,
Coverings, Bipartite Graphs
........................409
6.6
Planar Graphs
.............................................418
6.7
Summary
.................................................435
Problems
......................................................439
References
.....................................................447
Symbol Index
......................................................449
Index
..................................·...........................453
|
| any_adam_object | 1 |
| author | Gallier, Jean H. 1949- |
| author_GND | (DE-588)122585615 |
| author_facet | Gallier, Jean H. 1949- |
| author_role | aut |
| author_sort | Gallier, Jean H. 1949- |
| author_variant | j h g jh jhg |
| building | Verbundindex |
| bvnumber | BV037314556 |
| classification_rvk | SK 110 SK 180 SK 950 |
| ctrlnum | (OCoLC)707153739 (DE-599)BSZ337304998 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01779nam a2200481 c 4500</leader><controlfield tag="001">BV037314556</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140502 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110331s2011 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1441980466</subfield><subfield code="9">1-4419-8046-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441980465</subfield><subfield code="9">978-1-4419-8046-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)707153739</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ337304998</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</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">SK 180</subfield><subfield code="0">(DE-625)143222:</subfield><subfield code="2">rvk</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">03Bxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">05Axx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">05Cxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68R01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">06Axx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gallier, Jean H.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122585615</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Discrete mathematics</subfield><subfield code="c">Jean Gallier</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 465 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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="490" ind1="0" ind2=" "><subfield code="a">Universitext</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="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="653" ind1=" " ind2=" "><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4419-8047-2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - 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=022468892&sequence=000002&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-022468892</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV037314556 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:21:53Z |
| institution | BVB |
| isbn | 1441980466 9781441980465 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022468892 |
| oclc_num | 707153739 |
| open_access_boolean | |
| owner | DE-11 DE-188 DE-824 DE-29 DE-355 DE-BY-UBR DE-634 DE-83 |
| owner_facet | DE-11 DE-188 DE-824 DE-29 DE-355 DE-BY-UBR DE-634 DE-83 |
| physical | XIII, 465 S. Ill., graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext |
| spelling | Gallier, Jean H. 1949- Verfasser (DE-588)122585615 aut Discrete mathematics Jean Gallier New York [u.a.] Springer 2011 XIII, 465 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Universitext Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Computer science / Mathematics (DE-588)4123623-3 Lehrbuch gnd-content Diskrete Mathematik (DE-588)4129143-8 s DE-604 Erscheint auch als Online-Ausgabe 978-1-4419-8047-2 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022468892&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gallier, Jean H. 1949- Discrete mathematics Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd |
| subject_GND | (DE-588)4129143-8 (DE-588)4123623-3 |
| title | Discrete mathematics |
| title_auth | Discrete mathematics |
| title_exact_search | Discrete mathematics |
| title_full | Discrete mathematics Jean Gallier |
| title_fullStr | Discrete mathematics Jean Gallier |
| title_full_unstemmed | Discrete mathematics Jean Gallier |
| title_short | Discrete mathematics |
| title_sort | discrete mathematics |
| topic | Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd |
| topic_facet | Informatik Mathematik Diskrete Mathematik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022468892&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gallierjeanh discretemathematics |