Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen - eine Einführung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Vieweg
[2024]
|
| Ausgabe: | 7. Auflage |
| Schriftenreihe: | Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXI, 317 Seiten Diagramme, Illustrationen |
| ISBN: | 9783658431358 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV049836093 | ||
| 003 | DE-604 | ||
| 005 | 20250109 | ||
| 007 | t| | ||
| 008 | 240827s2024 xx a||| |||| 00||| ger d | ||
| 020 | |a 9783658431358 |9 978-3-658-43135-8 | ||
| 035 | |a (OCoLC)1450520742 | ||
| 035 | |a (DE-599)BVBBV049836093 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-523 |a DE-739 |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a 68-01 |2 msc/2020 | ||
| 084 | |a 00A06 |2 msc/2020 | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Meinel, Christoph |d 1954- |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 7. Auflage | ||
| 264 | 1 | |a Wiesbaden |b Springer Vieweg |c [2024] | |
| 264 | 4 | |c © 2024 | |
| 300 | |a XXI, 317 Seiten |b Diagramme, Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lehrbuch | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Applications of Mathematics | |
| 650 | 4 | |a Mathematical Applications in Computer Science | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Mathematics | |
| 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 | |5 DE-604 | |
| 700 | 1 | |a Mundhenk, Martin |d 1961-2024 |0 (DE-588)121930300 |4 ctb | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-658-43136-5 |
| 856 | 4 | 2 | |m Digitalisierung Bibliothek HTW Berlin |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035176097&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035176097 | |
Datensatz im Suchindex
| _version_ | 1820776480269926400 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
TEIL
I GRUNDLAGEN
1
AUSSAGEN
3
1.1
DEFINITION
UND BEISPIELE 3
1.2
VERKNUEPFUNGEN
VON AUSSAGEN 5
1.3
TAUTOLOGIE
UND KONTRADIKTION
10
1.4
AUSSAGEFORMEN
14
1.5
AUSSAGEN
MIT QUANTOREN 16
2
MENGEN
UND
MENGENOPERATIONEN
19
2.1
MENGEN
19
2.2
GLEICHHEIT
VON MENGEN
22
2.3
KOMPLEMENTAERE
MENGEN 24
2.4
DIE
LEERE MENGE 25
2.5
TEILMENGE
UND OBERMENGE 26
2.6
POTENZMENGE
UND MENGENFAMILIEN 28
2.7
VEREINIGUNG,
DURCHSCHNITT UND DIFFERENZ VON MENGEN 30
2.8
PRODUKT
VON MENGEN 35
2.9
WEITERE
RECHENREGELN FUER MENGENOPERATIONEN 39
3
MATHEMATISCHES
BEWEISEN 41
4
RELATIONEN 47
4.1
DEFINITION
UND ERSTE BEISPIELE 47
4.2
OPERATIONEN
AUF
RELATIONEN 52
4.3
WICHTIGE
EIGENSCHAFTEN VON
RELATIONEN 55
4.4
AEQUIVALENZRELATIONEN
UND
KLASSENEINTEILUNG
58
4.5
RECHNEN
MIT AEQUIVALENZRELATIONEN 64
4.6
HALBORDNUNGSRELATIONEN
68
5
ABBILDUNGEN UND FUNKTIONEN 73
5.1
DEFINITION
UND ERSTE
BEISPIELE
73
5.2
SURJEKTIVE,
INJEKTIVE UND BIJEKTIVE ABBILDUNGEN
78
XIX
GRUNDBEGRIFFE
.
WEGE
UND
KREISE
GRAPHEN
UND
MAT
ISOMORPHISMEN
AT
BAEUME
12
AUSSAGENLOGIK
BOOLE'SCHE
ALGEB
NORMALFORMEN
ERFUELLBARKEITSAEQUI
UNERFUELLBARE
KLAI
ERFUELLBARKEIT
VON
RESOLUTION
KLAUSELMENGEN
IT
13
MODULARE
ARITHMETIK
13.1
DIE
TEILBARKEITSRT
13.2
MODULARE
ADDITIV
13.3
MODULARES
RECHN
13.4
GROESSTER
GEMEINSI
13.5
DER
KLEINE
SATZ
13.6
VERSCHLUESSELUNG
13.7
DAS
RSA
-VERFAHR
LITERATUR
SYMBOLVERZEICHNIS
12.1
12.2
12.3
12.4
12.5
12.6
12.7
INHALTSVERZEICHNIS
INHALTSVERZEICHNIS
XX
5.3
FOLGEN
UND
MENGENFAMILIEN
5.4
KARDINALITAET
VON
MENGEN
LITERATUR
TEIL
II
TECHNIKEN
84
10.7
NORMALFORMEN
FUEH
87
10.8
MINIMIERUNG
BOO
91
10.9
DER
ISOMORPHIE-S
10.10
SCHALTKREIS-ALGEB
11
GRAPHEN
UND
BAEUME
.
6
GRUNDLEGENDE
BEWEISSTRATEGIEN
95
6.1
DIREKTER
BEWEIS
96
6.2
BEWEIS
DURCH
KONTRAPOSITION
98
6.3
WIDERSPRUCHS-BEWEIS
99
6.4
AEQUIVALENZBEWEIS
100
6.5
BEWEIS
ATOMARER
AUSSAGEN
101
6.6
BEWEIS
DURCH
FALLUNTERSCHEIDUNG
103
6.7
BEWEIS
VON AUSSAGEN
MIT QUANTOREN
105
6.8
KOMBINATORISCHER
BEWEIS
109
7
VOLLSTAENDIGE
INDUKTION
113
7.1
IDEE
DER VOLLSTAENDIGEN
INDUKTION
114
7.2
BEISPIELE
FUER
INDUKTIONSBEWEISE
115
7.3
STRUKTUR
VON
INDUKTIONSBEWEISEN
118
7.4
VERALLGEMEINERTE
VOLLSTAENDIGE
INDUKTION
120
7.5
INDUKTIVE
DEFINITIONEN
121
8
ZAEHLEN
131
8.1
GRUNDLEGENDE
ZAEHLPRINZIPIEN
131
8.2
PERMUTATIONEN
UND
BINOMIALKOEFFIZIENTEN
136
8.3
RECHNEN
MIT
BINOMIALKOEFFIZIENTEN
141
9
DISKRETE
STOCHASTIK
151
9.1
ZUFALLSEXPERIMENTE
UND WAHRSCHEINLICHKEITEN
151
9.2
BEDINGTE
WAHRSCHEINLICHKEIT
160
9.3
ZUFALLSVARIABLEN
162
9.4
BINOMIAL
-VERTEILUNG UND
GEOMETRISCHE VERTEILUNG
169
LITERATUR
173
TEIL
III
STRUKTUREN
10
BOOLE'SCHE
ALGEBRA
177
10.1
SCHALTFUNKTIONEN
UND AUSDRUECKE
178
10.2
DEFINITION
DER BOOLE'SCHEN ALGEBRA
184
10.3
BEISPIELE
BOOLE'SCHER ALGEBREN
186
10.4
EIGENSCHAFTEN
BOOLE'SCHER
ALGEBREN
192
10.5
HALBORDNUNGEN
IN EINER
BOOLE'SCHEN ALGEBRA
196
10.6
ATOME
199
YY
ERZEICHNIS
84
87
91
95
96
98
99
.
100
.
101
.
103
YY
105
.
109
113
114
YY
115
.
118
YY
120
.
121
131
131
136
141
151
151
160
162
169
173
INHALTSVERZEICHNIS
XXI
10.7
NORMALFORMEN
FUER BOOLE'SCHE AUSDRUECKE
202
10.8
MINIMIERUNG
BOOLE'SCHER AUSDRUECKE
205
10.9
DER
ISOMORPHIE-SATZ
207
10.10
SCHALTKREIS-ALGEBRA
211
11 GRAPHEN
UND BAEUME
219
11.1
GRUNDBEGRIFFE
220
11.2
WEGE
UND KREISE IN GRAPHEN
227
11.3
GRAPHEN
UND MATRIZEN
233
11.4
ISOMORPHISMEN
AUF GRAPHEN
240
11.5
BAEUME
244
12
AUSSAGENLOGIK
251
12.1
BOOLE'SCHE
ALGEBRA
UND AUSSAGENLOGIK
251
12.2
NORMALFORMEN
257
12.3
ERFUELLBARKEITSAEQUIVALENTE
FORMELN
259
12.4
UNERFUELLBARE
KLAUSELMENGEN
264
12.5
ERFUELLBARKEIT
VON HORNKLAUSELN
268
12.6
RESOLUTION
270
12.7
KLAUSELMENGEN
IN 2KNF
278
13
MODULARE
ARITHMETIK
283
13.1
DIE
TEILBARKEITSRELATION
284
13.2
MODULARE
ADDITION UND MULTIPLIKATION
288
13.3
MODULARES
RECHNEN
292
13.4
GROESSTER
GEMEINSAMER TEILER UND DER ALGORITHMUS
VON EUKLID 297
13.5
DER
KLEINE SATZ VON FERMAT
301
13.6
VERSCHLUESSELUNG
MIT DEM KLEINEN SATZ VON FERMAT
305
13.7
DAS
RSA-VERFAHREN
311
LITERATUR
313
SYMBOLVERZEICHNIS
315
177
178
184
186
192
196
199 |
| any_adam_object | 1 |
| author | Meinel, Christoph 1954- |
| author2 | Mundhenk, Martin 1961-2024 |
| author2_role | ctb |
| author2_variant | m m mm |
| author_GND | (DE-588)120963205 (DE-588)121930300 |
| author_facet | Meinel, Christoph 1954- Mundhenk, Martin 1961-2024 |
| author_role | aut |
| author_sort | Meinel, Christoph 1954- |
| author_variant | c m cm |
| building | Verbundindex |
| bvnumber | BV049836093 |
| classification_rvk | SK 110 ST 120 |
| classification_tum | TEC 000 DAT 000 |
| ctrlnum | (OCoLC)1450520742 (DE-599)BVBBV049836093 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Informatik Mathematik |
| edition | 7. Auflage |
| 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">BV049836093</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">240827s2024 xx a||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783658431358</subfield><subfield code="9">978-3-658-43135-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1450520742</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049836093</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-523</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</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">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-01</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00A06</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meinel, Christoph</subfield><subfield code="d">1954-</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">7. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">[2024]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 317 Seiten</subfield><subfield code="b">Diagramme, Illustrationen</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">Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Applications of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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="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="0">(DE-588)121930300</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-658-43136-5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung Bibliothek HTW Berlin</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=035176097&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-035176097</subfield></datafield></record></collection> |
| id | DE-604.BV049836093 |
| illustrated | Illustrated |
| indexdate | 2025-01-09T13:02:45Z |
| institution | BVB |
| isbn | 9783658431358 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035176097 |
| oclc_num | 1450520742 |
| open_access_boolean | |
| owner | DE-523 DE-739 DE-83 |
| owner_facet | DE-523 DE-739 DE-83 |
| physical | XXI, 317 Seiten Diagramme, Illustrationen |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Springer Vieweg |
| record_format | marc |
| series2 | Lehrbuch |
| spelling | Meinel, Christoph 1954- (DE-588)120963205 aut Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen - eine Einführung Christoph Meinel, Martin Mundhenk 7. Auflage Wiesbaden Springer Vieweg [2024] © 2024 XXI, 317 Seiten Diagramme, Illustrationen txt rdacontent n rdamedia nc rdacarrier Lehrbuch Mathematics of Computing Applications of Mathematics Mathematical Applications in Computer Science Computer science / Mathematics Mathematics 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 Mundhenk, Martin 1961-2024 (DE-588)121930300 ctb Erscheint auch als Online-Ausgabe 978-3-658-43136-5 Digitalisierung Bibliothek HTW Berlin application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035176097&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Meinel, Christoph 1954- Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen - eine Einführung Mathematics of Computing Applications of Mathematics Mathematical Applications in Computer Science Computer science / Mathematics Mathematics 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 | Mathematics of Computing Applications of Mathematics Mathematical Applications in Computer Science Computer science / Mathematics Mathematics 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 | Mathematics of Computing Applications of Mathematics Mathematical Applications in Computer Science Computer science / Mathematics Mathematics Graphentheorie Mathematische Logik Informatik Beweis Mathematik Boolesche Algebra Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035176097&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung |