Grundlagen der Theoretischen Informatik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Springer Vieweg
[2022]
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext http://www.springer.com/ Inhaltsverzeichnis |
| Beschreibung: | XIX, 374 Seiten Illustrationen, Diagramme 24 cm x 16.8 cm |
| ISBN: | 9783662651414 3662651416 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV048529340 | ||
| 003 | DE-604 | ||
| 005 | 20231106 | ||
| 007 | t| | ||
| 008 | 221025s2022 gw a||| |||| 00||| ger d | ||
| 015 | |a 22,N09 |2 dnb | ||
| 016 | 7 | |a 1252397305 |2 DE-101 | |
| 020 | |a 9783662651414 |c Broschur : circa EUR 37.99 (DE), circa EUR 39.06 (AT), circa CHF 42.00 (freier Preis), circa EUR 35.51 |9 978-3-662-65141-4 | ||
| 020 | |a 3662651416 |9 3-662-65141-6 | ||
| 024 | 3 | |a 9783662651414 | |
| 028 | 5 | 2 | |a Bestellnummer: 978-3-662-65141-4 |
| 035 | |a (OCoLC)1348871590 | ||
| 035 | |a (DE-599)DNB1252397305 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-1028 |a DE-739 |a DE-945 |a DE-19 |a DE-12 |a DE-523 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |8 1\p |a 004 |2 23sdnb | ||
| 100 | 1 | |a Schulz, André |d 1977- |e Verfasser |0 (DE-588)136261604 |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der Theoretischen Informatik |c André Schulz |
| 264 | 1 | |a Berlin |b Springer Vieweg |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a XIX, 374 Seiten |b Illustrationen, Diagramme |c 24 cm x 16.8 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 |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reguläre Sprache |0 (DE-588)4477611-1 |2 gnd |9 rswk-swf |
| 653 | |a Theoretische Informatik | ||
| 653 | |a Informatikstudium | ||
| 653 | |a Formale Sprachen | ||
| 653 | |a Berechenbarkeit | ||
| 653 | |a Turing-Maschine | ||
| 653 | |a Endliche Automaten | ||
| 653 | |a Kellerautomaten | ||
| 653 | |a Kontextfreie Grammatiken | ||
| 653 | |a NP-Schwerheit | ||
| 653 | |a P=NP-Problem | ||
| 653 | |a Nichtdeterminismus | ||
| 653 | |a Rekursionstheorem | ||
| 653 | |a Nichtberechenbare Probleme | ||
| 653 | |a Gödels Sätze | ||
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Reguläre Sprache |0 (DE-588)4477611-1 |D s |
| 689 | 0 | 2 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 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-65142-1 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=dd8e6636dc6242a7bdc32f6424d22b75&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m X:MVB |u http://www.springer.com/ |
| 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=033906091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a vlb |d 20220223 |q DE-101 |u https://d-nb.info/provenance/plan#vlb | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033906091 | |
Datensatz im Suchindex
| _version_ | 1817968273340235776 |
|---|---|
| adam_text |
I n h її ä tó v e ť z f * it h h i s 1 Einführung und formale Sprachen. 1.1 Codierung von Problemen. 1.2 Entscheidungsprobleme. 1.3 Operationen auf Wörtern und Sprachen. 1.4 Übersicht Berechnungsmodelle. 1.5 Grundbegriffe. 1.5.1 Mengen. 1.5.2 Tupel. 1.5.3 Relationen und Funktionen. 1.5.4 Rechnen mit Wahrheitswerten. 1.5.5 Beweistechniken. 1.5.6 Asymptotische Abschätzung. 1.5.7 Graphen. 1.6 Lösungsvorschläge der Selbsttestaufgaben zumKapitel 1 . 1.7 Übungsaufgaben zum Kapitel 1. 1 1 5 6 8 9 9 10 10 11 12 14 17 18 21 2 Reguläre
Sprachen. 2.1 Der deterministische endliche Automat. 2.2 Nichtdeterministische endliche Automaten . 2.3 Abschlusseigenschaften regulärer Sprachen . 2.4 Minimierung von DEAs. 2.4.1 Minimierung über den kollabierten Automaten. 2.4.2 Minimierung durch den Spiegelautomaten. 2.5 Reguläre Ausdrücke. 2.6 Nachweis von Nichtregularität. 2.7 Bibliografische Anmerkungen. 2.8 Lösungsvorschläge der Selbsttestaufgaben zumKapitel 2. 2.9 Übungsaufgaben zum Kapitel 2. 2.10 Lösungsvorschläge für die Übungsaufgabenzum Kapitel 2. Literatur. 27 28 34 41 45 45 55 59 65 71 72 77 80 89 IX
X 3 Inhaltsverzeichnis Kontextfreie Sprachen. 3.1 Kellerautomaten. 3.2 Kontextfreie Grammatiken. 3.2.1 Definitionen und Konzept. 3.2.2 Äquivalenz der Modelle Kellerautomat und kontextfreie Grammatik. 103 3.2.3 Grammatiken für reguläre Sprachen. 3.3 Chomsky-Normalform . 3.4 Der CYK-Algorithmus. 3.5 Das kontextfreie Pumpinglemma. 3.6 Abschlusseigenschaften kontextfreier Sprachen. 3.7 Deterministische Kellerautomaten. 3.8 Der Satz von Chomsky-Schützenberger. 3.9 Bibliografische Anmerkungen. 3.10 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 3. 3.11 Übungsaufgaben zum Kapitel 3. 3.12 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 3.
Literatur. 4 Entscheidbare und erkennbare Sprachen. 4.1 Das Modell Turingmaschine. 4.2 Varianten der Turingmaschine. 4.2.1 Mehrband-Turingmaschine. 4.2.2 Halbband-Turingmaschine und LBA. 4.2.3 Nichtdeterministische Turingmaschine. 4.2.4 Turingmaschinen für Funktionen. 4.3 Die Church-Turing-These. 4.4 Aufzählbare Sprachen. 4.5 Co-aufzählbare Sprachen. 4.6 Die universelle Turingmaschine . 4.6.1 Codierung von Turingmaschinen. 4.6.2 Simulation von Turingmaschinen. 4.7 Wichtige Sprachen mit Bezug zu Berechnungsmodellen. 4.8 Abschlusseigenschaften der entscheidbaren und aufzählbaren Sprachen. 193 4.9
Bibliografische Anmerkungen. 4.10 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 4. 4.11 Übungsaufgaben zum Kapitel 4. 4.12 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 4. Literatur. 91 92 97 97 110 112 117 122 127 129 138 141 141 146 149 161 163 164 172 172 175 177 181 182 183 187 188 188 190 192 195 195 199 202 208
Inhaltsverzeichnis XI 5 Unentscheidbare Sprachen. 5.1 Existenz von nichtaufzählbaren Sprachen. 5.2 Konstruktion von nichtaufzählbaren Sprachen. 5.3 Entscheidbarkeit des universellen Wortproblems. 5.4 Das Konzept der Reduktion. 5.5 Der Satz von Rice. 5.6 Das Äquivalenzproblem für Turingmaschinen. 5.7 Reduktionen über Berechnungspfade. 5.8 Das postsche Korrespondenzproblem . 5.8.1 Problembeschreibung. 5.8.2 Nachweis der Unentscheidbarkeit. 5.8.3 Anwendungen. 5.9 Der Rekursionssatz. 5.9.1 Quines. 5.9.2 Rekursionssatz. 5.9.3 Anwendungen des
Rekursionssatzes. 5.10 Entscheidbarkeit logischer Theorien. 5.10.1 Eine entscheidbare Theorie. 5.10.2 Eine unentscheidbare Theorie. 5.11 Gödels Unvollständigkeitssätze. 5.12 Bibliografische Anmerkungen. 5.13 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 5 . 5.14 Übungsaufgaben zum Kapitel 5. 5.15 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 5. Literatur. 209 211 218 220 223 230 233 234 237 237 239 246 247 247 250 252 253 257 262 263 266 266 270 273 284 6 Komplexitätstheorie. 6.1 Definition von Zeitkomplexitätsklassen. 6.2 Die Klasse P. 6.3 Die Klasse NP. 6.3.1 Nichtdeterministische Zeitkomplexitätsklassen. 6.3.2 Das P vs. NP-
Problem. 6.4 Analyse von Algorithmen. 6.5 NP-Vollständigkeit. 6.5.1 Polynomielle Reduktionen . 6.5.2 Definition NP-Vollständigkeit. 6.5.3 Das Erfüllbarkeitsproblem. 6.5.4 Variationen des Erfüllbarkeitsproblems. 6.5.5 NP-vollständige Graphenprobleme. 6.5.6 NP-vollständige arithmetische Probleme. 287 288 291 293 297 300 301 305 305 309 310 320 325 337
Inhaltsverzeichnis XII 6.6 Platzkomplexität. 6.6.1 Der Satz von Savitch. 6.6.2 Der Satz von Immerman und Szelepcsényi. 6.7 Bibliografische Anmerkungen. 6.8 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 6. 6.9 Übungsaufgaben zum Kapitel 6. 6.10 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 6. Literatur. Stichwortverzeichnis. 341. 343 345 349 349 355 359 369 371 |
| adam_txt |
I n h її ä tó v e ť z f * it h h i s 1 Einführung und formale Sprachen. 1.1 Codierung von Problemen. 1.2 Entscheidungsprobleme. 1.3 Operationen auf Wörtern und Sprachen. 1.4 Übersicht Berechnungsmodelle. 1.5 Grundbegriffe. 1.5.1 Mengen. 1.5.2 Tupel. 1.5.3 Relationen und Funktionen. 1.5.4 Rechnen mit Wahrheitswerten. 1.5.5 Beweistechniken. 1.5.6 Asymptotische Abschätzung. 1.5.7 Graphen. 1.6 Lösungsvorschläge der Selbsttestaufgaben zumKapitel 1 . 1.7 Übungsaufgaben zum Kapitel 1. 1 1 5 6 8 9 9 10 10 11 12 14 17 18 21 2 Reguläre
Sprachen. 2.1 Der deterministische endliche Automat. 2.2 Nichtdeterministische endliche Automaten . 2.3 Abschlusseigenschaften regulärer Sprachen . 2.4 Minimierung von DEAs. 2.4.1 Minimierung über den kollabierten Automaten. 2.4.2 Minimierung durch den Spiegelautomaten. 2.5 Reguläre Ausdrücke. 2.6 Nachweis von Nichtregularität. 2.7 Bibliografische Anmerkungen. 2.8 Lösungsvorschläge der Selbsttestaufgaben zumKapitel 2. 2.9 Übungsaufgaben zum Kapitel 2. 2.10 Lösungsvorschläge für die Übungsaufgabenzum Kapitel 2. Literatur. 27 28 34 41 45 45 55 59 65 71 72 77 80 89 IX
X 3 Inhaltsverzeichnis Kontextfreie Sprachen. 3.1 Kellerautomaten. 3.2 Kontextfreie Grammatiken. 3.2.1 Definitionen und Konzept. 3.2.2 Äquivalenz der Modelle Kellerautomat und kontextfreie Grammatik. 103 3.2.3 Grammatiken für reguläre Sprachen. 3.3 Chomsky-Normalform . 3.4 Der CYK-Algorithmus. 3.5 Das kontextfreie Pumpinglemma. 3.6 Abschlusseigenschaften kontextfreier Sprachen. 3.7 Deterministische Kellerautomaten. 3.8 Der Satz von Chomsky-Schützenberger. 3.9 Bibliografische Anmerkungen. 3.10 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 3. 3.11 Übungsaufgaben zum Kapitel 3. 3.12 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 3.
Literatur. 4 Entscheidbare und erkennbare Sprachen. 4.1 Das Modell Turingmaschine. 4.2 Varianten der Turingmaschine. 4.2.1 Mehrband-Turingmaschine. 4.2.2 Halbband-Turingmaschine und LBA. 4.2.3 Nichtdeterministische Turingmaschine. 4.2.4 Turingmaschinen für Funktionen. 4.3 Die Church-Turing-These. 4.4 Aufzählbare Sprachen. 4.5 Co-aufzählbare Sprachen. 4.6 Die universelle Turingmaschine . 4.6.1 Codierung von Turingmaschinen. 4.6.2 Simulation von Turingmaschinen. 4.7 Wichtige Sprachen mit Bezug zu Berechnungsmodellen. 4.8 Abschlusseigenschaften der entscheidbaren und aufzählbaren Sprachen. 193 4.9
Bibliografische Anmerkungen. 4.10 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 4. 4.11 Übungsaufgaben zum Kapitel 4. 4.12 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 4. Literatur. 91 92 97 97 110 112 117 122 127 129 138 141 141 146 149 161 163 164 172 172 175 177 181 182 183 187 188 188 190 192 195 195 199 202 208
Inhaltsverzeichnis XI 5 Unentscheidbare Sprachen. 5.1 Existenz von nichtaufzählbaren Sprachen. 5.2 Konstruktion von nichtaufzählbaren Sprachen. 5.3 Entscheidbarkeit des universellen Wortproblems. 5.4 Das Konzept der Reduktion. 5.5 Der Satz von Rice. 5.6 Das Äquivalenzproblem für Turingmaschinen. 5.7 Reduktionen über Berechnungspfade. 5.8 Das postsche Korrespondenzproblem . 5.8.1 Problembeschreibung. 5.8.2 Nachweis der Unentscheidbarkeit. 5.8.3 Anwendungen. 5.9 Der Rekursionssatz. 5.9.1 Quines. 5.9.2 Rekursionssatz. 5.9.3 Anwendungen des
Rekursionssatzes. 5.10 Entscheidbarkeit logischer Theorien. 5.10.1 Eine entscheidbare Theorie. 5.10.2 Eine unentscheidbare Theorie. 5.11 Gödels Unvollständigkeitssätze. 5.12 Bibliografische Anmerkungen. 5.13 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 5 . 5.14 Übungsaufgaben zum Kapitel 5. 5.15 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 5. Literatur. 209 211 218 220 223 230 233 234 237 237 239 246 247 247 250 252 253 257 262 263 266 266 270 273 284 6 Komplexitätstheorie. 6.1 Definition von Zeitkomplexitätsklassen. 6.2 Die Klasse P. 6.3 Die Klasse NP. 6.3.1 Nichtdeterministische Zeitkomplexitätsklassen. 6.3.2 Das P vs. NP-
Problem. 6.4 Analyse von Algorithmen. 6.5 NP-Vollständigkeit. 6.5.1 Polynomielle Reduktionen . 6.5.2 Definition NP-Vollständigkeit. 6.5.3 Das Erfüllbarkeitsproblem. 6.5.4 Variationen des Erfüllbarkeitsproblems. 6.5.5 NP-vollständige Graphenprobleme. 6.5.6 NP-vollständige arithmetische Probleme. 287 288 291 293 297 300 301 305 305 309 310 320 325 337
Inhaltsverzeichnis XII 6.6 Platzkomplexität. 6.6.1 Der Satz von Savitch. 6.6.2 Der Satz von Immerman und Szelepcsényi. 6.7 Bibliografische Anmerkungen. 6.8 Lösungsvorschläge der Selbsttestaufgaben zum Kapitel 6. 6.9 Übungsaufgaben zum Kapitel 6. 6.10 Lösungsvorschläge für die Übungsaufgaben zum Kapitel 6. Literatur. Stichwortverzeichnis. 341. 343 345 349 349 355 359 369 371 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Schulz, André 1977- |
| author_GND | (DE-588)136261604 |
| author_facet | Schulz, André 1977- |
| author_role | aut |
| author_sort | Schulz, André 1977- |
| author_variant | a s as |
| building | Verbundindex |
| bvnumber | BV048529340 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)1348871590 (DE-599)DNB1252397305 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| 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">BV048529340</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231106</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">221025s2022 gw a||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">22,N09</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1252397305</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662651414</subfield><subfield code="c">Broschur : circa EUR 37.99 (DE), circa EUR 39.06 (AT), circa CHF 42.00 (freier Preis), circa EUR 35.51</subfield><subfield code="9">978-3-662-65141-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662651416</subfield><subfield code="9">3-662-65141-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662651414</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Bestellnummer: 978-3-662-65141-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1348871590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1252397305</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-1028</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-523</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="8">1\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schulz, André</subfield><subfield code="d">1977-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136261604</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundlagen der Theoretischen Informatik</subfield><subfield code="c">André Schulz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 374 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">24 cm x 16.8 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="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reguläre Sprache</subfield><subfield code="0">(DE-588)4477611-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theoretische Informatik</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatikstudium</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formale Sprachen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Berechenbarkeit</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Turing-Maschine</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Endliche Automaten</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kellerautomaten</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kontextfreie Grammatiken</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">NP-Schwerheit</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">P=NP-Problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Nichtdeterminismus</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Rekursionstheorem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Nichtberechenbare Probleme</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gödels Sätze</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="1"><subfield code="a">Reguläre Sprache</subfield><subfield code="0">(DE-588)4477611-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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-65142-1</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=dd8e6636dc6242a7bdc32f6424d22b75&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">X:MVB</subfield><subfield code="u">http://www.springer.com/</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=033906091&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">vlb</subfield><subfield code="d">20220223</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#vlb</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033906091</subfield></datafield></record></collection> |
| id | DE-604.BV048529340 |
| illustrated | Illustrated |
| index_date | 2024-07-03T20:51:57Z |
| indexdate | 2024-12-09T13:07:28Z |
| institution | BVB |
| institution_GND | (DE-588)1065168780 |
| isbn | 9783662651414 3662651416 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033906091 |
| oclc_num | 1348871590 |
| open_access_boolean | |
| owner | DE-1028 DE-739 DE-945 DE-19 DE-BY-UBM DE-12 DE-523 |
| owner_facet | DE-1028 DE-739 DE-945 DE-19 DE-BY-UBM DE-12 DE-523 |
| physical | XIX, 374 Seiten Illustrationen, Diagramme 24 cm x 16.8 cm |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer Vieweg |
| record_format | marc |
| spelling | Schulz, André 1977- Verfasser (DE-588)136261604 aut Grundlagen der Theoretischen Informatik André Schulz Berlin Springer Vieweg [2022] © 2022 XIX, 374 Seiten Illustrationen, Diagramme 24 cm x 16.8 cm txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Reguläre Sprache (DE-588)4477611-1 gnd rswk-swf Theoretische Informatik Informatikstudium Formale Sprachen Berechenbarkeit Turing-Maschine Endliche Automaten Kellerautomaten Kontextfreie Grammatiken NP-Schwerheit P=NP-Problem Nichtdeterminismus Rekursionstheorem Nichtberechenbare Probleme Gödels Sätze Theoretische Informatik (DE-588)4196735-5 s Reguläre Sprache (DE-588)4477611-1 s Komplexitätstheorie (DE-588)4120591-1 s DE-604 Springer-Verlag GmbH (DE-588)1065168780 pbl Erscheint auch als Online-Ausgabe 978-3-662-65142-1 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=dd8e6636dc6242a7bdc32f6424d22b75&prov=M&dok_var=1&dok_ext=htm Inhaltstext X:MVB http://www.springer.com/ 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=033906091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p vlb 20220223 DE-101 https://d-nb.info/provenance/plan#vlb |
| spellingShingle | Schulz, André 1977- Grundlagen der Theoretischen Informatik Theoretische Informatik (DE-588)4196735-5 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Reguläre Sprache (DE-588)4477611-1 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4120591-1 (DE-588)4477611-1 |
| title | Grundlagen der Theoretischen Informatik |
| title_auth | Grundlagen der Theoretischen Informatik |
| title_exact_search | Grundlagen der Theoretischen Informatik |
| title_exact_search_txtP | Grundlagen der Theoretischen Informatik |
| title_full | Grundlagen der Theoretischen Informatik André Schulz |
| title_fullStr | Grundlagen der Theoretischen Informatik André Schulz |
| title_full_unstemmed | Grundlagen der Theoretischen Informatik André Schulz |
| title_short | Grundlagen der Theoretischen Informatik |
| title_sort | grundlagen der theoretischen informatik |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Reguläre Sprache (DE-588)4477611-1 gnd |
| topic_facet | Theoretische Informatik Komplexitätstheorie Reguläre Sprache |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=dd8e6636dc6242a7bdc32f6424d22b75&prov=M&dok_var=1&dok_ext=htm http://www.springer.com/ http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033906091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schulzandre grundlagendertheoretischeninformatik AT springerverlaggmbh grundlagendertheoretischeninformatik |