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

Theoretische Informatik:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Hoffmann, Dirk W. 1972- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München Hanser [2022]
Ausgabe:	5., aktualisierte Auflage
Schlagwörter:	Theoretische Informatik Lehrbuch
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033341551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	431 Seiten Illustrationen, Diagramme
ISBN:	9783446470293 3446470298

Internformat

MARC


LEADER	00000nam a22000008c 4500
001	BV047960346
003	DE-604
005	20221216
007	t\|
008	220428s2022 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 22,N12 \|2 dnb
016	7		\|a 1253609284 \|2 DE-101
020			\|a 9783446470293 \|c : circa EUR 42.99 (DE), circa EUR 44.20 (AT) \|9 978-3-446-47029-3
020			\|a 3446470298 \|9 3-446-47029-8
024	3		\|a 9783446470293
035			\|a (OCoLC)1319833079
035			\|a (DE-599)DNB1253609284
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-BY
049			\|a DE-210 \|a DE-1050 \|a DE-91G \|a DE-12 \|a DE-29T \|a DE-634 \|a DE-92 \|a DE-859 \|a DE-83 \|a DE-Aug4 \|a DE-473 \|a DE-945 \|a DE-1028 \|a DE-355 \|a DE-19 \|a DE-523 \|a DE-20 \|a DE-2070s \|a DE-522
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|8 1\p \|a 004 \|2 23sdnb
084			\|a DAT 500 \|2 stub
100	1		\|a Hoffmann, Dirk W. \|d 1972- \|e Verfasser \|0 (DE-588)122854802 \|4 aut
245	1	0	\|a Theoretische Informatik \|c Dirk W. Hoffmann
250			\|a 5., aktualisierte Auflage
264		1	\|a München \|b Hanser \|c [2022]
264		4	\|c ©2022
300			\|a 431 Seiten \|b Illustrationen, Diagramme
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
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
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-446-47256-3
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=033341551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a vlb \|d 20220317 \|q DE-101 \|u https://d-nb.info/provenance/plan#vlb
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033341551

Datensatz im Suchindex

DE-BY-TUM_call_number	0104 DAT 500 2009 A 1100(5)
DE-BY-TUM_katkey	2641467
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040009297605
_version_	1821936294385680386
adam_text	1 EINFUEHRUNG 11 1.1 WAS IST THEORETISCHE INFORMATIK? . 11 1.2 ZURUECK ZU DEN ANFAENGEN . 14 1.2.1 DIE MATHEMATIK IN DER KRISE . 14 1.2.2 METAMATHEMATIK . 18 1.2.3 DIE ERSTEN RECHENMASCHINEN . 22 1.2.4 DER COMPUTER WIRD ERWACHSEN . 24 1.2.5 BERECHENBARKEIT VERSUS KOMPLEXITAET . 26 1.3 THEORETISCHE INFORMATIK HEUTE . 32 1.4 UEBUNGSAUFGABEN . 34 2 MATHEMATISCHE GRUNDLAGEN 37 2.1 GRUNDLAGEN DER MENGENLEHRE . 38 2.1.1 DER MENGENBEGRIFF . 38 2.1.2 MENGENOPERATIONEN . 41 2.2 RELATIONEN UND FUNKTIONEN . 44 2.3 DIE WELT DER ZAHLEN . 52 2.3.1 NATUERLICHE, RATIONALE UND REELLE ZAHLEN . 52 2.3.2 VON GROSSEN ZAHLEN . 55 2.3.3 DIE UNENDLICHKEIT BEGREIFEN . 57 2.4 REKURSION UND INDUKTIVE BEWEISE . 65 2.4.1 VOLLSTAENDIGE INDUKTION . 66 2.4.2 STRUKTURELLE INDUKTION . 68 2.5 UEBUNGSAUFGABEN . 70 3 LOGIK UND DEDUKTION 81 3.1 AUSSAGENLOGIK . 82 3.1.1 SYNTAX UND SEMANTIK . 82 3.1.2 NORMALFORMEN . 91 3.1.3 BEWEISTHEORIE . 96 3.1.3.1 HILBERT-KALKUEL . 98 3.1.3.2 RESOLUTIONSKALKUEL . 104 3.1.3.3 TABLEAUKALKUEL . 109 3.1.4 ANWENDUNG: HARDWARE-ENTWURF . 112 3.2 PRAEDIKATENLOGIK . 117 3.2.1 SYNTAX UND SEMANTIK . 118 3.2.2 NORMALFORMEN . 122 3.2.3 BEWEISTHEORIE . 124 3.2.3.1 RESOLUTIONSKALKUEL . 130 3.2.3.2 TABLEAUKALKUEL . 135 3.2.4 ANWENDUNG: LOGISCHE PROGRAMMIERUNG . 138 3.3 LOGIKERWEITERUNGEN . 145 3.3.1 PRAEDIKATENLOGIK MIT GLEICHHEIT . 146 3.3.2 LOGIKEN HOEHERER STUFE . 147 3.3.3 TYPENTHEORIE . 149 3.4 UEBUNGSAUFGABEN . 150 4 FORMALE SPRACHEN 161 4.1 SPRACHE UND GRAMMATIK . 162 4.2 CHOMSKY-HIERARCHIE . 168 4.3 REGULAERE SPRACHEN . 170 4.3.1 DEFINITION UND EIGENSCHAFTEN . 170 4.3.2 PUMPING-LEMMA FUER REGULAERE SPRACHEN . 172 4.3.3 SATZ VON MYHILL-NERODE . 174 4.3.4 REGULAERE AUSDRUECKE . 176 4.4 KONTEXTFREIE SPRACHEN . 179 4.4.1 DEFINITION UND EIGENSCHAFTEN . 179 4.4.2 NORMALFORMEN . 179 4.4.2.1 CHOMSKY-NORMALFORM . 179 4.4.2.2 BACKUS-NAUR-FORM . 181 4.4.3 PUMPING-LEMMA FUER KONTEXTFREIE SPRACHEN . 182 4.4.4 ENTSCHEIDUNGSPROBLEME . 186 4.4.5 ABSCHLUSSEIGENSCHAFTEN . 188 4.5 KONTEXTSENSITIVE SPRACHEN . 191 4.5.1 DEFINITION UND EIGENSCHAFTEN . 191 4.5.2 ENTSCHEIDUNGSPROBLEME . 192 4.5.3 ABSCHLUSSEIGENSCHAFTEN . 193 4.6 PHRASENSTRUKTURSPRACHEN . 193 4.7 UEBUNGSAUFGABEN . 195 5 ENDLICHE AUTOMATEN 201 5.1 BEGRIFFSBESTIMMUNG . 202 5.2 DETERMINISTISCHE AUTOMATEN . 204 5.2.1 DEFINITION UND EIGENSCHAFTEN . 204 5.2.2 AUTOMATENMINIMIERUNG . 206 5.3 NICHTDETERMINISTISCHE AUTOMATEN . 208 5.3.1 DEFINITION UND EIGENSCHAFTEN . 208 5.3.2 SATZ VON RABIN, SCOTT . 210 5.3.3 EPSILON-UEBERGAENGE . 212 5.4 AUTOMATEN UND REGULAERE SPRACHEN . 216 5.4.1 AUTOMATEN UND REGULAERE AUSDRUECKE . 217 5.4.2 ABSCHLUSSEIGENSCHAFTEN . 218 5.4.3 ENTSCHEIDUNGSPROBLEME . 220 5.4.4 AUTOMATEN UND DER SATZ VON MYHILL-NERODE . 221 5.5 KELLERAUTOMATEN . 223 5.5.1 DESSNITION UND EIGENSCHAFTEN . 223 5.5.2 KELLERAUTOMATEN UND KONTEXTFREIE SPRACHEN . 226 5.5.3 DETERMINISTISCHE KELLERAUTOMATEN . 228 5.6 TRANSDUKTOREN . 230 5.6.1 DEFINITION UND EIGENSCHAFTEN . 230 5.6.2 AUTOMATENMINIMIERUNG . 231 5.6.3 AUTOMATENSYNTHESE . 233 5.6.4 MEALY UND MOORE-AUTOMATEN . 234 5.7 PETRI-NETZE . 238 5.8 ZELLULAERE AUTOMATEN . 243 5.9 UEBUNGSAUFGABEN . 246 6 BERECHENBARKEITSTHEORIE 253 6.1 BERECHNUNGSMODELLE . 254 6.1.1 LOOP-PROGRAMME . 254 6.1.2 WHILE-PROGRAMME . 260 6.1.3 GOTO-PROGRAMME . 264 6.1.4 PRIMITIV-REKURSIVE FUNKTIONEN . 269 6.1.5 TURING-MASCHINEN . 277 6.1.5.1 EINBAND-TURING-MASCHINEN . 277 6.1.5.2 EINSEITIG UND LINEAR BESCHRAENKTE TURING-MASCHINEN . 285 6.1.5.3 MEHRSPUR-TURING-MASCHINEN . 286 6.1.5.4 MEHRBAND-TURING-MASCHINEN . 286 6.1.5.5 MASCHINENKOMPOSITION . 288 6.1.5.6 UNIVERSELLE TURING-MASCHINEN . 289 6.1.5.7 ZELLULAERE TURING-MASCHINEN . 293 6.1.6 ALTERNATIVE BERECHNUNGSMODELLE .295 6.1.6.1 REGISTERMASCHINEN . 296 6.1.6.2 LAMBDA-KALKUEL . 300 6.2 CHURCH ' SCHE THESE . 302 6.3 ENTSCHEIDBARKEIT . 309 6.4 AKZEPTIERENDE TURING-MASCHINEN . 312 6.5 UNENTSCHEIDBARE PROBLEME .319 6.5.1 HALTEPROBLEM . 319 6.5.2 SATZ VON RICE . 322 6.5.3 REDUKTIONSBEWEISE . 325 6.5.4 DAS POST ' SCHE KORRESPONDENZPROBLEM . 326 6.5.5 WEITERE UNENTSCHEIDBARE PROBLEME . 330 6.6 UEBUNGSAUFGABEN . 333 7 KOMPLEXITAETSTHEORIE 341 7.1 ALGORITHMISCHE KOMPLEXITAET .342 7.1.1 O-KALKUEL .349 7.1.2 RECHNEN IM O-KALKUEL .352 7.2 KOMPLEXITAETSKLASSEN . 356 7.2.1 P UND NP . 359 7.2.2 PSPACE UND NPSPACE . 365 7.2.3 EXP UND NEXP . 367 7.2.4 KOMPLEMENTAERE KOMPLEXITAETSKLASSEN .369 7.3 NP-VOLLSTAENDIGKEIT . 371 7.3.1 POLYNOMIELLE REDUKTION . 371 7.3.2 P-NP-PROBLEM . 372 7.3.3 SATZ VON COOK . 373 7.3.4 REDUKTIONSBEWEISE . 380 7.4 UEBUNGSAUFGABEN .386 A NOTATIONSVERZEICHNIS 397 B ABKUERZUNGSVERZEICHNIS 401 C GLOSSAR 403 LITERATURVERZEICHNIS 419 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	BV047960346
classification_rvk	ST 130 ST 120
classification_tum	DAT 500
ctrlnum	(OCoLC)1319833079 (DE-599)DNB1253609284
discipline	Informatik
edition	5., aktualisierte Auflage
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">BV047960346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221216</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">220428s2022 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">22,N12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1253609284</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783446470293</subfield><subfield code="c">: circa EUR 42.99 (DE), circa EUR 44.20 (AT)</subfield><subfield code="9">978-3-446-47029-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3446470298</subfield><subfield code="9">3-446-47029-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783446470293</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1319833079</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1253609284</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-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-210</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-522</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 120</subfield><subfield code="0">(DE-625)143585:</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="084" ind1=" " ind2=" "><subfield code="a">DAT 500</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="c">Dirk W. Hoffmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5., aktualisierte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</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">431 Seiten</subfield><subfield code="b">Illustrationen, 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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-446-47256-3</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=033341551&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">20220317</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-033341551</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV047960346
illustrated	Illustrated
indexdate	2025-01-11T12:56:40Z
institution	BVB
isbn	9783446470293 3446470298
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033341551
oclc_num	1319833079
open_access_boolean
owner	DE-210 DE-1050 DE-91G DE-BY-TUM DE-12 DE-29T DE-634 DE-92 DE-859 DE-83 DE-Aug4 DE-473 DE-BY-UBG DE-945 DE-1028 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-523 DE-20 DE-2070s DE-522
owner_facet	DE-210 DE-1050 DE-91G DE-BY-TUM DE-12 DE-29T DE-634 DE-92 DE-859 DE-83 DE-Aug4 DE-473 DE-BY-UBG DE-945 DE-1028 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-523 DE-20 DE-2070s DE-522
physical	431 Seiten Illustrationen, Diagramme
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Hanser
record_format	marc
spellingShingle	Hoffmann, Dirk W. 1972- Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Theoretische Informatik
title_auth	Theoretische Informatik
title_exact_search	Theoretische Informatik
title_full	Theoretische Informatik Dirk W. Hoffmann
title_fullStr	Theoretische Informatik Dirk W. Hoffmann
title_full_unstemmed	Theoretische Informatik Dirk W. Hoffmann
title_short	Theoretische Informatik
title_sort	theoretische 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=033341551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hoffmanndirkw theoretischeinformatik

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0104 DAT 500 2009 A 1100(5) Lageplan
Exemplar 1	Nicht ausleihbar Am Standort