Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Vieweg
[2015]
|
| Ausgabe: | 6. Auflage |
| Schlagworte: | |
| Online-Zugang: | DE-522 DE-B768 DE-634 DE-526 DE-1043 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-859 DE-860 DE-1049 DE-861 DE-863 DE-862 DE-523 DE-2070s DE-91 DE-473 DE-19 DE-703 DE-20 DE-706 DE-29 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (XVII, 321 Seiten 56 Abb) |
| ISBN: | 9783658098865 |
| DOI: | 10.1007/978-3-658-09886-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043208876 | ||
| 003 | DE-604 | ||
| 005 | 20160418 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||ger d | ||
| 020 | |a 9783658098865 |c Online |9 978-3-658-09886-5 | ||
| 024 | 7 | |a 10.1007/978-3-658-09886-5 |2 doi | |
| 035 | |a (OCoLC)944054125 | ||
| 035 | |a (DE-599)BVBBV043208876 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-860 |a DE-19 |a DE-1028 |a DE-83 |a DE-858 |a DE-1046 |a DE-1043 |a DE-Aug4 |a DE-898 |a DE-1049 |a DE-473 |a DE-29 |a DE-20 |a DE-862 |a DE-92 |a DE-522 |a DE-578 |a DE-706 |a DE-91 |a DE-B768 |a DE-859 |a DE-523 |a DE-188 |a DE-863 |a DE-2070s |a DE-573 |a DE-M347 |a DE-703 |a DE-1102 |a DE-634 |a DE-526 |a DE-861 |a DE-1050 |a DE-1051 |a DE-11 | ||
| 082 | 0 | |a 004.0151 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 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. Auflage | ||
| 264 | 1 | |a Wiesbaden |b Springer Vieweg |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (XVII, 321 Seiten 56 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Applied mathematics | |
| 650 | 4 | |a Engineering mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Applications of Mathematics | |
| 650 | 4 | |a Math Applications in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 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 Druckausgabe |z 978-3-658-09885-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-658-09886-5 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632037&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632037&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-STI | ||
| 940 | 1 | |q ZDB-2-STI_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028632037 | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-522 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-B768 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-634 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-526 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1043 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1102 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1046 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-858 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1028 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-Aug4 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1050 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-573 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-M347 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-92 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1051 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-898 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-859 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-860 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-1049 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-861 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-863 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-862 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-523 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-2070s |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-91 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-473 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-19 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-703 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-20 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-706 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-658-09886-5 |l DE-29 |p ZDB-2-STI |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 589592 |
|---|---|
| _version_ | 1824556058848264194 |
| adam_text |
MATHEMATISCHE GRUNDLAGEN DER INFORMATIK
/ MEINEL, CHRISTOPH
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
AUSSAGEN
MENGEN UND MENGENOPERATIONEN
MATHEMATISCHES BEWEISEN
RELATIONEN
ABBILDUNGEN UND FUNKTIONEN
GRUNDLEGENDE BEWEISSTRATEGIEN
VOLLSTAENDIGE INDUKTION
ZAEHLEN
DISKRETE STOCHASTIK
BOOLE'SCHE ALGEBRA
GRAPHEN UND BAEUME
AUSSAGENLOGIK
MODULARE ARITHMETIK
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MATHEMATISCHE GRUNDLAGEN DER INFORMATIK
/ MEINEL, CHRISTOPH
: 2015
ABSTRACT / INHALTSTEXT
DIE MATHEMATISCHEN GRUNDLAGEN DER INFORMATIK WERDEN ANHAND VON
DEFINITIONEN UND BEISPIELEN ANSCHAULICH EINGEFUEHRT. ZIEL DES BUCHES IST
ES, SYSTEMATISCH DIE FUER DIE INFORMATIK TYPISCHEN UND GRUNDLEGENDEN
MATHEMATISCHEN DENKWEISEN VORZUSTELLEN – OHNE DABEI AUF BESONDERE, DIE
UEBLICHE SCHULMATHEMATIK UEBERSTEIGENDE VORKENNTNISSE AUFZUBAUEN. DER
INHALT: AUSSAGEN MENGEN UND MENGENOPERATIONEN MATHEMATISCHES BEWEISEN
RELATIONEN ABBILDUNGEN UND FUNKTIONEN GRUNDLEGENDE BEWEISSTRATEGIEN
VOLLSTAENDIGE INDUKTION ZAEHLEN DISKRETE STOCHASTIK BOOLE'SCHE ALGEBRA
GRAPHEN UND BAEUME AUSSAGENLOGIK MODULARE ARITHMETIK DIE ZIELGRUPPEN:
STUDIERENDE DER INFORMATIK IN HAUPT- UND NEBENFACH AB 1. SEMESTER AN
UNIVERSITAETEN, TECHNISCHEN HOCHSCHULEN UND FACHHOCHSCHULEN, SOWIE AN
DER INFORMATIK INTERESSIERTE AUS ANDEREN FAECHERN. DIE AUTOREN: PROF.
DR. CHRISTOPH MEINEL IST SEIT 2004 DIREKTOR DES HASSO-PLATTNER-INSTITUTS
FUER SOFTWARESYSTEMTECHNIK GMBH UND PROFESSOR FUER INTERNET-TECHNOLOGIEN
UND SYSTEME AN DER UNIVERSITAET POTSDAM. ER IST AUTOR, KOAUTOR UND
HERAUSGEBER VON ZAHLREICHEN BUECHERN, TAGUNGSBAENDEN UND ARTIKELN. PROF.
DR. MARTIN MUNDHENK IST SEIT 2001 PROFESSOR FUER INFORMATIK AN DER
FRIEDRICH-SCHILLER-UNIVERSITAET JENA. ER IST DORT IN FORSCHUNG UND LEHRE
FUER HAUPT- UND NEBENFACH INFORMATIK TAETIG
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| 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 | BV043208876 |
| classification_rvk | ST 120 SK 110 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI |
| ctrlnum | (OCoLC)944054125 (DE-599)BVBBV043208876 |
| 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 Technik Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-658-09886-5 |
| edition | 6. Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV043208876</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160418</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783658098865</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-658-09886-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-658-09886-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944054125</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043208876</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-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-578</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">SK 110</subfield><subfield code="0">(DE-625)143215:</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">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="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. Auflage</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="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XVII, 321 Seiten 56 Abb)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">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">Applied mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Math Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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">Druckausgabe</subfield><subfield code="z">978-3-658-09885-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632037&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632037&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632037</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-B768</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-526</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1102</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1028</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1051</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-2070s</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-09886-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043208876 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T07:17:32Z |
| institution | BVB |
| isbn | 9783658098865 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632037 |
| oclc_num | 944054125 |
| open_access_boolean | |
| owner | DE-860 DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-1049 DE-473 DE-BY-UBG DE-29 DE-20 DE-862 DE-BY-FWS DE-92 DE-522 DE-578 DE-706 DE-91 DE-BY-TUM DE-B768 DE-859 DE-523 DE-188 DE-863 DE-BY-FWS DE-2070s DE-573 DE-M347 DE-703 DE-1102 DE-634 DE-526 DE-861 DE-1050 DE-1051 DE-11 |
| owner_facet | DE-860 DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-1049 DE-473 DE-BY-UBG DE-29 DE-20 DE-862 DE-BY-FWS DE-92 DE-522 DE-578 DE-706 DE-91 DE-BY-TUM DE-B768 DE-859 DE-523 DE-188 DE-863 DE-BY-FWS DE-2070s DE-573 DE-M347 DE-703 DE-1102 DE-634 DE-526 DE-861 DE-1050 DE-1051 DE-11 |
| physical | 1 Online Ressource (XVII, 321 Seiten 56 Abb) |
| psigel | ZDB-2-STI ZDB-2-STI_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer Vieweg |
| record_format | marc |
| spellingShingle | Meinel, Christoph 1954- Mundhenk, Martin 1961-2024 Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen Eine Einführung Computer science Computer science / Mathematics Applied mathematics Engineering mathematics Computer Science Mathematics of Computing Applications of Mathematics Math Applications in Computer Science Informatik Mathematik 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 | Computer science Computer science / Mathematics Applied mathematics Engineering mathematics Computer Science Mathematics of Computing Applications of Mathematics Math Applications in Computer Science Informatik Mathematik 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 | Computer science Computer science / Mathematics Applied mathematics Engineering mathematics Computer Science Mathematics of Computing Applications of Mathematics Math Applications in Computer Science Informatik Mathematik Graphentheorie Mathematische Logik Beweis Boolesche Algebra Mengenlehre |
| url | https://doi.org/10.1007/978-3-658-09886-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632037&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632037&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meinelchristoph mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung AT mundhenkmartin mathematischegrundlagenderinformatikmathematischesdenkenundbeweiseneineeinfuhrung |