Mathe-Toolbox: mathematische Notationen, Grundbegriffe und Beweismethoden
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin
Lehmanns
2012
|
Ausgabe: | 2., erw. Aufl. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | 160 S. graph. Darst. 24 cm |
ISBN: | 9783865414564 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV039896643 | ||
003 | DE-604 | ||
005 | 20241008 | ||
007 | t | ||
008 | 120217s2012 d||| |||| 00||| ger d | ||
015 | |a 11,N48 |2 dnb | ||
015 | |a 12,A04 |2 dnb | ||
016 | 7 | |a 1017315531 |2 DE-101 | |
020 | |a 9783865414564 |c kart. : EUR 12.95 (DE), EUR 13.40 (AT) |9 978-3-86541-456-4 | ||
024 | 3 | |a 9783865414564 | |
035 | |a (OCoLC)780120517 | ||
035 | |a (DE-599)DNB1017315531 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
049 | |a DE-20 |a DE-19 |a DE-858 |a DE-92 |a DE-862 |a DE-91G |a DE-824 |a DE-384 |a DE-11 |a DE-1049 | ||
082 | 0 | |a 510 |2 22/ger | |
084 | |a QH 110 |0 (DE-625)141531: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a MAT 030f |2 stub | ||
084 | |a MAT 023f |2 stub | ||
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 |
250 | |a 2., erw. Aufl. | ||
264 | 1 | |a Berlin |b Lehmanns |c 2012 | |
300 | |a 160 S. |b graph. Darst. |c 24 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Literaturangaben | ||
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 |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |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=024755584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024755584 |
Datensatz im Suchindex
DE-BY-862_location | 2000 |
---|---|
DE-BY-FWS_call_number | 2000/SK 130 S365(2) |
DE-BY-FWS_katkey | 432575 |
DE-BY-FWS_media_number | 083000506476 |
_version_ | 1812671862129295360 |
adam_text |
IMAGE 1
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 KARTESISCHES 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
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1017315531
DIGITALISIERT DURCH
IMAGE 2
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 | BV039896643 |
classification_rvk | QH 110 SK 130 |
classification_tum | MAT 030f MAT 023f |
ctrlnum | (OCoLC)780120517 (DE-599)DNB1017315531 |
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 Wirtschaftswissenschaften |
edition | 2., erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV039896643</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241008</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120217s2012 d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N48</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A04</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1017315531</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783865414564</subfield><subfield code="c">kart. : EUR 12.95 (DE), EUR 13.40 (AT)</subfield><subfield code="9">978-3-86541-456-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783865414564</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)780120517</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1017315531</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-1049</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">QH 110</subfield><subfield code="0">(DE-625)141531:</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">MAT 030f</subfield><subfield code="2">stub</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">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="250" ind1=" " ind2=" "><subfield code="a">2., erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Lehmanns</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">160 S.</subfield><subfield code="b">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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="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="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=024755584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024755584</subfield></datafield></record></collection> |
id | DE-604.BV039896643 |
illustrated | Illustrated |
indexdate | 2024-10-12T04:03:18Z |
institution | BVB |
isbn | 9783865414564 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024755584 |
oclc_num | 780120517 |
open_access_boolean | |
owner | DE-20 DE-19 DE-BY-UBM DE-858 DE-92 DE-862 DE-BY-FWS DE-91G DE-BY-TUM DE-824 DE-384 DE-11 DE-1049 |
owner_facet | DE-20 DE-19 DE-BY-UBM DE-858 DE-92 DE-862 DE-BY-FWS DE-91G DE-BY-TUM DE-824 DE-384 DE-11 DE-1049 |
physical | 160 S. graph. Darst. 24 cm |
publishDate | 2012 |
publishDateSearch | 2012 |
publishDateSort | 2012 |
publisher | Lehmanns |
record_format | marc |
spellingShingle | Schöning, Uwe 1955- Kestler, Hans A. 1965- Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd |
subject_GND | (DE-588)4169108-8 (DE-588)4016216-3 (DE-588)4132532-1 (DE-588)4037944-9 |
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 | Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd |
topic_facet | Mathematisches Zeichen Fachsprache Beweis Mathematik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024755584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT schoninguwe mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden AT kestlerhansa mathetoolboxmathematischenotationengrundbegriffeundbeweismethoden |
Inhaltsverzeichnis
Schweinfurt Zentralbibliothek Lesesaal
Signatur: |
2000 SK 130 S365(2) |
---|---|
Exemplar 1 | ausleihbar Verfügbar Bestellen |