Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine Einführung
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Wiesbaden
Teubner
2006
|
| Edition: | 3., überarb. und erw. Aufl. |
| Series: | Leitfäden der Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 333 S. graph. Darst. |
| ISBN: | 9783835100497 3835100491 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021642240 | ||
| 003 | DE-604 | ||
| 005 | 20070316 | ||
| 007 | t| | ||
| 008 | 060704s2006 xx d||| |||| 00||| ger d | ||
| 020 | |a 9783835100497 |9 978-3-8351-0049-7 | ||
| 020 | |a 3835100491 |9 3-8351-0049-1 | ||
| 035 | |a (OCoLC)179983661 | ||
| 035 | |a (DE-599)BVBBV021642240 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-29T |a DE-1050 |a DE-20 |a DE-739 |a DE-703 |a DE-Aug4 |a DE-1051 |a DE-860 |a DE-522 |a DE-634 |a DE-83 |a DE-11 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 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 3., überarb. und erw. Aufl. | ||
| 264 | 1 | |a Wiesbaden |b Teubner |c 2006 | |
| 300 | |a 333 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden der Informatik | |
| 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 Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014857006&sequence=000002&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-014857006 | |
Record in the Search Index
| _version_ | 1829092460456837120 |
|---|---|
| adam_text |
Inhaltsverzeichnis
Einleitung 11
I
1 Aussagen 19
1.1 Definition und Beispiele. 19
1.2 Verknüpfungen von Aussagen. 21
1.3 Tautologie und Kontradiktion. 27
1.4 Aussageformen. 31
1.5 Aussagen mit
2 Mengen und Mengenoperationen 36
2.1 Mengen. 36
2.2 Gleichheit von Mengen. 39
2.3 Komplementäre 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 für Mengenoperationen. 55
3 Mathematisches Beweisen 58
4 Relationen 63
4.1 Definition und erste Beispiele. 63
4.2 Operationen auf Relationen. 67
4.3 Wichtige Eigenschaften von Relationen. 71
4.4 Äquivalenzrelationen und Klasseneinteilung. 74
4.5 Rechnen mit Äquivalenzrelationen . 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 Kardinalität von Mengen . 103
Quellen und weiterführende Literatur. 108
II
6 Grandlegende Beweisstrategien 111
6.1 Direkter Beweis. 112
6.2 Beweis durch Kontraposition. 114
6.3 Widerspruchs-Beweis. 115
6.4 Äquivalenzbeweis. 116
6.5 Beweis atomarer Aussagen. 117
6.6 Beweis durch Fallunterscheidung. 119
6.7 Beweis von Aussagen mit
6.8 Kombinatorischer Beweis. 124
7 Vollständige Induktion 128
7.1 Idee der vollständigen Induktion . 129
7.2 Beispiele für Induktionsbeweise. 130
7.3 Struktur von Induktionsbeweisen. 133
7.4 Verallgemeinerte vollständige Induktion. 135
7.5 Induktive Definitionen. 136
8 Zählen 147
8.1 Grundlegende Zählprinzipien . 147
8.2 Permutationen und Binomialkoeffizienten. 152
8.3 Rechnen mit Binomialkoeffizienten. 157
9 Diskrete Stochastik 166
9.1 Zufallsexperimente und Wahrscheinlichkeiten . 166
9.2 Bedingte Wahrscheinlichkeit. 174
9.3 Zufallsvariablen. 176
9.4 Binomial-Verteilung und geometrische Verteilung. 182
Quellen und weiterführende Literatur . 187
III
10 Boolesche Algebra 191
10.1 Schaltfunktionen und Ausdrücke. 191
10.2 Definition der Booleschen Algebra. 197
10.3 Beispiele Boolescher Algebren. 200
10.4 Eigenschaften Boolescher Algebren. 206
10.5 Halbordnungen in einer Boole'schen Algebra. 210
10.6 Atome. 213
10.7 Normalformen für Boole'sche Ausdrücke. 216
10.8 Minimierung Boolescher Ausdrücke . 219
10.9 Der Isomorphie-Satz. 221
10.10 Schaltkreis-Algebra. 225
11 Graphen und Bäume 233
11.1 Grundbegriffe. 234
11.2 Wege und Kreise in Graphen. 241
11.3 Graphen und Matrizen. 247
11.4 Isomorphismen auf Graphen. 254
11.5 Bäume. 258
12 Aussagenlogik 264
12.1 Boole'sehe Algebra und Aussagenlogik. 264
12.2 Normalformen. 269
12.3 Erffllbarkeitsäquivalente Formeln. 271
12.4 Unerfüllbare Klauselmengen. 276
12.5 Erfüllbarkeit von Homklauseln. 280
12.6 Resolution.*--.'. 283
12.7 Klauselmengen in 2KNF. 291
13
13.1 Die Teilbarkeitsrelation. 296
13.2
13.3
13.4 Der größte gemeinsame Teiler und der Algorithmus von Euklid 308
13.5 Der kleine Satz von
13.6 Verschlüsselung mit dem kleinen Satz von
13.7 Das
Queüen und weiterführende Literatur. 324
Index 327 |
| adam_txt |
Inhaltsverzeichnis
Einleitung 11
I
1 Aussagen 19
1.1 Definition und Beispiele. 19
1.2 Verknüpfungen von Aussagen. 21
1.3 Tautologie und Kontradiktion. 27
1.4 Aussageformen. 31
1.5 Aussagen mit
2 Mengen und Mengenoperationen 36
2.1 Mengen. 36
2.2 Gleichheit von Mengen. 39
2.3 Komplementäre 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 für Mengenoperationen. 55
3 Mathematisches Beweisen 58
4 Relationen 63
4.1 Definition und erste Beispiele. 63
4.2 Operationen auf Relationen. 67
4.3 Wichtige Eigenschaften von Relationen. 71
4.4 Äquivalenzrelationen und Klasseneinteilung. 74
4.5 Rechnen mit Äquivalenzrelationen . 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 Kardinalität von Mengen . 103
Quellen und weiterführende Literatur. 108
II
6 Grandlegende Beweisstrategien 111
6.1 Direkter Beweis. 112
6.2 Beweis durch Kontraposition. 114
6.3 Widerspruchs-Beweis. 115
6.4 Äquivalenzbeweis. 116
6.5 Beweis atomarer Aussagen. 117
6.6 Beweis durch Fallunterscheidung. 119
6.7 Beweis von Aussagen mit
6.8 Kombinatorischer Beweis. 124
7 Vollständige Induktion 128
7.1 Idee der vollständigen Induktion . 129
7.2 Beispiele für Induktionsbeweise. 130
7.3 Struktur von Induktionsbeweisen. 133
7.4 Verallgemeinerte vollständige Induktion. 135
7.5 Induktive Definitionen. 136
8 Zählen 147
8.1 Grundlegende Zählprinzipien . 147
8.2 Permutationen und Binomialkoeffizienten. 152
8.3 Rechnen mit Binomialkoeffizienten. 157
9 Diskrete Stochastik 166
9.1 Zufallsexperimente und Wahrscheinlichkeiten . 166
9.2 Bedingte Wahrscheinlichkeit. 174
9.3 Zufallsvariablen. 176
9.4 Binomial-Verteilung und geometrische Verteilung. 182
Quellen und weiterführende Literatur . 187
III
10 Boolesche Algebra 191
10.1 Schaltfunktionen und Ausdrücke. 191
10.2 Definition der Booleschen Algebra. 197
10.3 Beispiele Boolescher Algebren. 200
10.4 Eigenschaften Boolescher Algebren. 206
10.5 Halbordnungen in einer Boole'schen Algebra. 210
10.6 Atome. 213
10.7 Normalformen für Boole'sche Ausdrücke. 216
10.8 Minimierung Boolescher Ausdrücke . 219
10.9 Der Isomorphie-Satz. 221
10.10 Schaltkreis-Algebra. 225
11 Graphen und Bäume 233
11.1 Grundbegriffe. 234
11.2 Wege und Kreise in Graphen. 241
11.3 Graphen und Matrizen. 247
11.4 Isomorphismen auf Graphen. 254
11.5 Bäume. 258
12 Aussagenlogik 264
12.1 Boole'sehe Algebra und Aussagenlogik. 264
12.2 Normalformen. 269
12.3 Erffllbarkeitsäquivalente Formeln. 271
12.4 Unerfüllbare Klauselmengen. 276
12.5 Erfüllbarkeit von Homklauseln. 280
12.6 Resolution.*--.'. 283
12.7 Klauselmengen in 2KNF. 291
13
13.1 Die Teilbarkeitsrelation. 296
13.2
13.3
13.4 Der größte gemeinsame Teiler und der Algorithmus von Euklid 308
13.5 Der kleine Satz von
13.6 Verschlüsselung mit dem kleinen Satz von
13.7 Das
Queüen und weiterführende Literatur. 324
Index 327 |
| any_adam_object | 1 |
| any_adam_object_boolean | 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 | BV021642240 |
| classification_rvk | ST 120 |
| ctrlnum | (OCoLC)179983661 (DE-599)BVBBV021642240 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 3., überarb. und 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">BV021642240</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070316</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060704s2006 xx d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783835100497</subfield><subfield code="9">978-3-8351-0049-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3835100491</subfield><subfield code="9">3-8351-0049-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179983661</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021642240</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-29T</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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="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">3., überarb. und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Teubner</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">333 S.</subfield><subfield code="b">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="490" ind1="0" ind2=" "><subfield code="a">Leitfäden der Informatik</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">Digitalisierung UB Passau</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=014857006&sequence=000002&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-014857006</subfield></datafield></record></collection> |
| id | DE-604.BV021642240 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:00:21Z |
| indexdate | 2025-04-11T08:01:40Z |
| institution | BVB |
| isbn | 9783835100497 3835100491 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014857006 |
| oclc_num | 179983661 |
| open_access_boolean | |
| owner | DE-29T DE-1050 DE-20 DE-739 DE-703 DE-Aug4 DE-1051 DE-860 DE-522 DE-634 DE-83 DE-11 |
| owner_facet | DE-29T DE-1050 DE-20 DE-739 DE-703 DE-Aug4 DE-1051 DE-860 DE-522 DE-634 DE-83 DE-11 |
| physical | 333 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | 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 3., überarb. und erw. Aufl. Wiesbaden Teubner 2006 333 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Leitfäden der Informatik 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 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014857006&sequence=000002&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 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_exact_search_txtP | 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 | 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 | 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=014857006&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung |