Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine Einführung
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Vieweg
2015
|
| Ausgabe: | 6. Aufl. |
| Schriftenreihe: | Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 321 S. graph. Darst. 240 mm x 170 mm |
| ISBN: | 9783658098858 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042952500 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 151028s2015 gw d||| |||| 00||| ger d | ||
| 020 | |a 9783658098858 |c Pb. : ca. EUR 29.90 |9 978-3-658-09885-8 | ||
| 035 | |a (OCoLC)927942725 | ||
| 035 | |a (DE-599)BVBBV042952500 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-1050 |a DE-355 |a DE-634 |a DE-523 |a DE-188 |a DE-1046 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-473 | ||
| 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 6. Aufl. | ||
| 264 | 1 | |a Wiesbaden |b Springer Vieweg |c 2015 | |
| 300 | |a XVII, 321 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 Lehrbuch | |
| 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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-658-09886-5 |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028378581&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-028378581 | |
Datensatz im Suchindex
| _version_ | 1809403337412444160 |
|---|---|
| adam_text |
Titel: Mathematische Grundlagen der Informatik
Autor: Meinel, Christoph
Jahr: 2015
Inhaltsverzeichnis
1 Einleitung 1
Teil I Grundlagen
2 Aussagen 7
2.1 Definition und Beispiele 7
2.2 Verknüpfungen von Aussagen 9
2.3 Tautologie und Kontradiktion 14
2.4 Aussageformen 18
2.5 Aussagen mit Quantoren 19
3 Mengen und Mengenoperationen 23
3.1 Mengen 23
3.2 Gleichheit von Mengen 26
3.3 Komplementäre Mengen 28
3.4 Die leere Menge 29
3.5 Teilmenge und Obermenge 30
3.6 Potenzmenge und Mengenfamilien 32
3.7 Vereinigung, Durchschnitt und Differenz von Mengen 34
3.8 Produkt von Mengen 39
3.9 Weitere Rechenregeln für Mengenoperationen 42
4 Mathematisches Beweisen 45
5 Relationen 51
5.1 Definition und erste Beispiele 51
5.2 Operationen auf Relationen 56
5.3 Wichtige Eigenschaften von Relationen 59
5.4 Äquivalenzrelationen und Klasseneinteilung 62
5.5 Rechnen mit Äquivalenzrelationen 68
5.6 Halbordnungsrelationen 72
XV
Inhaltsverzeichnis
XVI .
6 Abbildungen und Funktionen 77
6.1 Definition und erste Beispiele 77
6.2 Surjektive, injektive und bijektive Abbildungen 82
6.3 Folgen und Mengenfamilien 88
6.4 Kardinalität von Mengen 91
6.5 Quellen und weiterführende Literatur 96
Teil II Techniken
99
7 Grundlegende Beweisstrategien
7 1 Direkter Beweis
102
7 2 Beweis durch Kontraposition
103
7.3 Widerspruchs-Beweis
7.4 Äquivalenzbeweis ^
7.5 Beweis atomarer Aussagen
107
7.6 Beweis durch Fallunterscheidung
7.7 Beweis von Aussagen mit Quantoren ^
7.8 Kombinatorischer Beweis
8 Vollständige Induktion ^
8.1 Idee der vollständigen Induktion
8.2 Beispiele für Induktionsbeweise ^
120
8.3 Struktur von Induktionsbeweisen
122
8.4 Verallgemeinerte vollständige Induktion
8.5 Induktive Definitionen
9 Zählen 133
133
9.1 Grundlegende Zählprinzipien
9.2 Permutationen und Binomialkoeffizienten
144
9.3 Rechnen mit Binomialkoeffizienten
153
10 Diskrete Stochastik
153
10.1 Zufallsexperimente und Wahrscheinlichkeiten
10.2 Bedingte Wahrscheinlichkeit ^
10.3 Zufallsvariablen ^
171
10.4 Binomial-Verteilung und geometrische Verteilung ^
10.5 Quellen und weiterführende Literatur
Inhaltsverzeichnis
XVII
Teil III Strukturen
11 Boole'sche Algebra 181
11.1 Schaltfunktionen und Ausdrücke 182
11.2 Definition der Boole'schen Algebra 188
11.3 Beispiele Boole'scher Algebren 190
11.4 Eigenschaften Boole'scher Algebren 196
11.5 Halbordnungen in einer Boole'schen Algebra 200
11.6 Atome 203
11.7 Normalformen für Boole'sche Ausdrücke 206
11.8 Minimierung Boole'scher Ausdrücke 209
11.9 Der Isomorphie-Satz 211
11.10 Schaltkreis-Algebra 216
12 Graphen und Bäume 223
12.1 Grundbegriffe 224
12.2 Wege und Kreise in Graphen 231
12.3 Graphen und Matrizen 236
12.4 Isomorphismen auf Graphen 244
12.5 Bäume 247
13 Aussagenlogik 253
13.1 Boole'sche Algebra und Aussagenlogik 253
13.2 Normalformen 259
13.3 Erfüllbarkeitsäquivalente Formeln 261
13.4 Unerfüllbare Klauselmengen 265
13.5 Erfüllbarkeit von Hornklauseln 269
13.6 Resolution 272
13.7 Klauselmengen in 2KNF 280
14 Modulare Arithmetik 283
14.1 Die Teilbarkeitsrelation 284
14.2 Modulare Addition und Multiplikation 288
14.3 Modulares Rechnen 292
14.4 Größter gemeinsamer Teiler und der Algorithmus von Euklid 296
14.5 Der kleine Satz von Fermat 301
14.6 Verschlüsselung mit dem kleinen Satz von Fermat 305
14.7 Das RSA-Verfahren 311
14.8 Quellen und weiterführende Literatur 313
Sachverzeichnis 315 |
| 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 | BV042952500 |
| classification_rvk | SK 110 ST 120 |
| ctrlnum | (OCoLC)927942725 (DE-599)BVBBV042952500 |
| 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 | 6. 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">BV042952500</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">151028s2015 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783658098858</subfield><subfield code="c">Pb. : ca. EUR 29.90</subfield><subfield code="9">978-3-658-09885-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)927942725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042952500</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-1050</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-473</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">6. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 321 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">Lehrbuch</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-658-09886-5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=028378581&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-028378581</subfield></datafield></record></collection> |
| id | DE-604.BV042952500 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:11:30Z |
| institution | BVB |
| isbn | 9783658098858 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028378581 |
| oclc_num | 927942725 |
| open_access_boolean | |
| owner | DE-1050 DE-355 DE-BY-UBR DE-634 DE-523 DE-188 DE-1046 DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-473 DE-BY-UBG |
| owner_facet | DE-1050 DE-355 DE-BY-UBR DE-634 DE-523 DE-188 DE-1046 DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-473 DE-BY-UBG |
| physical | XVII, 321 S. graph. Darst. 240 mm x 170 mm |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer Vieweg |
| record_format | marc |
| series2 | Lehrbuch |
| spelling | Meinel, Christoph 1954- Verfasser (DE-588)120963205 aut Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Christoph Meinel ; Martin Mundhenk 6. Aufl. Wiesbaden Springer Vieweg 2015 XVII, 321 S. graph. Darst. 240 mm x 170 mm txt rdacontent n rdamedia nc rdacarrier Lehrbuch 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 Erscheint auch als Online-Ausgabe 978-3-658-09886-5 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028378581&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 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=028378581&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung |