Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine Einführung
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart [u.a.]
Teubner
2002
|
| Ausgabe: | 2., durchges. Aufl. |
| Schriftenreihe: | Leitfäden der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 300 S. graph. Darst. |
| ISBN: | 3519129493 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014818935 | ||
| 003 | DE-604 | ||
| 005 | 20120724 | ||
| 007 | t | ||
| 008 | 021015s2002 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 965289125 |2 DE-101 | |
| 020 | |a 3519129493 |9 3-519-12949-3 | ||
| 035 | |a (OCoLC)76404930 | ||
| 035 | |a (DE-599)BVBBV014818935 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-858 |a DE-29T |a DE-861 |a DE-739 |a DE-860 |a DE-473 |a DE-634 |a DE-703 |a DE-83 |a DE-11 |a DE-188 |a DE-2070s | ||
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 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 2., durchges. Aufl. | ||
| 264 | 1 | |a Stuttgart [u.a.] |b Teubner |c 2002 | |
| 300 | |a 300 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 HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010027291&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-010027291 | |
Datensatz im Suchindex
| _version_ | 1809403337366306816 |
|---|---|
| adam_text |
LEITFAEDEN DER INFORMATIK CHRISTOPH MEINEL, MARTIN MUNDHENK MATHEMATISCHE
GRUNDLAGEN DER INFORMATIK INHALT 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 55 3 MATHEMATISCHES BEWEISEN 58 8 INHALT' 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 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 DURCH FALLUNTERSCHEIDUNG 117 6.6 BEWEIS
ATOMARER AUSSAGEN 119 6.7 BEWEIS VON AUSSAGEN MIT QUANTOREN 120 6.8
KOMBINATORISCHER BEWEIS 123 7 VOLLSTAENDIGE INDUKTION 127 7.1 IDEE DER
VOLLSTAENDIGEN INDUKTION 128 7.2 BEISPIELE FUER INDUKTIONSBEWEISE 129 7.3
STRUKTUR VON INDUKTIONSBEWEISEN 132 7.4 VERALLGEMEINERTE VOLLSTAENDIGE
INDUKTION 134 7.5 INDUKTIVE DEFINITIONEN 135 INHALT 9 8 ZAEHLEN 143 8.1
GRUNDLEGENDE ZAEHLPRINZIPIEN 143 8.2 KOMBINATIONEN, PERMUTATIONEN UND
BINOMIALKOEFFIZIENTEN 149 8.3 RECHNEN MIT BINOMIALKOEFFIZIENTEN 154 9
DISKRETE STOCHASTIK 164 9.1 ZUFALLSEXPERIMENTE UND WAHRSCHEINLICHKEITEN
164 9.2 BEDINGTE WAHRSCHEINLICHKEIT 172 9.3 ZUFALLSVARIABLEN 174 9.4
BINOMIAL-VERTEILUNG UND GEOMETRISCHE VERTEILUNG 180 QUELLEN UND
WEITERFUEHRENDE LITERATUR 184 III STRUKTUREN 187 10 BOOLESCHE ALGEBRA 189
10.1 SCHALTFUNKTIONEN UND AUSDRUECKE 189 10.2 DEFINITION DER BOOLE'SCHEN
ALGEBRA 195 10.3 BEISPIELE BOOLESCHER ALGEBREN 198 10.4 EIGENSCHAFTEN
BOOLE'SCHER ALGEBREN 204 10.5 HALBORDNUNGEN IN EINER BOOLE'SCHEN ALGEBRA
208 10.6 ATOME 211 10.7 NORMALFORMEN FUER BOOLE'SCHE AUSDRUECKE 214 10.8
MINIMIERUNG BOOLE'SCHER AUSDRUECKE 217 10.9 DER ISOMORPHIE-SATZ 219 10.10
SCHALTKREIS-ALGEBRA 223 11 GRAPHEN UND BAEUME 231 11.1 GRUNDBEGRIFFE 232
11.2 WEGE UND KREISE IN GRAPHEN 239 11.3 GRAPHEN UND MATRIZEN 245 11.4
ISOMORPHISMEN AUF GRAPHEN 252 11.5 BAEUME 255 10 INHALT' 12 AUSSAGENLOGIK
262 12.1 BOOLE'SCHE ALGEBRA UND AUSSAGENLOGIK 262 12.2 NORMALFORMEN 267
12.3 ERFUELLBARKEITSAEQUIVALENTE FORMELN 269 12.4 UNERFUELLBARE
KLAUSELMENGEN 274 12.5 ERFUELLBARKEIT VON HORNKLAUSELN 278 12.6
RESOLUTION 281 12.7 KLAUSELMENGEN IN 2KNF 289 QUELLEN UND WEITERFUEHRENDE
LITERATUR 292 INDEX 294 |
| 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 | BV014818935 |
| classification_rvk | SK 110 ST 120 |
| ctrlnum | (OCoLC)76404930 (DE-599)BVBBV014818935 |
| discipline | Informatik Mathematik |
| edition | 2., durchges. 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">BV014818935</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120724</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">021015s2002 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965289125</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519129493</subfield><subfield code="9">3-519-12949-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76404930</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014818935</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-858</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-2070s</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="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">2., durchges. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart [u.a.]</subfield><subfield code="b">Teubner</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">300 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">HEBIS Datenaustausch Darmstadt</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=010027291&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-010027291</subfield></datafield></record></collection> |
| id | DE-604.BV014818935 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:11:30Z |
| institution | BVB |
| isbn | 3519129493 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010027291 |
| oclc_num | 76404930 |
| open_access_boolean | |
| owner | DE-858 DE-29T DE-861 DE-739 DE-860 DE-473 DE-BY-UBG DE-634 DE-703 DE-83 DE-11 DE-188 DE-2070s |
| owner_facet | DE-858 DE-29T DE-861 DE-739 DE-860 DE-473 DE-BY-UBG DE-634 DE-703 DE-83 DE-11 DE-188 DE-2070s |
| physical | 300 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| 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 2., durchges. Aufl. Stuttgart [u.a.] Teubner 2002 300 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 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010027291&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 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 | 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=010027291&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung |