Availability: Mathe-Toolbox | Technische Universität München

Mathe-Toolbox: mathematische Notationen, Grundbegriffe und Beweismethoden

Saved in:

Bibliographic Details
Main Authors:	Schöning, Uwe 1955- (Author), Kestler, Hans A. 1965- (Author)
Format:	Book
Language:	German
Published:	Berlin Lehmanns 2012
Edition:	2., erw. Aufl.
Subjects:	Mathematisches Zeichen Fachsprache Mathematik Beweis
Links:	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
Item Description:	Literaturangaben
Physical Description:	160 S. graph. Darst. 24 cm
ISBN:	9783865414564

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV039896643
003	DE-604
005	20241008
007	t\|
008	120217s2012 xx 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 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
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

Record in the Search Index

DE-BY-TUM_call_number	0102 MAT 023f 2012 A 4413(2)
DE-BY-TUM_katkey	1849409
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040071410321
_version_	1821933768805449728
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>02185nam a2200565 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 xx 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">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="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-12-20T16:04:48Z
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 Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd
subject_GND	(DE-588)4169108-8 (DE-588)4016216-3 (DE-588)4037944-9 (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	Mathematisches Zeichen (DE-588)4169108-8 gnd Fachsprache (DE-588)4016216-3 gnd Mathematik (DE-588)4037944-9 gnd Beweis (DE-588)4132532-1 gnd
topic_facet	Mathematisches Zeichen Fachsprache Mathematik Beweis
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

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 MAT 023f 2012 A 4413(2) Floor plan
Copy 1	Available for loan On Shelf