Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg + Teubner
2009
|
| Ausgabe: | 4., überarb. Aufl. |
| Schriftenreihe: | Leitfäden der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |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 Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-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 Graphentheorie |0 (DE-588)4113782-6 |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- |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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017054494 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| DE-473_call_number | 30/SK 110 WX 51798 |
|---|---|
| DE-473_location | 0 |
| DE-BY-863_location | 1340 |
| DE-BY-FWS_call_number | 1340/ST 120 M514(4)st |
| DE-BY-FWS_katkey | 345331 |
| DE-BY-FWS_media_number | 083101087595 |
| DE-BY-UBG_katkey | 2612042 |
| DE-BY-UBG_media_number | 013107115452 |
| _version_ | 1811359499179524096 |
| 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- |
| author_GND | (DE-588)120963205 (DE-588)121930300 |
| author_facet | Meinel, Christoph 1954- Mundhenk, Martin 1961- |
| 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>02852nam a2200721 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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">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">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">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">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">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</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-</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017054494</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></record></collection> |
| id | DE-604.BV035248820 |
| illustrated | Illustrated |
| index_date | 2024-09-19T15:27:00Z |
| indexdate | 2024-09-27T16:20:28Z |
| 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 |
| spellingShingle | Meinel, Christoph 1954- Mundhenk, Martin 1961- Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Mengenlehre (DE-588)4074715-3 gnd Beweis (DE-588)4132532-1 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd Boolesche Algebra (DE-588)4146280-4 gnd Graphentheorie (DE-588)4113782-6 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4132532-1 (DE-588)4037951-6 (DE-588)4037944-9 (DE-588)4026894-9 (DE-588)4146280-4 (DE-588)4113782-6 |
| 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 Mengenlehre (DE-588)4074715-3 gnd Beweis (DE-588)4132532-1 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd Boolesche Algebra (DE-588)4146280-4 gnd Graphentheorie (DE-588)4113782-6 gnd |
| topic_facet | Beweis Boolesche Algebra Graphentheorie Mathematische Logik Mengenlehre Mathematik Informatik |
| 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 |