Availability: Mathematische Grundlagen der Informatik

Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine Einführung

Saved in:

Bibliographic Details
Main Authors:	Meinel, Christoph 1954- (Author), Mundhenk, Martin 1961-2024 (Author)
Format:	Book
Language:	German
Published:	Wiesbaden Vieweg + Teubner 2009
Edition:	4., überarb. Aufl.
Series:	Leitfäden der Informatik
Subjects:	Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Informatik Mathematik
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017054494&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	335 S. graph. Darst. 240 mm x 170 mm
ISBN:	9783834806666

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV035248820
003	DE-604
005	20230126
007	t\|
008	090115s2009 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 08,N49,0032 \|2 dnb
016	7		\|a 99133437X \|2 DE-101
020			\|a 9783834806666 \|c Pb. : ca. EUR 29.90 \|9 978-3-8348-0666-6
024	3		\|a 9783834806666
035			\|a (OCoLC)299152854
035			\|a (DE-599)DNB99133437X
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-HE
049			\|a DE-521 \|a DE-859 \|a DE-19 \|a DE-703 \|a DE-473 \|a DE-1050 \|a DE-863 \|a DE-634 \|a DE-Aug4 \|a DE-824 \|a DE-92 \|a DE-1102 \|a DE-573 \|a DE-83 \|a DE-11
082	0		\|a 510.24004 \|2 22/ger
084			\|a SK 110 \|0 (DE-625)143215: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a 510 \|2 sdnb
100	1		\|a Meinel, Christoph \|d 1954- \|e Verfasser \|0 (DE-588)120963205 \|4 aut
245	1	0	\|a Mathematische Grundlagen der Informatik \|b mathematisches Denken und Beweisen ; eine Einführung \|c Christoph Meinel ; Martin Mundhenk
250			\|a 4., überarb. Aufl.
264		1	\|a Wiesbaden \|b Vieweg + Teubner \|c 2009
300			\|a 335 S. \|b graph. Darst. \|c 240 mm x 170 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Leitfäden der Informatik
650		4	\|a Beweis
650		4	\|a Boolesche Algebra
650		4	\|a Graphentheorie
650		4	\|a Mathematische Logik
650		4	\|a Mengenlehre
650	0	7	\|a Graphentheorie \|0 (DE-588)4113782-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-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 Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	3		\|5 DE-604
689	4	0	\|a Graphentheorie \|0 (DE-588)4113782-6 \|D s
689	4		\|5 DE-604
689	5	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	5	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	5		\|8 1\p \|5 DE-604
700	1		\|a Mundhenk, Martin \|d 1961-2024 \|e Verfasser \|0 (DE-588)121930300 \|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=017054494&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017054494

Record in the Search Index

_version_	1829092459585470465
adam_text	INHALTSVERZEICHNIS EINLEITUNG 11 I GRUNDLAGEN 17 1 AUSSAGEN 19 1.1 DEFINITION UND BEISPIELE 19 1.2 VERKNUEPFUNGEN VON AUSSAGEN 21 1.3 TAUTOLOGIE UND KONTRADIKTION 27 1.4 AUSSAGEFORMEN 31 1.5 AUSSAGEN MIT QUANTOREN 32 2 MENGEN UND MENGENOPERATIONEN 36 2.1 MENGEN 36 2.2 GLEICHHEIT VON MENGEN 39 2.3 KOMPLEMENTAERE MENGEN 41 2.4 DIE LEERE MENGE 42 2.5 TEILMENGE UND OBERMENGE 43 2.6 POTENZMENGE UND MENGENFAMILIEN 45 2.7 VEREINIGUNG, DURCHSCHNITT UND DIFFERENZ VON MENGEN 47 2.8 PRODUKT VON MENGEN 52 2.9 WEITERE RECHENREGELN FUER MENGENOPERATIONEN 56 3 MATHEMATISCHES BEWEISEN 58 4 RELATIONEN 63 4.1 DEFINITION UND ERSTE BEISPIELE 63 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/99133437X DIGITALISIERT DURCH 7.5 INDUKTIVE DEFINITIONEN 136 G INHALTSVERZEICHNIS 4.2 OPERATIONEN AUF RELATIONEN 67 4.3 WICHTIGE EIGENSCHAFTEN VON RELATIONEN 71 4.4 AEQUIVALENZRELATIONEN UND KLASSENEINTEILUNG 74 4.5 RECHNEN MIT AEQUIVALENZRELATIONEN 80 4.6 HALBORDNUNGSRELATIONEN 83 5 ABBILDUNGEN UND FUNKTIONEN 89 5.1 DEFINITION UND ERSTE BEISPIELE 89 5.2 SURJEKTIVE, INJEKTIVE UND BIJEKTIVE ABBILDUNGEN 94 5.3 FOLGEN UND MENGENFAMILIEN 100 5.4 KARDINALITAET VON MENGEN 103 QUELLEN UND WEITERFUEHRENDE LITERATUR 108 II TECHNIKEN 109 6 GRUNDLEGENDE BEWEISSTRATEGIEN 111 6.1 DIREKTER BEWEIS 112 6.2 BEWEIS DURCH KONTRAPOSITION 114 6.3 WIDERSPRUCHS-BEWEIS 115 6.4 AEQUIVALENZBEWEIS 116 6.5 BEWEIS ATOMARER AUSSAGEN 117 6.6 BEWEIS DURCH FALLUNTERSCHEIDUNG 119 6.7 BEWEIS VON AUSSAGEN MIT QUANTOREN 121 6.8 KOMBINATORISCHER BEWEIS 124 7 VOLLSTAENDIGE INDUKTION 128 7.1 IDEE DER VOLLSTAENDIGEN INDUKTION 129 7.2 BEISPIELE FUER INDUKTIONSBEWEISE 130 7.3 STRUKTUR VON INDUKTIONSBEWEISEN 133 7.4 VERALLGEMEINERTE VOLLSTAENDIGE INDUKTION 135 11.5 BAEUME 260 INHALTSVERZEICHNIS 9 8 ZAEHLEN 147 8.1 GRUNDLEGENDE ZAEHLPRINZIPIEN 147 8.2 PERMUTATIONEN UND BINOMIALKOEFNZIENTEN 152 8.3 RECHNEN MIT BINOMIALKOEFFIZIENTEN 157 9 DISKRETE STOCHASTIK 167 9.1 ZUFALLSEXPERIMENTE UND WAHRSCHEINLICHKEITEN 167 9.2 BEDINGTE WAHRSCHEINLICHKEIT 175 9.3 ZUFALLSVARIABLEN 177 9.4 BINOMIAL-VERTEILUNG UND GEOMETRISCHE VERTEILUNG 183 QUELLEN UND WEITERFUEHRENDE LITERATUR 188 III STRUKTUREN 191 10 BOOLESCHE ALGEBRA 193 10.1 SCHALTFUNKTIONEN UND AUSDRUECKE 193 10.2 DEFINITION DER BOOLE'SCHEN ALGEBRA 199 10.3 BEISPIELE BOOLESCHER ALGEBREN 202 10.4 EIGENSCHAFTEN BOOLESCHER ALGEBREN 208 10.5 HALBORDNUNGEN IN EINER BOOLE'SCHEN ALGEBRA 212 10.6 ATOME 215 10.7 NORMALFORMEN FUER BOOLE'SCHE AUSDRUECKE 218 10.8 MINIMIERUNG BOOLESCHER AUSDRUECKE 221 10.9 DER ISOMORPHIE-SATZ 223 10.10 SCHALTKREIS-ALGEBRA 227 11 GRAPHEN UND BAEUME 235 11.1 GRUNDBEGRIFFE 236 11.2 WEGE UND KREISE IN GRAPHEN 243 11.3 GRAPHEN UND MATRIZEN 249 11.4 ISOMORPHISMEN AUF GRAPHEN 256 INDEX 329 10 INHALTSVERZEICHNIS 12 AUSSAGENLOGIK 266 12.1 BOOLE'SCHE ALGEBRA UND AUSSAGENLOGIK 266 12.2 NORMALFORMEN 271 12.3 ERFUELLBARKEITSAEQUIVALENTE FORMELN 273 12.4 UNERFUELLBARE KLAUSELMENGEN 278 12.5 ERFUELLBARKEIT VON HORNKLAUSELN 282 12.6 RESOLUTION 285 12.7 KLAUSELMENGEN IN 2KNF 293 13 MODULARE ARITHMETIK 297 13.1 DIE TEILBARKEITSRELATION 298 13.2 MODULARE ADDITION UND MULTIPLIKATION 302 13.3 MODULARES RECHNEN 306 13.4 DER GROESSTE GEMEINSAME TEILER UND DER ALGORITHMUS VON EUKLID 310 13.5 DER KLEINE SATZ VON FERMAT 314 13.6 VERSCHLUESSELUNG MIT DEM KLEINEN SATZ VON FERMAT 318 13.7 DAS RSA-VERFAHREN 324 QUELLEN UND WEITERFUEHRENDE LITERATUR 326
any_adam_object	1
author	Meinel, Christoph 1954- Mundhenk, Martin 1961-2024
author_GND	(DE-588)120963205 (DE-588)121930300
author_facet	Meinel, Christoph 1954- Mundhenk, Martin 1961-2024
author_role	aut aut
author_sort	Meinel, Christoph 1954-
author_variant	c m cm m m mm
building	Verbundindex
bvnumber	BV035248820
classification_rvk	SK 110 ST 120
ctrlnum	(OCoLC)299152854 (DE-599)DNB99133437X
dewey-full	510.24004
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	510 - Mathematics
dewey-raw	510.24004
dewey-search	510.24004
dewey-sort	3510.24004
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
edition	4., überarb. 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">BV035248820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230126</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">090115s2009 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N49,0032</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99133437X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834806666</subfield><subfield code="c">Pb. : ca. EUR 29.90</subfield><subfield code="9">978-3-8348-0666-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783834806666</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299152854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99133437X</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-521</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.24004</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">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">Meinel, Christoph</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120963205</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematische Grundlagen der Informatik</subfield><subfield code="b">mathematisches Denken und Beweisen ; eine Einführung</subfield><subfield code="c">Christoph Meinel ; Martin Mundhenk</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg + Teubner</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">335 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">240 mm x 170 mm</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">Leitfäden der Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Beweis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Boolesche Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graphentheorie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mengenlehre</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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">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">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mundhenk, Martin</subfield><subfield code="d">1961-2024</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121930300</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=017054494&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017054494</subfield></datafield></record></collection>
id	DE-604.BV035248820
illustrated	Illustrated
indexdate	2025-04-11T08:01:40Z
institution	BVB
isbn	9783834806666
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017054494
oclc_num	299152854
open_access_boolean
owner	DE-521 DE-859 DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG DE-1050 DE-863 DE-BY-FWS DE-634 DE-Aug4 DE-824 DE-92 DE-1102 DE-573 DE-83 DE-11
owner_facet	DE-521 DE-859 DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG DE-1050 DE-863 DE-BY-FWS DE-634 DE-Aug4 DE-824 DE-92 DE-1102 DE-573 DE-83 DE-11
physical	335 S. graph. Darst. 240 mm x 170 mm
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Vieweg + Teubner
record_format	marc
series2	Leitfäden der Informatik
spelling	Meinel, Christoph 1954- Verfasser (DE-588)120963205 aut Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Christoph Meinel ; Martin Mundhenk 4., überarb. Aufl. Wiesbaden Vieweg + Teubner 2009 335 S. graph. Darst. 240 mm x 170 mm txt rdacontent n rdamedia nc rdacarrier Leitfäden der Informatik Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Graphentheorie (DE-588)4113782-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Beweis (DE-588)4132532-1 s Mengenlehre (DE-588)4074715-3 s Boolesche Algebra (DE-588)4146280-4 s Graphentheorie (DE-588)4113782-6 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s 1\p DE-604 Mundhenk, Martin 1961-2024 Verfasser (DE-588)121930300 aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017054494&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Meinel, Christoph 1954- Mundhenk, Martin 1961-2024 Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Graphentheorie (DE-588)4113782-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Boolesche Algebra (DE-588)4146280-4 gnd Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4113782-6 (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)4132532-1 (DE-588)4037944-9 (DE-588)4146280-4 (DE-588)4074715-3
title	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
title_auth	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
title_exact_search	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
title_full	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Christoph Meinel ; Martin Mundhenk
title_fullStr	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Christoph Meinel ; Martin Mundhenk
title_full_unstemmed	Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Christoph Meinel ; Martin Mundhenk
title_short	Mathematische Grundlagen der Informatik
title_sort	mathematische grundlagen der informatik mathematisches denken und beweisen eine einfuhrung
title_sub	mathematisches Denken und Beweisen ; eine Einführung
topic	Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Graphentheorie (DE-588)4113782-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd Beweis (DE-588)4132532-1 gnd Mathematik (DE-588)4037944-9 gnd Boolesche Algebra (DE-588)4146280-4 gnd Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Informatik Mathematik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017054494&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung

Availability

‌

Order via interlibrary loan Table of Contents