Grundlagen der theoretischen Informatik mit Anwendungen: eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik
Gespeichert in:
| Späterer Titel: | Vossen, Gottfried Grundkurs theoretische Informatik |
|---|---|
| Hauptverfasser: | , |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Braunschweig [u.a.]
Vieweg
2002
|
| Ausgabe: | 2., überarb. und aktualisierte Aufl. |
| Schriftenreihe: | Vieweg-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 353 S. Ill., graph. Darst. |
| ISBN: | 3528131470 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014362797 | ||
| 003 | DE-604 | ||
| 005 | 20140606 | ||
| 007 | t | ||
| 008 | 020611s2002 gw ad|| |||| 00||| ger d | ||
| 016 | 7 | |a 964402297 |2 DE-101 | |
| 020 | |a 3528131470 |9 3-528-13147-0 | ||
| 035 | |a (OCoLC)174796605 | ||
| 035 | |a (DE-599)BVBBV014362797 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-473 |a DE-824 |a DE-739 |a DE-384 |a DE-20 |a DE-861 |a DE-Aug4 |a DE-210 |a DE-92 |a DE-1051 |a DE-91G |a DE-526 |a DE-83 |a DE-11 |a DE-2070s | ||
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Vossen, Gottfried |d 1955- |e Verfasser |0 (DE-588)121017168 |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der theoretischen Informatik mit Anwendungen |b eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik |c Gottfried Vossen ; Kurt-Ulrich Witt |
| 250 | |a 2., überarb. und aktualisierte Aufl. | ||
| 264 | 1 | |a Braunschweig [u.a.] |b Vieweg |c 2002 | |
| 300 | |a XI, 353 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Vieweg-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 | |
| 785 | 0 | 0 | |i 3. Aufl. u.d.T. |a Vossen, Gottfried |t Grundkurs theoretische Informatik |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009843679&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009843679 | |
Datensatz im Suchindex
| _version_ | 1808226882360967168 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
VORWORT
ZUR
1.
AUFLAGE
X
VORWORT
ZUR
2.
AUFLAGE
XII
1
EINFUEHRUNG
UND
UEBERSICHT
1
1.1
AUSGANGSPUNKTE
FUER
DAS
THEMENGEBIET
.
1
1.2
ANWENDUNGEN
THEORETISCHER
ERKENNTNISSE
.
3
1.3
STOFFUEBERSICHT
UND
-ABGRENZUNG
.
4
1.4
EXTERNE
LERNHILFEN
UND
WEB-SEITEN
.
5
1.5
ALLGEMEINE
BIBLIOGRAPHISCHE
HINWEISE
.
6
I
ENDLICHE
AUTOMATEN
UND
REGULAERE
SPRACHEN
9
2
ENDLICHE
AUTOMATEN
11
2.1
DETERMINISTISCHE
ENDLICHE
AUTOMATEN
.
11
2.1.1
BEISPIEL:
DER
SCHWIMMBADAUTOMAT
A
SW
I
M
.
12
2.1.2
ALPHABETE,
WOERTER,
SPRACHEN
.
16
2.1.3
ZUSTAENDE
UND
ZUSTANDSUEBERGAENGE
.
21
2.1.4
DETERMINISTISCHE
ENDLICHE
AUTOMATEN
UND
REGULAERE
SPRACHEN
.
22
2.1.5
VOLLSTAENDIGE
AUTOMATEN
.
27
2.1.6
ZUSAMMENFASSUNG
.
28
2.2
NICHTDETERMINISTISCHE
ENDLICHE
AUTOMATEN
.
29
2.2.1
DEFINITIONEN
.
29
2.2.2
AEQUIVALENZ
VON
DETERMINISTISCHEN
UND
NICHTDETERMINISTISCHEN
ENDLICHEN
AUTOMATEN
.
33
2.2.3
ZUSAMMENFASSUNG
.
38
2.3
ENDLICHE
AUTOMATEN
MIT
E-UEBERGAENGEN
.
39
2.3.1
DEFINITIONEN
.
39
2.3.2
AEQUIVALENZ
VON
^-AUTOMATEN
ZU
NICHTDETERMINISTISCHEN
ENDLI
CHEN
AUTOMATEN
.
40
2.3.3
ZUSAMMENFASSUNG
.
46
2.4
VERALLGEMEINERTE
ENDLICHE
AUTOMATEN
.
46
2.4.1
DEFINITIONEN
.
46
2.4.2
AEQUIVALENZ
VON
VERALLGEMEINERTEN
UND
ENDLICHEN
AUTOMATEN
.
.
47
2.5
MINIMIERUNG
ENDLICHER
AUTOMATEN
.
48
VI
INHALT
2.5.1
ISOMORPHIE
ENDLICHER
AUTOMATEN
.
48
2.5.2
EIN
VERFAHREN
ZUR
MINIMIERUNG
ENDLICHER
AUTOMATEN
.
49
2.6
ANWENDUNGEN
ENDLICHER
AUTOMATEN
.
52
2.6.1
RECHNERSYSTEME
UND
SYSTEMPROGRAMMIERUNG
.
52
2.6.2
TEILWORTERKENNUNG
.
53
2.6.3
SUCHMASCHINEN
IM
INTERNET
.
56
2.6.4
OBJEKTORIENTIERTE
MODELLIERUNG.
INTERAKTIONSDIAGRAMME
.
58
2.7
BIBLIOGRAPHISCHE
HINWEISE
UND
ERGAENZUNGEN
.
60
2.8
UEBUNGEN
.
62
3
REGULAERE
SPRACHEN
65
3.1
REGULAERE
AUSDRUECKE
.
65
3.1.1
DEFINITIONEN
UND
EIGENSCHAFTEN
.
66
3.1.2
ANWENDUNG
REGULAERER
AUSDRUECKE
.
72
3.1.3
AEQUIVALENZ
VON
ENDLICHEN
AUTOMATEN
UND
REGULAEREN
AUSDRUECKEN
74
3.1.4
SCANNER-GENERATOREN
.
81
3.1.5
ZUSAMMENFASSUNG
.
82
3.2
TYP-3-GRAMMATIKEN
.
83
3.2.1
RECHTSLINEARE
GRAMMATIKEN
.
83
3.2.2
LINKSLINEARE
GRAMMATIKEN
.
86
3.2.3
AEQUIVALENZ
RECHTSLINEARER
UND
LINKSLINEARER
GRAMMATIKEN
.
87
3.2.4
VERALLGEMEINERTE
TYP-3-GRAMMATIKEN
.
89
3.2.5
AEQUIVALENZ
VON
ENDLICHEN
AUTOMATEN
UND
TYP-3-GRAMMATIKEN
90
3.2.6
ZUSAMMENFASSUNG
.
92
3.3
EIGENSCHAFTEN
REGULAERER
SPRACHEN
.
92
3.3.1
ABSCHLUSSEIGENSCHAFTEN
VON
REGZ
.
93
3.3.2
DAS
PUMPING-LEMMA
FUER
REGULAERE
SPRACHEN
.
102
3.3.3
ENTSCHEIDBARKEITSPROBLEME
.
104
3.3.4
GRENZEN
ENDLICHER
AUTOMATEN
.
106
3.4
BIBLIOGRAPHISCHE
HINWEISE
UND
ERGAENZUNGEN
.
108
3.5
UEBUNGEN
.
109
4
ENDLICHE
MASCHINEN
UND
AUTOMATENNETZE
111
4.1
ENDLICHE
MASCHINEN
.
111
4.1.1
ERWEITERUNG
DES
ENDLICHEN
AUTOMATEN
A
SW
I
M
.
112
4.1.2
MEALY-MASCHINEN
.
114
4.1.3
EIN
FORMALES
VORGEHENSMODELL
BEI
DER
PROBLEMLOESUNG
.
121
4.1.4
GEGENSEITIGE
SIMULATION
VON
MEALY-MASCHINEN
UND
ENDLICHEN
AUTOMATEN
.
123
4.1.5
MOORE-MASCHINEN
.
125
4.1.6
AEQUIVALENZ
VON
MEALY
UND
MOORE-MASCHINEN
.
129
4.1.7
GRENZEN
ENDLICHER
MASCHINEN
.
133
4.2
ENDLICHE
TRANSDUCER
.
136
4.3
BEISPIELE
FUER
AUTOMATENNETZE
.
138
4.3.1
SYNCHRONE
AUTOMATEN:
ZELLULARE
AUTOMATEN
.
138
4.3.2
ASYNCHRONE
AUTOMATEN:
PETRI-NETZE
.
143
4.3.3
ANWENDUNGEN
UND
VARIANTEN
VON
PETRI-NETZEN
.
152
INHALT
VII
4.4
ANWENDUNGEN
ENDLICHER
MASCHINEN
.
157
4.4.1
SOFTWARE
UND
SYSTEMENTWURF.
STATECHARTS
.
159
4.4.2
WORKFLOW-MANAGEMENT
.
161
4.4.3
ELEKTRONISCHER
HANDEL
.
162
4.5
BIBLIOGRAPHISCHE
HINWEISE
UND
ERGAENZUNGEN
.
164
4.6
UEBUNGEN
.
164
II
KONTEXTFREIE
SPRACHEN
UND
KELLERAUTOMATEN
169
5
KONTEXTFREIE
SPRACHEN
171
5.1
KONTEXTFREIE
GRAMMATIKEN
.
171
5.1.1
BEISPIELE
UND
DEFINITIONEN
.
171
5.1.2
NORMALFORMEN
.
174
5.2
EIGENSCHAFTEN
KONTEXTFREIER
SPRACHEN
.
180
5.2.1
MEHRDEUTIGKEIT
.
180
5.2.2
DAS
PUMPING-LEMMA
FUER
KONTEXTFREIE
SPRACHEN
.
183
5.2.3
ABSCHLUSSEIGENSCHAFTEN
.
186
5.3
UEBUNGEN
.
188
6
KELLERAUTOMATEN
191
6.1
NICHTDETERMINISTISCHE
KELLERAUTOMATEN
.
191
6.1.1
GRUNDLEGENDE
DEFINITIONEN
.
191
6.1.2
AKZEPTIEREN
MIT
LEEREM
KELLER
.
197
6.2
AEQUIVALENZ
VON
KONTEXTFREIEN
GRAMMATIKEN
UND
KELLERAUTOMATEN
.
.
.
198
6.3
DETERMINISTISCHE
KELLERAUTOMATEN
.
200
6.4
UEBUNGEN
.
202
7
ANWENDUNGEN
KONTEXTFREIER
SPRACHEN
203
7.1
ABLEITUNGS
UND
SYNTAXBAEUME
.
203
7.2
COMPILERBAU
.
207
7.3
SYNTAX
VON
PROGRAMMIERSPRACHEN
.
216
7.3.1
ERWEITERTE
BACKUS-NAUR-FORM
.
216
7.3.2
SYNTAXDIAGRAMME
.
220
7.4
REGULAERE
DEFINITIONEN
.
222
7.4.1
SADT
.
224
7.4.2
XML
.
226
7.5
BIBLIOGRAPHISCHE
HINWEISE
.
229
7.6
UEBUNGEN
.
230
III
BERECHENBARKEIT
UND
KOMPLEXITAET
233
8
TYP-1
UND
TYP-O-SPRACHEN
235
8.1
DIE
CHOMSKY-HIERARCHIE
.
235
8.1.1
TYP-L-SPRACHEN
(KONTEXTSENSITIVE
SPRACHEN)
.
236
8.1.2
TYP-0-SPRACHEN
(REKURSIV-AUFZAEHLBARE
SPRACHEN)
.
238
8.1.3
DIE
HIERARCHIE
.
244
VIII
INHALT
8.1.4
DAS
WORTPROBLEM
.
246
8.2
TURMGAUTOMATEN
.
248
8.2.1
DEFINITIONEN
UND
BEISPIELE
.
248
8.2.2
VARIANTEN
VON
TURINGAUTOMATEN
.
251
8.2.3
AEQUIVALENZ
VON
DETERMINISTISCHEN
UND
NICHTDETERMINISTISCHEN
TURINGAUTOMATEN
.
253
8.2.4
LINEAR
BESCHRAENKTE
AUTOMATEN
.
254
8.2.5
AEQUIVALENZ
ZWISCHEN
LINEAR
BESCHRAENKTEN
AUTOMATEN
UND
TYP
1-GRAMMATIKEN
.
254
8.2.6
AEQUIVALENZ
ZWISCHEN
TURINGAUTOMATEN
UND
TYP-O-GRAMMATIKEN
256
8.3
ZUSAMMENFASSUNG
.
257
8.4
BIBLIOGRAPHISCHE
HINWEISE
.
259
8.5
UEBUNGEN
.
259
9
BERECHENBARKEIT
261
9.1
TURING-BERECHENBARKEIT
.
261
9.1.1
DEFINITION
UND
BEISPIELE
.
262
9.1.2
DIE
PROGRAMMIERSPRACHE
T
URING
.
266
9.2
LOOP-,
WHILE
UND
GOTO-BERECHENBARKEIT
.
271
9.2.1
LOOP-BERECHENBARKEIT
.
271
9.2.2
WHILE-BERECHENBARKEIT
.
278
9.2.3
GOTO-BERECHENBARKEIT
.
279
9.2.4
DIE
CHURCHSCHE
THESE
.
284
9.2.5
DIE
ACKERMANNFUNKTION
.
285
9.3
UNIVERSELLE
TURINGMASCHINEN
.
289
9.3.1
CODIERUNG
VON
TURINGMASCHINEN
.
290
9.3.2
DAS
UTM-THEOREM
.
293
9.3.3
DAS
SMN-THEOREM
.
294
9.4
BIBLIOGRAPHISCHE
HINWEISE
.
296
9.5
UEBUNGEN
.
296
10
ENTSCHEIDBARKEIT
299
10.1
EXISTENZ
UNENTSCHEIDBARER
PROBLEME
.
299
10.2
ENTSCHEIDBARE
UND
SEMI-ENTSCHEIDBARE
MENGEN
.
300
10.3
REDUZIERBARKEIT
VON
MENGEN
.
304
10.4
UNENTSCHEIDBARE
MENGEN
.
305
10.4.1
DAS
HALTEPROBLEM
.
305
10.4.2
DAS
KORREKTHEITSPROBLEM
.
307
10.4.3
DAS
AEQUIVALENZPROBLEM
.
308
10.4.4
DER
SATZ
VON
RICE
.
308
10.4.5
DAS
POSTSCHE
KORRESPONDENZPROBLEM
.
309
10.4.6
ANWENDUNGEN
DES
POSTSCHEN
KORRESPONDENZPROBLEMS
.
311
10.5
UEBUNGEN
.
314
INHALT
IX
11
KOMPLEXITAET
317
11.1
DIE
O-NOTATION
.
317
11.2
KOMPLEXITAET
VON
ALGORITHMEN
.
320
11.3
WICHTIGE
KOMPLEXITAETSKLASSEN
.
322
11.4
DIE
KLASSEN
P
UND
NP
.
324
11.4.1
DIE
KLASSE
P
.
324
11.4.2
DIE
KLASSE
NP
.
324
11.4.3
DAS
F-TVF-PROBLEM
.
325
11.4.4
NP
VOLLSTAENDIGKEIT
.
326
11.5
KONKRETE
TVF-VOLLSTAENDIGE
PROBLEME
.
328
11.5.1
DAS
ERFUELLBARKEITSPROBLEM
DER
AUSSAGENLOGIK
.
329
11.5.2
WEITERE
NP
VOLLSTAENDIGE
PROBLEME
.
332
11.6
HEURISTIKEN
ZUR
BEHANDLUNG
NP-VOLLSTAENDIGER
PROBLEME
.
336
11.6.1
EINE
HEURISTIK
FUER
TSP
.
337
11.6.2
UNTERE
SCHRANKEN
FUER
DAS
APPROXIMIEREN
.
339
11.7
ZUSAMMENFASSUNG
.
340
11.8
BIBLIOGRAPHISCHE
HINWEISE
UND
ERGAENZUNGEN
.
341
11.9
UEBUNGEN
.
342
LITERATURVERZEICHNIS
343
INDEX
349 |
| 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 | BV014362797 |
| classification_rvk | ST 110 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)174796605 (DE-599)BVBBV014362797 |
| discipline | Informatik |
| edition | 2., überarb. und aktualisierte Aufl. |
| 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">BV014362797</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140606</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020611s2002 gw ad|| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964402297</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528131470</subfield><subfield code="9">3-528-13147-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)174796605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014362797</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-2070s</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">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="245" ind1="1" ind2="0"><subfield code="a">Grundlagen der theoretischen Informatik mit Anwendungen</subfield><subfield code="b">eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik</subfield><subfield code="c">Gottfried Vossen ; Kurt-Ulrich Witt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., überarb. und aktualisierte Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 353 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Vieweg-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="785" ind1="0" ind2="0"><subfield code="i">3. Aufl. u.d.T.</subfield><subfield code="a">Vossen, Gottfried</subfield><subfield code="t">Grundkurs theoretische Informatik</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009843679&sequence=000001&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-009843679</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV014362797 |
| illustrated | Illustrated |
| indexdate | 2024-08-24T00:32:15Z |
| institution | BVB |
| isbn | 3528131470 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009843679 |
| oclc_num | 174796605 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-824 DE-739 DE-384 DE-20 DE-861 DE-Aug4 DE-210 DE-92 DE-1051 DE-91G DE-BY-TUM DE-526 DE-83 DE-11 DE-2070s |
| owner_facet | DE-473 DE-BY-UBG DE-824 DE-739 DE-384 DE-20 DE-861 DE-Aug4 DE-210 DE-92 DE-1051 DE-91G DE-BY-TUM DE-526 DE-83 DE-11 DE-2070s |
| physical | XI, 353 S. Ill., graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Vieweg |
| record_format | marc |
| series2 | Vieweg-Lehrbuch |
| spelling | Vossen, Gottfried 1955- Verfasser (DE-588)121017168 aut Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik Gottfried Vossen ; Kurt-Ulrich Witt 2., überarb. und aktualisierte Aufl. Braunschweig [u.a.] Vieweg 2002 XI, 353 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Vieweg-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 3. Aufl. u.d.T. Vossen, Gottfried Grundkurs theoretische Informatik DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009843679&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik |
| title_auth | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik |
| title_exact_search | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik |
| title_full | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik Gottfried Vossen ; Kurt-Ulrich Witt |
| title_fullStr | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik Gottfried Vossen ; Kurt-Ulrich Witt |
| title_full_unstemmed | Grundlagen der theoretischen Informatik mit Anwendungen eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik Gottfried Vossen ; Kurt-Ulrich Witt |
| title_new | Vossen, Gottfried Grundkurs theoretische Informatik |
| title_short | Grundlagen der theoretischen Informatik mit Anwendungen |
| title_sort | grundlagen der theoretischen informatik mit anwendungen eine einfuhrung fur studierende der informatik wirtschaftsinformatik und technischen informatik |
| title_sub | eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und technischen Informatik |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009843679&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vossengottfried grundlagendertheoretischeninformatikmitanwendungeneineeinfuhrungfurstudierendederinformatikwirtschaftsinformatikundtechnischeninformatik AT wittkurtulrich grundlagendertheoretischeninformatikmitanwendungeneineeinfuhrungfurstudierendederinformatikwirtschaftsinformatikundtechnischeninformatik |