Mathe-Toolbox: mathematische Notationen, Grundbegriffe und Beweismethoden
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Lehmanns media
[2016]
|
| Ausgabe: | 3., überarbeitete Auflage |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 160 Seiten Illustrationen, Diagramme |
| ISBN: | 9783865417992 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043416663 | ||
| 003 | DE-604 | ||
| 005 | 20160307 | ||
| 007 | t | ||
| 008 | 160229s2016 a||| |||| 00||| ger d | ||
| 015 | |a 11,N48 |2 dnb | ||
| 020 | |a 9783865417992 |c pbk. |9 978-3-86541-799-2 | ||
| 035 | |a (OCoLC)932720590 | ||
| 035 | |a (DE-599)BVBBV043416663 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-11 |a DE-20 | ||
| 082 | 0 | |a 510 |2 22/ger | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a MAT 023f |2 stub | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Schöning, Uwe |d 1955- |e Verfasser |0 (DE-588)110028740 |4 aut | |
| 245 | 1 | 0 | |a Mathe-Toolbox |b mathematische Notationen, Grundbegriffe und Beweismethoden |c Uwe Schöning, Hans A. Kestler |
| 250 | |a 3., überarbeitete Auflage | ||
| 264 | 1 | |a Berlin |b Lehmanns media |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 160 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematisches Zeichen |0 (DE-588)4169108-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fachsprache |0 (DE-588)4016216-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Fachsprache |0 (DE-588)4016216-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematisches Zeichen |0 (DE-588)4169108-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | 1 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kestler, Hans A. |d 1965- |e Verfasser |0 (DE-588)124075835 |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028834759&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028834759 | ||
Datensatz im Suchindex
| _version_ | 1804176008262189056 |
|---|---|
| adam_text | INHALTSVERZEICHNIS
1 MATHEMATISCHE NOTATIONEN UND GRUNDBEGRIFFE 9
1.1 DEFINITION-SATZ-BEWEIS, MATHEMATISCHE TERMINOLOGIE 10
1.2 MENGEN 12
1.3 MENGENSYSTEME, POTENZMENGE 16
1.4 FOLGEN 17
1.5 ICARTESISCHES PRODUKT 21
1.6 SUMMEN UND PRODUKTE 22
1.7 MATRIZEN UND SKALARPRODUKT 24
1.8 ALGEBRAISCHE STRUKTUREN, AXIOMATISCHE DEFINITIONEN 27
1.9 INDUKTIVE DEFINITIONEN 31
1.10 RELATIONEN 33
1.11 FUNKTIONEN 37
1.12 STRUKTURERHALTENDE ABBILDUNGEN 42
1.13 ABZAEHLBAR, UEBERABZAEHLBAR 43
1.14 WAHRSCHEINLICHKEIT 45
1.15 LOGISCHE OPERATIONEN 53
1.16 QUANTOREN 57
1.17 NORMALFORMEN 61
1.18 FAST ALLE, UNENDLICH VIELE, O-NOTATION 62
1.19 GLEICHMAESSIG, NICHT-GLEICHMAESSIG 63
2 UEBER DEN UMGANG MIT MATHEMATISCHEN
NOTATIONEN 65
2.1 INFIX, PRAEFIX, POSTFIX 65
2.2 FUNKTIONSWERT VS. FUNKTION, A-NOTATION 67
2.3 SYNTAX UND SEMANTIK, METASPRACHE UND OBJEKTSPRACHE 69
2.4 PARADOXIEN, GOEDEL UND RUSSELL 71
3 GRUNDLEGENDE BEWEISTECHNIKEN 75
3.1 AXIOME, KALKUELE, BEWEISE 76
3.2 DIREKTER BEWEIS, *DEFINITION CHASING 77
3.3 FALLUNTERSCHEIDUNGEN 79
3.4 IMPLIKATION, AEQUIVALENZ, RINGSCHLUSS 80
HTTP://D-NB.INFO/1080045155
3.5 INDIREKTER BEWEIS, BEWEIS DURCH WIDERSPRUCH 82
3.6 ES GENUEGT ZU ZEIGEN , VERSCHAERFUNG UND ABSCHWAECHUNG 88
3.7 *OHNE BESCHRAENKUNG DER ALLGEMEINHEIT 89
3.8 EXISTENZ UND EINDEUTIGKEIT 90
3.9 EFFIZIENT UND EFFEKTIV 91
3.10 INDUKTION 92
3.11 STRUKTURELLE INDUKTION 97
3.12 INDUKTION ALS KONSTRUKTIONSPRINZIP 98
3.13 BEWEISTECHNISCHER UMGANG MIT QUANTOREN, SKOLEM-FUNKTIONEN .... 101
4 FORTGESCHRITTENE BEWEISTECHNIKEN 105
4.1 KORREKTHEITSBEWEISE VON ALGORITHMEN, SCHLEIFENINVARIANTE 105
4.2 TERMINATIONSBEWEISE 108
4.3 SCHUBFACHPRINZIP UND ANZAHLARGUMENTE 114
4.4 INKLUSION - EXKLUSION 116
4.5 DOPPELTES ZAEHLEN 118
4.6 DIAGONALISIERUNG 120
4.7 BEWEIS DURCH LINEARE ALGEBRA 122
4.8 BEWEISMETHODE *POLYNOMIFIZIERUNG 123
4.9 INFORMATIONSTHEORETISCHE ARGUMENTE 126
4.10 ERZEUGENDE FUNKTIONEN, FUNKTIONALTRANSFORMATIONEN 129
4.11 INDIKATOR-ZUFALLSVARIABLEN 135
4.12 PROBABILISTISCHE EXISTENZBEWEISE 138
4.13 NP-VOLLSTAENDIGKEITSBEWEISE UND UNENTSCHEIDBARKEITSBEWEISE MITTELS
REDUKTION 142
SYMBOLVERZEICHNIS 147
GRIECHISCHE, HEBRAEISCHE UND ALTDEUTSCHE BUCHSTABEN 148
LITERATUR 149
INDEX 154
|
| any_adam_object | 1 |
| author | Schöning, Uwe 1955- Kestler, Hans A. 1965- |
| author_GND | (DE-588)110028740 (DE-588)124075835 |
| author_facet | Schöning, Uwe 1955- Kestler, Hans A. 1965- |
| author_role | aut aut |
| author_sort | Schöning, Uwe 1955- |
| author_variant | u s us h a k ha hak |
| building | Verbundindex |
| bvnumber | BV043416663 |
| classification_rvk | SK 110 SK 130 |
| classification_tum | MAT 023f MAT 030f |
| ctrlnum | (OCoLC)932720590 (DE-599)BVBBV043416663 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 3., überarbeitete Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02045nam a2200541 c 4500</leader><controlfield tag="001">BV043416663</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160307 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160229s2016 a||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N48</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783865417992</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-3-86541-799-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932720590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043416663</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">22/ger</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 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 023f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schöning, Uwe</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110028740</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathe-Toolbox</subfield><subfield code="b">mathematische Notationen, Grundbegriffe und Beweismethoden</subfield><subfield code="c">Uwe Schöning, Hans A. Kestler</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., überarbeitete Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Lehmanns media</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">160 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">Literaturangaben</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">Mathematisches Zeichen</subfield><subfield code="0">(DE-588)4169108-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fachsprache</subfield><subfield code="0">(DE-588)4016216-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Fachsprache</subfield><subfield code="0">(DE-588)4016216-3</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">Mathematisches Zeichen</subfield><subfield code="0">(DE-588)4169108-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kestler, Hans A.</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124075835</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=028834759&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-028834759</subfield></datafield></record></collection> |
| id | DE-604.BV043416663 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:25:21Z |
| institution | BVB |
| isbn | 9783865417992 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028834759 |
| oclc_num | 932720590 |
| open_access_boolean | |
| owner | DE-11 DE-20 |
| owner_facet | DE-11 DE-20 |
| physical | 160 Seiten Illustrationen, Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Lehmanns media |
| record_format | marc |
| spelling | Schöning, Uwe 1955- Verfasser (DE-588)110028740 aut Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Uwe Schöning, Hans A. Kestler 3., überarbeitete Auflage Berlin Lehmanns media [2016] © 2016 160 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Literaturangaben Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematisches Zeichen (DE-588)4169108-8 gnd rswk-swf Fachsprache (DE-588)4016216-3 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 s Fachsprache (DE-588)4016216-3 s DE-604 Mathematisches Zeichen (DE-588)4169108-8 s Beweis (DE-588)4132532-1 s Kestler, Hans A. 1965- Verfasser (DE-588)124075835 aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028834759&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schöning, Uwe 1955- Kestler, Hans A. 1965- Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Mathematik (DE-588)4037944-9 gnd Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4169108-8 (DE-588)4016216-3 (DE-588)4132532-1 |
| title | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden |
| title_auth | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden |
| title_exact_search | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden |
| title_full | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Uwe Schöning, Hans A. Kestler |
| title_fullStr | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Uwe Schöning, Hans A. Kestler |
| title_full_unstemmed | Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Uwe Schöning, Hans A. Kestler |
| title_short | Mathe-Toolbox |
| title_sort | mathe toolbox mathematische notationen grundbegriffe und beweismethoden |
| title_sub | mathematische Notationen, Grundbegriffe und Beweismethoden |
| topic | Mathematik (DE-588)4037944-9 gnd Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Mathematik Mathematisches Zeichen Fachsprache Beweis |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028834759&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schoninguwe mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden AT kestlerhansa mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden |