Grundkurs Theoretische Informatik: eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Vieweg
[2016]
|
| Ausgabe: | 6., erweiterte und überarbeitete Auflage |
| Schriftenreihe: | Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis Klappentext |
| Beschreibung: | xviii, 485 Seiten Diagramme |
| ISBN: | 9783834817709 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041145578 | ||
| 003 | DE-604 | ||
| 005 | 20170727 | ||
| 007 | t | ||
| 008 | 130715s2016 gw |||| |||| 00||| ger d | ||
| 015 | |a 13,N21 |2 dnb | ||
| 016 | 7 | |a 1034500708 |2 DE-101 | |
| 020 | |a 9783834817709 |c Print : ca. EUR 39.95 (DE), ca. EUR 41.07 (AT), ca. sfr 50.00 (freier Pr.) |9 978-3-8348-1770-9 | ||
| 035 | |a (OCoLC)952405833 | ||
| 035 | |a (DE-599)DNB1034500708 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-29T |a DE-739 |a DE-91G |a DE-703 |a DE-523 |a DE-1050 |a DE-M347 |a DE-11 |a DE-898 |a DE-573 |a DE-92 |a DE-1046 |a DE-20 |a DE-859 |a DE-634 |a DE-83 |a DE-858 |a DE-B768 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Vossen, Gottfried |d 1955- |e Verfasser |0 (DE-588)121017168 |4 aut | |
| 240 | 1 | 0 | |a Grundlagen der Theoretischen Informatik mit Anwendungen |
| 245 | 1 | 0 | |a Grundkurs Theoretische Informatik |b eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen |c Gottfried Vossen, Kurt-Ulrich Witt |
| 250 | |a 6., erweiterte und überarbeitete Auflage | ||
| 264 | 1 | |a Wiesbaden |b Springer Vieweg |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a xviii, 485 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lehrbuch | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 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 Witt, Kurt-Ulrich |d 1953- |e Verfasser |0 (DE-588)131482513 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, eBook |z 978-3-8348-2202-4 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4327169&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=026121131&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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=026121131&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026121131 | |
Datensatz im Suchindex
| _version_ | 1806325351741128704 |
|---|---|
| adam_text |
Inhaltsverzeichnis
Vorwort zur 1. Auflage xi
Vorwort zur 2. Auflage xiii
Vorwort zur 3. Auflage xiv
Vorwort zur 4. Auflage xv
Vorwort zur 5. Auflage xvi
Vorwort zur 6. Auflage xvii
1 Einführung und Übersicht 1
1.1 Ausgangspunkte für das Themengebiet. 1
1.2 Anwendungen theoretischer Erkenntnisse. 3
1.3 Stoffübersicht und -abgrenzung. 4
1.4 Externe Lernhilfen und Web-Seiten . 5
1.5 Allgemeine Bibliographische Hinweise . 7
1 Endliche Automaten und reguläre Sprachen 9
2 Endliche Automaten 11
2.1 Deterministische endliche Automaten. 11
2.1.1 Beispiel: Der Automat AEintritt. 12
2.1.2 Alphabete, Wörter, Sprachen. 15
2.L3 Zustände und Zustandsübergänge. 21
2.1.4 Deterministische endliche Automaten und reguläre Sprachen . 22
2.1.5 Vollständige Automaten. 27
2.1.6 Zusammenfassung. 28
2.2 Nichtdeterministische endliche Automaten. 28
2.2.1 Definitionen . 28
2.2.2 Äquivalenz von deterministischen und nichtdeterministischen
endlichen Automaten . 34
VI
Inhalt
2.2.3 Zusammenfassung. 39
2.3 Endliche Automaten mit ^-Übergängen . 39
2.3.1 Definitionen . 39
2.3.2 Äquivalenz von s-Automaten zu nichtdeterministischen end-
lichen Automaten . 40
2.3.3 Zusammenfassung. 45
2.4 Verallgemeinerte endliche Automaten. 45
2.4.1 Definitionen . 45
2.4.2 Äquivalenz von verallgemeinerten und endlichen Automaten . 46
2.4.3 Weitere Varianten endlicher Automaten. 46
2.5 Minimierung endlicher Automaten. 47
2.5.1 Isomorphie endlicher Automaten. 48
2.5.2 Der Satz von Myhill und Nerode. 49
2.5.3 Verfahren zur Minimierung endlicher Automaten. 52
2.6 Anwendungen endlicher Automaten. 57
2.6.1 Rechnersysteme und Systemprogrammierung. 58
2.6.2 Teilworterkennung . 59
2.6.3 Weitere Anwendungen. 63
2.7 Bibliographische Hinweise und Ergänzungen . 63
2.8 Übungen. 65
3 Reguläre Sprachen 69
3.1 Reguläre Ausdrücke. 70
3.1.1 Definitionen und Eigenschaften. 70
3.1.2 Anwendung regulärer Ausdrücke: Syntaxprüfung von Programm-
eingaben . 76
3.1.3 Äquivalenz von endlichen Automaten und regulären Ausdrücken 7 8
3.1.4 Anwendung: Scanner-Generatoren. 83
3.1.5 Zusammenfassung. 86
3.2 Typ-3-Grammatiken . . M. 86
3.2.1 Rechtslineare Grammatiken. 87
3.2.2 Linkslineare Grammatiken. 91
3.2.3 Äquivalenz rechtslinearer und linkslinearer Grammatiken . 91
3.2.4 Verallgemeinerte Typ-3-Grammatiken. 93
3.2.5 Äquivalenz von endlichen Automaten und Typ-3-Grammatiken 94
3.2.6 Zusammenfassung. 96
3.3 Eigenschaften regulärer Sprachen . 97
3.3.1 Abschlusseigenschaften von REG^. 97
3.3.2 Das Pumping-Lemma für reguläre Sprachen.106
3.3.3 Entscheidbarkeitsprobleme . .108
3.3.4 Grenzen endlicher Automaten.111
3.4 Bibliographische Hinweise und Ergänzungen.114
3.5 Übungen.115
Inhalt vii
4 Endliche Maschinen und Automatennetze 119
4.1 Endliche Maschinen . .120
4.1.1 Erweiterung des endlichen Automaten AEintritt.120
4.1.2 Mealy-Maschinen .122
4.1.3 Ein formales Vorgehensmodell bei der Problemlösung . 129
4.1.4 Moore-Maschinen .132
4.1.5 Äquivalenz von Mealy- und Moore-Berechenbarkeit . 135
4.1.6 Grenzen endlicher Maschinen.139
4.2 Mealy-Maschinen und Schaltwerke .142
4.3 Endliche Transducer .147
4.4 Beispiele für Automatennetze.149
4.4.1 Synchrone Automaten: Zellulare Automaten .149
4.4.2 Asynchrone Automaten: Petri-Netze.154
4.4.3 Anwendungen und Varianten von Petri-Netzen.163
4.5 Anwendungen endlicher Maschinen. 170
4.5.1 Software-und Systementwurf. Statecharts.170
4.5.2 Modellierung von (Geschäfts-) Prozessen.172
4.5.3 Elektronischer Handel.176
4.6 Bibliographische Hinweise und Ergänzungen.177
4.7 Übungen.178
II Kontextfreie Sprachen und Kelierautomaten 183
5 Kontextfreie Sprachen 185
5.1 Kontextfreie Grammatiken.185
5.1.1 Beispiele und Definitionen.186
5.1.2 Normalformen.188
5.2 Eigenschaften kontextfreier Sprachen .195
5.2.1 Mehrdeutigkeit.195
5.2.2 Das Pumping-Lemma für kontextfreie Sprachen.197
5.2.3 Abschlusseigenschaften .200
5.3 Bibliographische Hinweise.204
5.4 Übungen . 205
6 Kelierautomaten 207
6.1 Nichtdeterministische Kellerautomaten. 208
6.1.1 Grundlegende Definitionen. 208
6.1.2 Akzeptieren mit leerem Keller.212
6.2 Äquivalenz von kontextfreien Grammatiken und Kelierautomaten . . 213
6.3 Deterministische Kelierautomaten.217
6.4 Bibliographische Hinweise. 221
6.5 Übungen . .221
Inhalt
viii
7 Anwendungen kontextfreier Sprachen 223
7.1 Ableitungs- und Syntaxbäume.223
7.2 Compilerbau .226
7.3 Syntax von Programmiersprachen.235
7.3.1 Erweiterte Backus-Naur-Form.235
7.3.2 Syntaxdiagramme .239
7.4 Reguläre Definitionen.242
7.5 Beispielanwendung: XML.243
7.6 Bibliographische Hinweise.247
7.7 Übungen.247
III Berechenbarkeit und Komplexität 249
8 Typ-1- und Typ-O-Sprachen 251
8.1 Die Chomsky-Hierarchie.251
8.1.1 Typ-1-Sprachen (kontextsensitive Sprachen).252
8.1.2 Typ-O-Sprachen (rekursiv-aufzählbare Sprachen).260
8.1.3 Die Hierarchie.265
8.1.4 Das Wortproblem.267
8.2 Turingautomaten .269
8.2.1 Definitionen und Beispiele.269
8.2.2 Varianten von Turingautomaten.274
8.2.3 Äquivalenz von deterministischen und nichtdeterministischen
Turingautomaten.279
8.2.4 Linear beschränkte Automaten.280
8.2.5 Äquivalenz zwischen Typ-1 - Grammatiken und linear beschränk-
ten Automaten.281
8.2.6 Äquivalenz zwischen Typ-O-Grammatiken und Turingautoma-
ten .283
8.2.7 Entscheidbare Sprachen.283
8.3 Zusammenfassung .284
8.4 Bibliographische Hinweise. 287
8.5 Übungen.288
9 Berechenbarkeit 291
9.1 Turing-Berechenbarkeit. 291
9.1.1 Definition und Beispiele.292
9.1.2 Die Programmiersprache TurING.296
9.2 Loop-, While-und Goto-Berechenbarkeit.301
9.2.1 Die Programmiersprache Loop.301
9.2.2 Die Programmiersprache While .307
9.2.3 Die Programmiersprache Goto.309
9.3 Primitiv rekursive und ¿¿-rekursive Funktionen. 312
9.3.1 Primitiv-rekursive Funktionen. 312
Inhalt
ix
9.3.2 /¿-rekursive Funktionen.317
9.4 Die Churchsche These.320
9.5 Die Ackermannfunktion . 326
9.6 Zusammenfassung .329
9.7 Universelle Turingmaschinen.330
9.7.1 Codierung von Turingmaschinen.330
9.7.2 Nummerierung von Turingmaschinen.333
9.7.3 Eine Standardnummerierung für V.336
9.7.4 Fundamentale Anforderungen an Programmiersprachen . . . 338
9.7.5 Das utm-Theorem .338
9.7.6 Das smn-Theorem.339
9.7.7 Anwendungen von utm- und smn-Theorem.341
9.7.8 Bedeutung von utm- und smn-Theorem.345
9.8 Bibliographische Hinweise.347
9.9 Übungen . . 349
10 Entscheidbarkeit 353
10.1 Existenz unentscheidbarer Probleme .353
10.2 Entscheidbare und semi-entscheidbare Sprachen.354
10.3 Reduktion von Sprachen.358
10.4 Entscheidbare und semi-entscheidbare Mengen .359
10.5 Unentscheidbare Mengen.360
10.5.1 Das Halteproblem .360
10.5.2 Anwendungen des Halteproblems: Straßenbahnen, autonome
Roboter und fahrerlose Autos .363
10.5.3 Unentscheidbare Sprachen.365
10.5.4 Der Satz von Rice .366
10.5.5 Das Korrektheitsproblem.368
10.5.6 Das Äquivalenzproblem.369
10.5.7 Der erweiterte Satz von Rice.369
10.5.8 Das Postsche Korrespondenzproblem .372
10.5.9 Anwendungen des Postschen Korrespondenzproblems . 375
10.6 Zusammenfassung .378
10.7 Bibliographische Hinweise. 378
10.8 Übungen . 379
11 Komplexität 383
11.1 Die O-Notation. 383
11.2 Komplexität von Algorithmen .386
11.3 Wichtige Komplexitätsklassen . 389
11.4 Die Klassen P und NP. 390
11.4.1 Die Klasse P.391
11.4.2 Die Klasse NP . 391
11.4.3 Die Klassen EXPTIME und NEXPTIME. 393
11.4.4 Das P-NP-Problem . 394
X
Inhalt
11.4.5 NP-Vollständigkeit.394
11.5 Konkrete NP-vollständige Probleme.397
11.5.1 SAT - Das Erfüllbarkeitsproblem der Aussagenlogik.397
11.5.2 Weitere NP-vollständige Probleme.402
11.6 Weitere Komplexitätsklassen. 410
11.6.1 Die Klasse PS PACE.410
11.6.2 Komplementäre Komplexitätsklassen.416
11.7 Zusammenfassung .418
11.8 Bibliographische Hinweise und Ergänzungen.419
11.9 Übungen. . 420
12 Approximative und probabilistische Ansätze und deren Anwendungen 423
12.1 Approximative Algorithmen für N P-vollständige Probleme. 425
12.1.1 Approximierbarkeit. 425
12.1.2 Lokale Verbesserung am Beispiel TSP.428
12.1.3 Untere Schranken für das Approximieren.432
12.1.4 TSP in der Praxis. 433
12.2 Randomisierte Algorithmen und probabilistische Komplexitätsklassen 434
12.2.1 Die Klasse RP . 434
12.2.2 Die Klasse ZPP.440
12.2.3 Die Klasse BPP .443
12.2.4 Anwendung: Verschlüsselung. 444
12.3 Interaktive Beweissysteme .453
12.4 Zero Knowledge Beweise. Anwendung: Authentifikation.456
12.5 Probabilistisch überprüfbare Beweise .459
12.6 Bemerkungen zur P-NP-Frage. 463
12.7 Zusammenfassung . .465
12.8 Bibliographische Hinweise und Ergänzungen.466
12.9 Übungen.468
Literaturverzeichnis 469
Index
479
Grundkurs Theoretische Informatik
Diese Theorie-Einführung hat konsequent praktische Anwendungen im Blick.
Seien es Workflow-Systeme, Web Services, Verschlüsselung von Informationen,
Authentifizierungsprotokolle oder selbstfahrende Autos — all diese Technologien
haben enge Bezüge zu den theoretischen Grundlagen der Informatik. So trägt das
Buch dazu bei, dass Studierende die Grundlagen der Theoretischen Informatik
nicht nur verstehen, sondern auch anwenden können, um effektiv und produktiv
an informationstechnischen Problemlösungen mitwirken zu können. Wegen seiner
speziellen inhaltlichen und didaktischen Qualität ist das Buch neben dem Einsatz
in der Lehre auch für das Selbststudium geeignet.
Der Inhalt
• Endliche Automaten und reguläre Sprachen
• Kontextfreie Sprachen und Kellerautomaten
• Turingmaschinen und Berechenbarkeit
• Grenzen von Algorithmen
• Komplexität, Effizienz und Effektivität
• Vielfältige Anwendungen theoretischer Konzepte in der Praxis
Die Zielgruppen
• Studierende der Informatik und Wirtschaftsinformatik
an Hochschulen und Universitäten
• Studierende in anwendungsorientierten und technisch ausgerichteten
Studiengängen
• Studierende in Informatik-Fern- und Weiterbildungsstudiengängen |
| any_adam_object | 1 |
| author | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- |
| author_GND | (DE-588)121017168 (DE-588)131482513 |
| author_facet | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- |
| author_role | aut aut |
| author_sort | Vossen, Gottfried 1955- |
| author_variant | g v gv k u w kuw |
| building | Verbundindex |
| bvnumber | BV041145578 |
| classification_rvk | ST 110 ST 130 ST 300 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)952405833 (DE-599)DNB1034500708 |
| 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 | 6., erweiterte und überarbeitete Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV041145578</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170727</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130715s2016 gw |||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034500708</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834817709</subfield><subfield code="c">Print : ca. EUR 39.95 (DE), ca. EUR 41.07 (AT), ca. sfr 50.00 (freier Pr.)</subfield><subfield code="9">978-3-8348-1770-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)952405833</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034500708</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-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-B768</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 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</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 300</subfield><subfield code="0">(DE-625)143650:</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">Vossen, Gottfried</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121017168</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Grundlagen der Theoretischen Informatik mit Anwendungen</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundkurs Theoretische Informatik</subfield><subfield code="b">eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen</subfield><subfield code="c">Gottfried Vossen, Kurt-Ulrich Witt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">6., erweiterte und überarbeitete Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 485 Seiten</subfield><subfield code="b">Diagramme</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">Lehrbuch</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="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">Witt, Kurt-Ulrich</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131482513</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, eBook</subfield><subfield code="z">978-3-8348-2202-4</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=4327169&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=026121131&sequence=000003&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">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=026121131&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026121131</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV041145578 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-03T00:48:13Z |
| institution | BVB |
| isbn | 9783834817709 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026121131 |
| oclc_num | 952405833 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-91G DE-BY-TUM DE-703 DE-523 DE-1050 DE-M347 DE-11 DE-898 DE-BY-UBR DE-573 DE-92 DE-1046 DE-20 DE-859 DE-634 DE-83 DE-858 DE-B768 |
| owner_facet | DE-29T DE-739 DE-91G DE-BY-TUM DE-703 DE-523 DE-1050 DE-M347 DE-11 DE-898 DE-BY-UBR DE-573 DE-92 DE-1046 DE-20 DE-859 DE-634 DE-83 DE-858 DE-B768 |
| physical | xviii, 485 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer Vieweg |
| record_format | marc |
| series2 | Lehrbuch |
| spelling | Vossen, Gottfried 1955- Verfasser (DE-588)121017168 aut Grundlagen der Theoretischen Informatik mit Anwendungen Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen Gottfried Vossen, Kurt-Ulrich Witt 6., erweiterte und überarbeitete Auflage Wiesbaden Springer Vieweg [2016] © 2016 xviii, 485 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lehrbuch Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Witt, Kurt-Ulrich 1953- Verfasser (DE-588)131482513 aut Erscheint auch als Online-Ausgabe, eBook 978-3-8348-2202-4 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4327169&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=026121131&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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=026121131&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen |
| title_alt | Grundlagen der Theoretischen Informatik mit Anwendungen |
| title_auth | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen |
| title_exact_search | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen |
| title_full | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen Gottfried Vossen, Kurt-Ulrich Witt |
| title_fullStr | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen Gottfried Vossen, Kurt-Ulrich Witt |
| title_full_unstemmed | Grundkurs Theoretische Informatik eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen Gottfried Vossen, Kurt-Ulrich Witt |
| title_short | Grundkurs Theoretische Informatik |
| title_sort | grundkurs theoretische informatik eine anwendungsbezogene einfuhrung fur studierende in allen informatik studiengangen |
| title_sub | eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4327169&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=026121131&sequence=000003&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=026121131&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vossengottfried grundlagendertheoretischeninformatikmitanwendungen AT wittkurtulrich grundlagendertheoretischeninformatikmitanwendungen AT vossengottfried grundkurstheoretischeinformatikeineanwendungsbezogeneeinfuhrungfurstudierendeinalleninformatikstudiengangen AT wittkurtulrich grundkurstheoretischeinformatikeineanwendungsbezogeneeinfuhrungfurstudierendeinalleninformatikstudiengangen |