Mathe-Toolbox: mathematische Notationen, Grundbegriffe und Beweismethoden
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Lehmanns Media
2010
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 143 S. Ill., graph. Darst. |
| ISBN: | 9783865413697 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV025594883 | ||
| 003 | DE-604 | ||
| 005 | 20100511 | ||
| 007 | t | ||
| 008 | 100417s2010 gw ad|| |||| 00||| ger d | ||
| 016 | 7 | |a 999599933 |2 DE-101 | |
| 020 | |a 9783865413697 |9 978-3-86541-369-7 | ||
| 024 | 3 | |a 9783865413697 | |
| 035 | |a (OCoLC)506489052 | ||
| 035 | |a (DE-599)BVBBV025594883 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-20 |a DE-703 |a DE-526 |a DE-858 |a DE-355 | ||
| 082 | 0 | |a 510 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 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 |
| 264 | 1 | |a Berlin |b Lehmanns Media |c 2010 | |
| 300 | |a 143 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |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 |
| 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. |e Verfasser |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=020190955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020190955 | ||
Datensatz im Suchindex
| _version_ | 1804142777164890112 |
|---|---|
| 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 15 1.4 FOLGEN 17 1.5 KARTESISCHES PRODUKT 20
1.6 SUMMEN UND PRODUKTE 21 1.7 MATRIZEN UND SKALARPRODUKT 23 1.8
ALGEBRAISCHE STRUKTUREN, AXIOMATISCHE DEFINITIONEN 26 1.9 INDUKTIVE
DEFINITIONEN 29 1.10 RELATIONEN 31 1.11 FUNKTIONEN 35 1.12 ABZAEHLBAR,
UEBERABZAEHLBAR 39 1.13 WAHRSCHEINLICHKEIT 41 1.14 LOGISCHE OPERATIONEN 48
1.15 QUANTOREN 52 1.16 NORMALFORMEN 55 1.17 FAST ALLE, UNENDLICH VIELE,
O-NOTATION 56 1.18 GLEICHMAESSIG, NICHT-GLEICHMAESSIG 57 2 UEBER DEN UMGANG
MIT MATHEMATISCHEN NOTATIONEN 59 2.1 INFIX, PRAEFIX, POSTFIX 59 2.2
FUNKTIONSWERT VS. FUNKTION, A-NOTATION 61 2.3 SYNTAX UND SEMANTIK,
METASPRACHE UND OBJEKTSPRACHE 63 3 GRUNDLEGENDE BEWEISTECHNIKEN 67 3.1
AXIOME, KALKUELE, BEWEISE 68 3.2 DIREKTER BEWEIS, *DEFINITION CHASING 69
3.3 FALLUNTERSCHEIDUNGEN 70 3.4 IMPLIKATION, AEQUIVALENZ, RINGSCHIUSS 72
3.5 INDIREKTER BEWEIS, BEWEIS DURCH WIDERSPRUCH 73 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/999599933 DIGITALISIERT DURCH 3.6 *ES
GENUEGT ZU ZEIGEN , VERSCHAERFUNG UND ABSCHWAECHUNG 79 3.7 *OHNE
BESCHRAENKUNG DER ALLGEMEINHEIT 80 3.8 EXISTENZ UND EINDEUTIGKEIT 81 3.9
EFFIZIENT UND EFFEKTIV 82 3.10 INDUKTION 83 3.11 STRUKTURELLE INDUKTION
87 3.12 BEWEISTECHNISCHER UMGANG MIT QUANTOREN, SKOLEM-FUNKTIONEN . . .
. 88 4 FORTGESCHRITTENE BEWEISTECHNIKEN 91 4.1 KORREKTHEITSBEWEISE VON
ALGORITHMEN, SCHLEIFENINVARIANTE 91 4.2 TERMINATIONSBEWEISE 94 4.3
SCHUBFACHPRINZIP UND ANZAHLARGUMENTE 100 4.4 INKLUSION - EXKLUSION 102
4.5 DOPPELTES ZAEHLEN 104 4.6 DIAGONALISIERUNG 105 4.7 BEWEIS DURCH
LINEARE ALGEBRA 107 4.8 BEWEISMETHODE *POLYNOMIFIZIERUNG 108 4.9
INFORMATIONSTHEORETISCHE ARGUMENTE 111 4.10 ERZEUGENDE FUNKTIONEN,
FUNKTIONALTRANSFORMATIONEN 114 4.11 INDIKATOR-ZUFALLSVARIABLEN 119 4.12
PROBABILISTISCHE EXISTENZBEWEISE 122 4.13 NP-VOLLSTAENDIGKEITSBEWEISE UND
UNENTSCHEIDBARKEITSBEWEISE MITTELS REDUKTION 126 SYMBOLVERZEICHNIS 131
GRIECHISCHE, HEBRAEISCHE UND ALTDEUTSCHE BUCHSTABEN 132 LITERATUR 133
INDEX 136
|
| any_adam_object | 1 |
| author | Schöning, Uwe 1955- Kestler, Hans A. |
| author_GND | (DE-588)110028740 |
| author_facet | Schöning, Uwe 1955- Kestler, Hans A. |
| author_role | aut aut |
| author_sort | Schöning, Uwe 1955- |
| author_variant | u s us h a k ha hak |
| building | Verbundindex |
| bvnumber | BV025594883 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)506489052 (DE-599)BVBBV025594883 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01893nam a2200493 c 4500</leader><controlfield tag="001">BV025594883</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100511 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s2010 gw ad|| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">999599933</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783865413697</subfield><subfield code="9">978-3-86541-369-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783865413697</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)506489052</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025594883</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-355</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 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="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="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Lehmanns Media</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">143 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="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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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="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="e">Verfasser</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=020190955&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-020190955</subfield></datafield></record></collection> |
| id | DE-604.BV025594883 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:37:09Z |
| institution | BVB |
| isbn | 9783865413697 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020190955 |
| oclc_num | 506489052 |
| open_access_boolean | |
| owner | DE-11 DE-20 DE-703 DE-526 DE-858 DE-355 DE-BY-UBR |
| owner_facet | DE-11 DE-20 DE-703 DE-526 DE-858 DE-355 DE-BY-UBR |
| physical | 143 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| 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 Berlin Lehmanns Media 2010 143 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematik (DE-588)4037944-9 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mathematisches Zeichen (DE-588)4169108-8 gnd rswk-swf Fachsprache (DE-588)4016216-3 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. Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020190955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schöning, Uwe 1955- Kestler, Hans A. Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4132532-1 (DE-588)4169108-8 (DE-588)4016216-3 |
| 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 Beweis (DE-588)4132532-1 gnd Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd |
| topic_facet | Mathematik Beweis Mathematisches Zeichen Fachsprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020190955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schoninguwe mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden AT kestlerhansa mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden |