Verfügbarkeit: Theoretische Informatik | Technische Universität München

Theoretische Informatik: mit 22 Tabellen und 78 Aufgaben

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Hoffmann, Dirk W. 1972- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München Hanser 2009
Schlagwörter:	Theoretische Informatik - Lehrbuch Theoretische Informatik Lehrbuch
Links:	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
Umfang:	431 S. Ill., graph. Darst.
ISBN:	9783446415119

Internformat

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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017079810

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 500f 2009 A 1100
DE-BY-TUM_katkey	1663638
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010143192
_version_	1821933513750872064
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>01774nam 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="943" ind1="1" 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-12-20T13:27:24Z
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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 500f 2009 A 1100 Lageplan
Exemplar 1	Ausleihbar Am Standort