Theoretische Informatik: mit 22 Tabellen und 78 Aufgaben
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
Hanser
2009
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 431 S. Ill., graph. Darst. |
| ISBN: | 9783446415119 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035274494 | ||
| 003 | DE-604 | ||
| 005 | 20230126 | ||
| 007 | t | ||
| 008 | 090128s2009 gw ad|| |||| 00||| ger d | ||
| 015 | |a 09,N03,0032 |2 dnb | ||
| 016 | 7 | |a 991818644 |2 DE-101 | |
| 020 | |a 9783446415119 |c Pb. : sfr 67.00 (freier Pr.), EUR 39.90, EUR 41.10 (AT) |9 978-3-446-41511-9 | ||
| 024 | 3 | |a 9783446415119 | |
| 028 | 5 | 2 | |a 553/41511 |
| 035 | |a (OCoLC)316293998 | ||
| 035 | |a (DE-599)DNB991818644 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-12 |a DE-91G |a DE-210 |a DE-521 |a DE-Aug4 |a DE-859 |a DE-858 |a DE-703 |a DE-634 |a DE-1051 |a DE-83 |a DE-1050 |a DE-1028 |a DE-11 |a DE-573 | ||
| 082 | 0 | |a 004.015122 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Hoffmann, Dirk W. |d 1972- |e Verfasser |0 (DE-588)122854802 |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b mit 22 Tabellen und 78 Aufgaben |c Dirk W. Hoffmann |
| 264 | 1 | |a München |b Hanser |c 2009 | |
| 300 | |a 431 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Theoretische Informatik - 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 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017079810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017079810 | ||
Record in the Search Index
| _version_ | 1804138563585966080 |
|---|---|
| adam_text | Inhaltsverzeichnis
1 Einführung 11
1.1 Was ist theoretische Informatik? .................................... 11
1.2 Zurück zu den Anfängen ........................................ 14
1.2.1 Die Mathematik in der Krise ................................. 14
1.2.2 Die ersten Rechenmaschinen................................. 22
1.2.3 Der Computer wird erwachsen ................................ 24
1.2.4 Berechenbarkeit versus Komplexität ............................. 26
1.3 Theoretische Informatik heute...................................... 32
1.4 Übungsaufgaben............................................. 34
2 Mathematische Grundlagen 37
2.1 Grandlagen der Mengenlehre...................................... 38
2.1.1 Der Mengenbegriff ...................................... 38
2.1.2 Mengenoperationen...................................... 40
2.2 Relationen und Funktionen....................................... 43
2.3 Die Welt der Zahlen........................................... 51
2.3.1 Natürliche, rationale und reelle Zahlen............................ 51
2.3.2 Von großen Zahlen....................................... 54
2.3.3 Die Unendlichkeit begreifen.................................. 56
2.4 Rekursion und induktive Beweise.................................... 64
2.4.1 Vollständige Induktion..................................... 65
2.4.2 Strukturelle Induktion..................................... 67
2.5 Übungsaufgaben............................................. 69
3 Logik und Deduktion 77
3.1 Aussagenlogik.............................................. 78
3.1.1 Syntax und Semantik ..................................... 78
3.1.2 Normalformen......................................... 87
3.1.3 Beweistheorie......................................... 92
3.1.3.1 Hilbert-Kalkül................................... 93
3.1.3.2 Resolutionskalkül................................. 101
3.1.3.3 Tableaukalkül................................... 105
3.1.4 Anwendung: Hardware-Entwurf ............................... 108
3.2 Prädikatenlogik............................................. 113
Inhaltsverzeichnis
3.2.1 Syntax und Semantik ..................................... 114
3.2.2 Normalformen......................................... 118
3.2.3 Beweistheorie......................................... 120
3.2.3.1 Resolutionskalkül................................. 126
3.2.3.2 Tableaukalkül................................... 131
3.2.4 Anwendung: Logische Programmierung........................... 134
3.3 Logiken höherer Stufe.......................................... 141
3.4 Übungsaufgaben............................................. 144
4 Formale Sprachen 153
4.1 Sprache und Grammatik......................................... 154
4.2 Chomsky-Hierarchie........................................... 160
4.3 Reguläre Sprachen............................................ 162
4.3.1 Definition und Eigenschaften................................. 162
4.3.2 Pumping-Lemma für reguläre Sprachen............................ 164
4.3.3 Reguläre Ausdrücke...................................... 166
4.4 Kontextfreie Sprachen.......................................... 169
4.4.1 Definition und Eigenschaften................................. 169
4.4.2
Normalformen
......................................... 169
4.4.2.1 Chomsky-Normalform .............................. 169
4.4.2.2 Backus-Naur-Form ................................ 171
4.4.3 Pumping-Lemma für kontextfreie Sprachen.......................... 172
4.4.4 Entscheidungsprobleme.................................... 176
4.4.5 Abschlusseigenschaften.................................... 178
4.5 Kontextsensitive Sprachen........................................ 181
4.5.1 Definition und Eigenschaften................................. 181
4.5.2 Entscheidungsprobleme.................................... 182
4.5.3 Abschlusseigenschaften.................................... 183
4.6 Rekursiv aufzählbare Sprachen..................................... 183
4.7 Übungsaufgaben............................................. 185
5 Endliche Automaten 191
5.1 Begriffsbestimmung........................................... 192
5.2 Deterministische Automaten ...................................... 194
5.2.1 Definition und Eigenschaften................................. 194
5.2.2 Automatenminimierung.................................... 196
5.3 Nichtdeterministische Automaten.................................... 198
5.3.1 Definition und Eigenschaften................................. 198
5.3.2 Satz von Rabin, Scott..................................... 200
5.3.3 Epsilon-Übergänge ...................................... 203
5.4 Automaten und reguläre Sprachen ................................... 206
5.4.1 Abschlusseigenschaften.................................... 208
Inhaltsverzeichnis
5.4.2 Entscheidungsprobleme.................................... 210
5.5 Kellerautomaten............................................. 211
5.5.1 Definition und Eigenschaften................................. 211
5.5.2 Kellerautomaten und kontextfreie Sprachen.......................... 214
5.5.3 Deterministische Kellerautomaten............................... 216
5.6 Transduktoren.............................................. 218
5.6.1 Definition und Eigenschaften................................. 218
5.6.2 Automatenminimierung.................................... 219
5.6.3 Automatensynthese...................................... 221
5.6.4
Mealy-
und Moore-Automaten................................ 222
5.7 Petri-Netze................................................ 226
5.8 Zelluläre Automaten........................................... 231
5.9 Übungsaufgaben............................................. 234
6 Berechenbarkeitstheorie 241
6.1 Berechnungsmodelle .......................................... 242
6.1.1
Loop-Programme
....................................... 242
6.1.2
While-Programme.......................................
248
6.1.3 Goto-Programme ....................................... 252
6.1.4 Primitiv-rekursive Funktionen................................. 257
6.1.5 Turing-Maschinen....................................... 265
6.1.5.1 Einband-Turing-Maschinen............................ 265
6.1.5.2 Einseitig und linear beschränkte Turing-Maschinen ............... 273
6.1.5.3 Mehrspur-Turing-Maschinen........................... 274
6.1.5.4 Mehrband-Turing-Maschinen........................... 274
6.1.5.5 Maschinenkomposition.............................. 276
6.1.5.6 Universelle Turing-Maschinen .......................... 277
6.1.5.7 Zelluläre Turing-Maschinen............................ 281
6.1.6 Alternative Berechnungsmodelle............................... 283
6.1.6.1 Registermaschinen................................. 284
6.1.6.2 Lambda-Kalkül.................................. 288
6.2 Church sche These............................................ 290
6.3 Akzeptierende Turing-Maschinen.................................... 297
6.4 Entscheidbarkeit............................................. 303
6.5 Unentscheidbare Probleme....................................... 307
6.5.1 Halteproblem ......................................... 307
6.5.2 Satz von Rice ......................................... 310
6.5.3 Reduktionsbeweise ...................................... 313
6.5.4 Das Post sehe Korrespondenzproblem ............................ 314
6.5.5 Weitere unentscheidbare Probleme.............................. 318
6.6 Übungsaufgaben............................................. 321
10 Inhaltsverzeichnis
7 Komplexitätstheorie 329
7.1 Algorithmische Komplexität ...................................... 330
7.1.1 O-Kalkül............................................ 337
7.1.2 Rechnen im O-Kalkül..................................... 340
7.2 Komplexitätsklassen........................................... 344
7.2.1
Ρ
und NP............................................ 347
7.2.2 PSPACE und NPSPACE.................................... 352
7.2.3 EXPundNEXP........................................ 353
7.2.4 Komplementäre Komplexitätsklassen............................. 355
7.3 NP-Vollständigkeit............................................ 357
7.3.1 Polynomielle Reduktion.................................... 357
7.3.2 P-NP-Problem......................................... 358
7.3.3 Satz von Cook......................................... 359
7.3.4 Reduktionsbeweise ...................................... 366
7.4 Übungsaufgaben............................................. 372
A
Notationsverzeichnis 383
8
Abkürzungsverzeichnis 387
С
Glossar 389
Literaturverzeichnis 417
Namensverzeichnis 423
Sachwortverzeichnis 425
|
| any_adam_object | 1 |
| author | Hoffmann, Dirk W. 1972- |
| author_GND | (DE-588)122854802 |
| author_facet | Hoffmann, Dirk W. 1972- |
| author_role | aut |
| author_sort | Hoffmann, Dirk W. 1972- |
| author_variant | d w h dw dwh |
| building | Verbundindex |
| bvnumber | BV035274494 |
| classification_rvk | ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)316293998 (DE-599)DNB991818644 |
| dewey-full | 004.015122 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015122 |
| dewey-search | 004.015122 |
| dewey-sort | 14.015122 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01773nam a2200445 c 4500</leader><controlfield tag="001">BV035274494</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090128s2009 gw ad|| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N03,0032</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991818644</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783446415119</subfield><subfield code="c">Pb. : sfr 67.00 (freier Pr.), EUR 39.90, EUR 41.10 (AT)</subfield><subfield code="9">978-3-446-41511-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783446415119</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">553/41511</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316293998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991818644</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">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015122</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">ST 130</subfield><subfield code="0">(DE-625)143588:</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">Hoffmann, Dirk W.</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122854802</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">mit 22 Tabellen und 78 Aufgaben</subfield><subfield code="c">Dirk W. Hoffmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">431 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="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik - 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="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=017079810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017079810</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV035274494 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:30:11Z |
| institution | BVB |
| isbn | 9783446415119 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017079810 |
| oclc_num | 316293998 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-210 DE-521 DE-Aug4 DE-859 DE-858 DE-703 DE-634 DE-1051 DE-83 DE-1050 DE-1028 DE-11 DE-573 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-210 DE-521 DE-Aug4 DE-859 DE-858 DE-703 DE-634 DE-1051 DE-83 DE-1050 DE-1028 DE-11 DE-573 |
| physical | 431 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Hanser |
| record_format | marc |
| spelling | Hoffmann, Dirk W. 1972- Verfasser (DE-588)122854802 aut Theoretische Informatik mit 22 Tabellen und 78 Aufgaben Dirk W. Hoffmann München Hanser 2009 431 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik - 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 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017079810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hoffmann, Dirk W. 1972- Theoretische Informatik mit 22 Tabellen und 78 Aufgaben Theoretische Informatik - Lehrbuch Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben |
| title_auth | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben |
| title_exact_search | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben |
| title_full | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben Dirk W. Hoffmann |
| title_fullStr | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben Dirk W. Hoffmann |
| title_full_unstemmed | Theoretische Informatik mit 22 Tabellen und 78 Aufgaben Dirk W. Hoffmann |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik mit 22 tabellen und 78 aufgaben |
| title_sub | mit 22 Tabellen und 78 Aufgaben |
| topic | Theoretische Informatik - Lehrbuch Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik - Lehrbuch Theoretische Informatik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017079810&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hoffmanndirkw theoretischeinformatikmit22tabellenund78aufgaben |