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

Theoretische Informatik: mit 26 Tabellen und 109 Aufgaben

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Hoffmann, Dirk W. 1972- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München Hanser [2015]
Ausgabe:	3., aktualisierte Aufl.
Schlagwörter:	Theoretische Informatik Lehrbuch
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=5242972&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=028119474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	431 S. zahlr. Ill., graph. Darst. 25 cm
ISBN:	9783446444461

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV042687753
003	DE-604
005	20151112
007	t\|
008	150713s2015 xx ad\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 15N20 \|2 dnb
016	7		\|a 1070705659 \|2 DE-101
020			\|a 9783446444461 \|9 978-3-446-44446-1
035			\|a (OCoLC)923734774
035			\|a (DE-599)DNB1070705659
040			\|a DE-604 \|b ger
041	0		\|a ger
049			\|a DE-706 \|a DE-12 \|a DE-2070s \|a DE-91G \|a DE-1050 \|a DE-523 \|a DE-Aug4 \|a DE-859 \|a DE-11 \|a DE-473 \|a DE-739 \|a DE-384 \|a DE-83 \|a DE-210 \|a DE-355 \|a DE-20 \|a DE-188 \|a DE-898
082	0		\|a 004.0151 \|2 22/ger
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
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 26 Tabellen und 109 Aufgaben \|c Dirk W. Hoffmann
250			\|a 3., aktualisierte Aufl.
264		1	\|a München \|b Hanser \|c [2015]
300			\|a 431 S. \|b zahlr. Ill., graph. Darst. \|c 25 cm
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-44530-7
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=5242972&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=028119474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028119474

Datensatz im Suchindex

DE-BY-TUM_call_number	0104 DAT 500f 2009 A 1100(3) 0303 DAT 500f 2012 L 684(3)
DE-BY-TUM_katkey	2138928
DE-BY-TUM_location	01 03
DE-BY-TUM_media_number	040030476196 040008068559 040008068560 040008068537 040008068571 040008068515 040008068548 040008068480 040008068479 040008068526 040008068504 040008068491
_version_	1821935371705909248
adam_text	INHALTSVERZEICHNIS 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 HTTP://D-NB.INFO/1070705659 8 INHALTSVERZEICHNIS 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 REGULAERESPRACHEN 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 INHALTSVERZEICHNIS 9 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 DEFINITION 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 10 INHALTSVERZEICHNIS 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	BV042687753
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)923734774 (DE-599)DNB1070705659
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	3., aktualisierte Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01809nam a2200421 c 4500</leader><controlfield tag="001">BV042687753</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151112 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">150713s2015 xx ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15N20</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1070705659</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783446444461</subfield><subfield code="9">978-3-446-44446-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923734774</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1070705659</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-898</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 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">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 26 Tabellen und 109 Aufgaben</subfield><subfield code="c">Dirk W. Hoffmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., aktualisierte Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">431 S.</subfield><subfield code="b">zahlr. Ill., graph. Darst.</subfield><subfield code="c">25 cm</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-44530-7</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=5242972&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">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=028119474&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-028119474</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV042687753
illustrated	Illustrated
indexdate	2024-12-20T17:17:25Z
institution	BVB
isbn	9783446444461
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028119474
oclc_num	923734774
open_access_boolean
owner	DE-706 DE-12 DE-2070s DE-91G DE-BY-TUM DE-1050 DE-523 DE-Aug4 DE-859 DE-11 DE-473 DE-BY-UBG DE-739 DE-384 DE-83 DE-210 DE-355 DE-BY-UBR DE-20 DE-188 DE-898 DE-BY-UBR
owner_facet	DE-706 DE-12 DE-2070s DE-91G DE-BY-TUM DE-1050 DE-523 DE-Aug4 DE-859 DE-11 DE-473 DE-BY-UBG DE-739 DE-384 DE-83 DE-210 DE-355 DE-BY-UBR DE-20 DE-188 DE-898 DE-BY-UBR
physical	431 S. zahlr. Ill., graph. Darst. 25 cm
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Hanser
record_format	marc
spellingShingle	Hoffmann, Dirk W. 1972- Theoretische Informatik mit 26 Tabellen und 109 Aufgaben Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben
title_auth	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben
title_exact_search	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben
title_full	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben Dirk W. Hoffmann
title_fullStr	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben Dirk W. Hoffmann
title_full_unstemmed	Theoretische Informatik mit 26 Tabellen und 109 Aufgaben Dirk W. Hoffmann
title_short	Theoretische Informatik
title_sort	theoretische informatik mit 26 tabellen und 109 aufgaben
title_sub	mit 26 Tabellen und 109 Aufgaben
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Lehrbuch
url	http://deposit.dnb.de/cgi-bin/dokserv?id=5242972&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=028119474&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hoffmanndirkw theoretischeinformatikmit26tabellenund109aufgaben

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

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

Teilbibliothek Chemie, Lehrbuchsammlung

Bestandsangaben von Teilbibliothek Chemie, Lehrbuchsammlung
Signatur:	0303 DAT 500f 2012 L 684(3) Lageplan
Exemplar 1	Ausleihbar Am Standort
Exemplar 2	Ausleihbar Am Standort
Exemplar 3	Ausleihbar Am Standort
Exemplar 4	Ausleihbar Am Standort
Exemplar 5	Ausleihbar Am Standort
Exemplar 6	Ausleihbar Am Standort
Exemplar 7	Ausleihbar Am Standort
Exemplar 8	Ausleihbar Am Standort
Exemplar 9	Ausleihbar Am Standort
Exemplar 10	Ausleihbar Am Standort
Exemplar 11	Ausleihbar Am Standort