Theoretische Informatik: eine umfassende Einführung
Gespeichert in:
| Vorheriger Titel: | Erk, Katrin Theoretische Informatik |
|---|---|
| Hauptverfasser: | , |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Springer Vieweg
[2018]
|
| Ausgabe: | 4., aktualisierte und erweiterte Auflage |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XVI, 499 Seiten Illustrationen 24 cm |
| ISBN: | 9783662574089 366257408X |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV045106704 | ||
| 003 | DE-604 | ||
| 005 | 20190129 | ||
| 007 | t| | ||
| 008 | 180728s2018 gw a||| |||| 00||| ger d | ||
| 015 | |a 18,N19 |2 dnb | ||
| 016 | 7 | |a 1157103537 |2 DE-101 | |
| 020 | |a 9783662574089 |c Festeinband : circa EUR 34.99 (DE), circa EUR 35.97 (AT), circa CHF 36.00 (freier Preis) |9 978-3-662-57408-9 | ||
| 020 | |a 366257408X |9 3-662-57408-X | ||
| 024 | 3 | |a 9783662574089 | |
| 028 | 5 | 2 | |a Bestellnummer: 978-3-662-57408-9 |
| 028 | 5 | 2 | |a Bestellnummer: 86970556 |
| 035 | |a (OCoLC)1035356442 | ||
| 035 | |a (DE-599)DNB1157103537 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-20 |a DE-634 |a DE-91G |a DE-355 |a DE-Aug4 |a DE-739 |a DE-521 |a DE-210 |a DE-11 |a DE-12 |a DE-128 |a DE-706 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Priese, Lutz |d 1947- |e Verfasser |0 (DE-588)13599697X |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b eine umfassende Einführung |c Lutz Priese, Katrin Erk |
| 250 | |a 4., aktualisierte und erweiterte Auflage | ||
| 264 | 1 | |a Berlin |b Springer Vieweg |c [2018] | |
| 300 | |a XVI, 499 Seiten |b Illustrationen |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 653 | |a UY | ||
| 653 | |a PBC | ||
| 653 | |a UY | ||
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Erk, Katrin |e Verfasser |0 (DE-588)136003753 |4 aut | |
| 710 | 2 | |a Springer-Verlag GmbH |0 (DE-588)1065168780 |4 pbl | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-57409-6 |
| 780 | 0 | 0 | |i Vorangegangen ist |a Erk, Katrin |t Theoretische Informatik |z 978-3-540-76319-2 |w (DE-604)BV023228277 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=0c755fcc94ef49ffb61e49182001f91b&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030497151&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030497151 | |
Datensatz im Suchindex
| _version_ | 1817968011295850496 |
|---|---|
| adam_text |
Inhaltsverzeichnis
1. Einleitung. 1
2. Begriffe und Notationen. 3
2.1 Logische Formeln und Konnektoren. 3
2.2 Grundkonzepte aus der Mengenlehre. 6
2.2.1 Relationen. 9
2.2.2 Funktionen . 11
2.2.3 Isomorphie, Abzählbarkeit. 13
2.3 Grundbegriffe aus der Algebra. 17
2.4 Grundbegriffe aus der Graphentheorie. 22
2.5 Grundbegriffe aus der Informatik. 27
2.6 Probleme und Algorithmen. 32
2.7 Zusammenfassung. 33
3. Eine kurze Einführung in die Aussagenlogik. 35
3.1 Syntax der Aussagenlogik . 35
3.2 Semantik der Aussagenlogik. 37
3.3 Wahrheitstafeln. 40
3.4 SAT und TAUT. 41
3.5 Äquivalenz von Formeln. 42
3.6 Konjunktive und disjunktive Normalform. 45
3.7 Zusammenfassung. 48
Teil I. Formale Sprachen
4. Grammatiken und formale Sprachen. 53
4.1 Grammatiken. 53
4.2 Die Sprachklassen der Chomsky-Hierarchie. 56
4.3 Automaten. 60
4.4 Zusammenfassung. 61
XIV
Inhaltsverzeichnis
5. Reguläre Sprachen und endliche Automaten. 63
5.1 Verschiedene Automatentypen. 63
5.1.1 Endliche Automaten. 63
5.1.2 Indeterminierte endliche Automaten. 67
5.1.3 Automaten mit e-Kanten. 75
5.1.4 Endliche Automaten mit Ausgabe: gsm . 77
5.2 Rationale Sprachen und £3 . 81
5.3 Abschlusseigenschaften von £3. 82
5.4 Eine weitere Charakterisierung von £3:
über reguläre Ausdrücke. 83
5.5 Eine weitere Charakterisierung von £3:
über die Kongruenz . 87
5.6 Minimale Automaten. 92
5.7 Das Pumping-Lemma für £3.102
5.8 Entscheidbare Probleme für £3.105
5.9 Zusammenfassung. 106
6. Kontextfreie Sprachen.109
6.1 Darstellung von kontextfreien Ableitungen in Baumform . 109
6.2 Umformung von Grammatiken.113
6.3 Chomsky- und Greibach-Normalform.121
6.4 Das Pumping-Lemma für £2.128
6.5 Abschlusseigenschaften von £2.132
6.6 Push-Down-Automaten (PDA).133
6.7 Determiniert kontextfreie Sprachen (DCFL).144
6.8 Probleme und Algorithmen zu cf-Sprachen.154
6.8.1 Das Wortproblem.154
6.8.2 Andere Probleme.159
6.9 Zusammenfassung. 163
7. Turing-Maschinen. 165
7.1 Determinierte Turing-Maschinen.166
7.2 TM-Flussdiagramme. 169
7.3 Entscheidbarkeit, Akzeptierbarkeit, Aufzählbarkeit.172
7.4 Variationen von Turing-Maschinen.174
7.5 Universelle Turing-Maschinen .183
7.5.1 Gödelisierung.184
7.5.2 Eine konkrete universelle Turing-Maschine.186
7.6 Zusammenfassung. 192
8. Die Sprachklassen £, £0 und C\.195
8.1 £1 und beschränkte Grammatiken.195
8.2 Linear beschränkte Automaten und Turing-Maschinen.196
8.3 Entscheidbare Sprachen.202
8.4 £0 und £.207
Inhaltsverzeichnis XV
8.5 Typ-l-Sprachen sind abgeschlossen gegen Komplement.208
8.6 Zusammenfassung.214
9. Abschlusseigenschaften von Sprachklassen.215
9.1 Überblick.215
9.2 Beweise der Abschlusseigenschaften.216
9.3 Zusammenfassung.223
Teil IL Berechenbarkeit
10. Einleitung.227
10.1 Immer mächtigere Automaten.227
10.2 Die Churchsche These.228
10.3 Was es außer Turing-Maschinen noch gibt.228
10.4 Unentscheidbare Probleme.229
10.5 Komplexitätstheorie.230
10.6 Zusammenfassung.231
11. Registermaschinen.233
11.1 Registermaschinen und LOOP-Programme.234
11.2 WHILE-Programme.238
11.3 GOTO-Programme.241
11.4 GOTO-Programme und Turing-Maschinen.244
11.5 LOOP-Programme und Turing-Maschinen .247
11.6 Zusammenfassung.251
12. Rekursive Funktionen .253
12.1 Primitiv rekursive Funktionen.254
12.2 Arithmetische Funktionen, primitiv rekursiv ausgedrückt. . 255
12.3 p und LOOP. 262
12.4 /¿-rekursive Funktionen.271
12.5 /¿-rekursive Funktionen gleichmächtig wie
Turing-Maschinen.274
12.6 Übersicht über die verschiedenen Berechenbarkeitsbegriffe. 286
12.7 Eine weitere universelle Turing-Maschine,
die auf Kleenes Theorem basiert.287
12.8 Zusammenfassung.288
13. Unentscheidbare Probleme .291
13.1 Entscheidbarkeit, Akzeptierbarkeit, Aufzählbarkeit.292
13.2 Eine Liste unentscheidbarer TM-Probleme.294
13.3 Das spezielle Halteproblem.297
13.4 Unentscheidbarkeits-Beweise via Reduktion.298
13.5 Der Satz von Rice. 303
XVI Inhaltsverzeichnis
13.6 Unentscheidbarkeit und formale Sprachen.306
13.6.1 Semi-Thue-Systeme und Postsche Normalsysteme . 307
13.6.2 Das PCP und unentscheidbare Probleme für £2 .317
13.6.3 Entscheidbare und unentscheidbare Probleme für £2 * 322
13.6.4 Eine weitere Anwendung der Unentscheidbarkeit
von Ko.322
13.7 Zusammenfassung.324
14, Alternative Berechnungsmodelle.327
14.1 Ein-Registermaschinen . 327
14.2 Zwei-Registermaschinen. 332
14.3 Variationen über Zwei-Registermaschinen.336
14.3.1 Turing-Maschinen mit eingeschränktem Alphabet . 336
14.3.2 Ein System mit zwei Stapeln von leeren Blättern . 337
14.3.3 Push-Down-Automaten mit Queue oder zwei Stapeln . 337
14.3.4 Ein Stein im N2.338
14.4 Wang-Maschinen .338
14.5 Tag-Systeme.342
14.6 Rödding-Netze .351
14.7 Eine extrem kleine universelle zweidimensionale
Turing-Maschine.378
14.8 Reversible Rechnungen.387
14.8.1 Abstrakte Rechenmodelle .387
14.8.2 Asynchrone Automaten und Netze.392
14.8.3 Berechnungsuniverselle chemisch reversible Netze . 399
14.8.4 Chemisch reversible Grammatiken.405
14.8.5 Zweidimensionale Thue-Systeme.411
14.8.6 Physikalisch reversible Schaltwerke.424
14.8.7 Physikalisch reversible Turing-Maschinen.432
14.9 Splicing.435
14.9.1 H-Systeme.435
14.9.2 Test-tube-Systeme.444
14.10 Zusammenfassung.450
15, Komplexität.453
15.1 Abschätzung mit dem O-KalküI.453
15.2 Aufwandberechnung und Turing-Maschinen.456
15.3 Abschätzung für determinierte und indeterminierte
Maschinen.460
15.4 NP-vollständige Probleme.464
15.5 Zusammenfassung.486
Bibliographische Hinweise.487
Literaturverzeichnis . 491
Sachverzeichnis.495 |
| any_adam_object | 1 |
| author | Priese, Lutz 1947- Erk, Katrin |
| author_GND | (DE-588)13599697X (DE-588)136003753 |
| author_facet | Priese, Lutz 1947- Erk, Katrin |
| author_role | aut aut |
| author_sort | Priese, Lutz 1947- |
| author_variant | l p lp k e ke |
| building | Verbundindex |
| bvnumber | BV045106704 |
| classification_rvk | ST 130 ST 120 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)1035356442 (DE-599)DNB1157103537 |
| 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 | Informatik |
| edition | 4., aktualisierte und erweiterte Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV045106704</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190129</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">180728s2018 gw a||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">18,N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1157103537</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662574089</subfield><subfield code="c">Festeinband : circa EUR 34.99 (DE), circa EUR 35.97 (AT), circa CHF 36.00 (freier Preis)</subfield><subfield code="9">978-3-662-57408-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">366257408X</subfield><subfield code="9">3-662-57408-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662574089</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Bestellnummer: 978-3-662-57408-9</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Bestellnummer: 86970556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1035356442</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1157103537</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-128</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</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">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine umfassende Einführung</subfield><subfield code="c">Lutz Priese, Katrin Erk</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., aktualisierte und erweiterte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 499 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">24 cm</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="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UY</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">PBC</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UY</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Erk, Katrin</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136003753</subfield><subfield code="4">aut</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer-Verlag GmbH</subfield><subfield code="0">(DE-588)1065168780</subfield><subfield code="4">pbl</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-662-57409-6</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Vorangegangen ist</subfield><subfield code="a">Erk, Katrin</subfield><subfield code="t">Theoretische Informatik</subfield><subfield code="z">978-3-540-76319-2</subfield><subfield code="w">(DE-604)BV023228277</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=0c755fcc94ef49ffb61e49182001f91b&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=030497151&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030497151</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV045106704 |
| illustrated | Illustrated |
| indexdate | 2024-12-09T13:03:19Z |
| institution | BVB |
| institution_GND | (DE-588)1065168780 |
| isbn | 9783662574089 366257408X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030497151 |
| oclc_num | 1035356442 |
| open_access_boolean | |
| owner | DE-20 DE-634 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-Aug4 DE-739 DE-521 DE-210 DE-11 DE-12 DE-128 DE-706 |
| owner_facet | DE-20 DE-634 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-Aug4 DE-739 DE-521 DE-210 DE-11 DE-12 DE-128 DE-706 |
| physical | XVI, 499 Seiten Illustrationen 24 cm |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer Vieweg |
| record_format | marc |
| spelling | Priese, Lutz 1947- Verfasser (DE-588)13599697X aut Theoretische Informatik eine umfassende Einführung Lutz Priese, Katrin Erk 4., aktualisierte und erweiterte Auflage Berlin Springer Vieweg [2018] XVI, 499 Seiten Illustrationen 24 cm txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf UY PBC (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Erk, Katrin Verfasser (DE-588)136003753 aut Springer-Verlag GmbH (DE-588)1065168780 pbl Erscheint auch als Online-Ausgabe 978-3-662-57409-6 Vorangegangen ist Erk, Katrin Theoretische Informatik 978-3-540-76319-2 (DE-604)BV023228277 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=0c755fcc94ef49ffb61e49182001f91b&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030497151&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Priese, Lutz 1947- Erk, Katrin Theoretische Informatik eine umfassende Einführung Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Theoretische Informatik eine umfassende Einführung |
| title_auth | Theoretische Informatik eine umfassende Einführung |
| title_exact_search | Theoretische Informatik eine umfassende Einführung |
| title_full | Theoretische Informatik eine umfassende Einführung Lutz Priese, Katrin Erk |
| title_fullStr | Theoretische Informatik eine umfassende Einführung Lutz Priese, Katrin Erk |
| title_full_unstemmed | Theoretische Informatik eine umfassende Einführung Lutz Priese, Katrin Erk |
| title_old | Erk, Katrin Theoretische Informatik |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik eine umfassende einfuhrung |
| title_sub | eine umfassende Einführung |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=0c755fcc94ef49ffb61e49182001f91b&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030497151&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT prieselutz theoretischeinformatikeineumfassendeeinfuhrung AT erkkatrin theoretischeinformatikeineumfassendeeinfuhrung AT springerverlaggmbh theoretischeinformatikeineumfassendeeinfuhrung |