Holdings: Theoretische Informatik

Theoretische Informatik: mit 26 Tabellen und 108 Aufgaben

Saved in:

Bibliographic Details
Main Author:	Hoffmann, Dirk W. 1972- (Author)
Format:	Book
Language:	German
Published:	München Hanser 2011
Edition:	2., aktualisierte Aufl.
Subjects:	Theoretische Informatik - Lehrbuch Theoretische Informatik Lehrbuch
Online Access:	Inhaltsverzeichnis
Physical Description:	431 S. Ill., graph. Darst.
ISBN:	9783446426399

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV039519377
003	DE-604
005	20181127
007	t
008	110809s2011 gw ad\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 09,N03,0032 \|2 dnb
020			\|a 9783446426399 \|c Pb. : sfr 67.00 (freier Pr.), EUR 39.90, EUR 41.10 (AT) \|9 978-3-446-42639-9
028	5	2	\|a 553/41511
035			\|a (OCoLC)748700867
035			\|a (DE-599)DNB1011784432
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-859 \|a DE-29T \|a DE-83 \|a DE-573 \|a DE-20 \|a DE-863 \|a DE-M347 \|a DE-634 \|a DE-860 \|a DE-11 \|a DE-898 \|a DE-858 \|a DE-1046 \|a DE-862 \|a DE-Aug4 \|a DE-B768
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 26 Tabellen und 108 Aufgaben \|c Dirk W. Hoffmann
250			\|a 2., aktualisierte Aufl.
264		1	\|a München \|b Hanser \|c 2011
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
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-446-42854-6
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=024371900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-024371900

Record in the Search Index

DE-BY-862_location	2000
DE-BY-863_location	1340
DE-BY-FWS_call_number	2000/ST 130 H711(2) 1340/ST 130 H711(2)
DE-BY-FWS_katkey	410051
DE-BY-FWS_media_number	083000505996 083101159774
_version_	1831515862775889920
adam_text	IMAGE 1 INHALTSVERZEICHNIS 1 EINFUHRUNG 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 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011784432 DIGITALISIERT DURCH IMAGE 2 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 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 IMAGE 3 INHALTSVERZEICHNIS 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 IMAGE 4 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 PUNDNP 359 7.2.2 PSPACEUNDNPSPACE 365 7.2.3 EXPUNDNEXP 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	BV039519377
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)748700867 (DE-599)DNB1011784432
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
edition	2., aktualisierte Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01836nam a2200445 c 4500</leader><controlfield tag="001">BV039519377</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110809s2011 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="020" ind1=" " ind2=" "><subfield code="a">9783446426399</subfield><subfield code="c">Pb. : sfr 67.00 (freier Pr.), EUR 39.90, EUR 41.10 (AT)</subfield><subfield code="9">978-3-446-42639-9</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)748700867</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011784432</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-859</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-B768</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 26 Tabellen und 108 Aufgaben</subfield><subfield code="c">Dirk W. Hoffmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., aktualisierte Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</subfield><subfield code="c">2011</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-446-42854-6</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=024371900&sequence=000001&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-024371900</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV039519377
illustrated	Illustrated
indexdate	2025-05-08T04:00:38Z
institution	BVB
isbn	9783446426399
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024371900
oclc_num	748700867
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-859 DE-29T DE-83 DE-573 DE-20 DE-863 DE-BY-FWS DE-M347 DE-634 DE-860 DE-11 DE-898 DE-BY-UBR DE-858 DE-1046 DE-862 DE-BY-FWS DE-Aug4 DE-B768
owner_facet	DE-12 DE-91G DE-BY-TUM DE-859 DE-29T DE-83 DE-573 DE-20 DE-863 DE-BY-FWS DE-M347 DE-634 DE-860 DE-11 DE-898 DE-BY-UBR DE-858 DE-1046 DE-862 DE-BY-FWS DE-Aug4 DE-B768
physical	431 S. Ill., graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Hanser
record_format	marc
spellingShingle	Hoffmann, Dirk W. 1972- Theoretische Informatik mit 26 Tabellen und 108 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 26 Tabellen und 108 Aufgaben
title_auth	Theoretische Informatik mit 26 Tabellen und 108 Aufgaben
title_exact_search	Theoretische Informatik mit 26 Tabellen und 108 Aufgaben
title_full	Theoretische Informatik mit 26 Tabellen und 108 Aufgaben Dirk W. Hoffmann
title_fullStr	Theoretische Informatik mit 26 Tabellen und 108 Aufgaben Dirk W. Hoffmann
title_full_unstemmed	Theoretische Informatik mit 26 Tabellen und 108 Aufgaben Dirk W. Hoffmann
title_short	Theoretische Informatik
title_sort	theoretische informatik mit 26 tabellen und 108 aufgaben
title_sub	mit 26 Tabellen und 108 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=024371900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hoffmanndirkw theoretischeinformatikmit26tabellenund108aufgaben

Holdings

Indexes

THWS Schweinfurt Zentralbibliothek Lesesaal

Holdings details from THWS Schweinfurt Zentralbibliothek Lesesaal
Call Number:	2000 ST 130 H711(2)
Copy 1	ausleihbar Available Place a Hold

THWS Würzburg Teilbibliothek SHL, Raum I.2.11

Holdings details from THWS Würzburg Teilbibliothek SHL, Raum I.2.11
Call Number:	1340 ST 130 H711(2)
Copy 1	ausleihbar Checked out – Due: 27.05.2025 Recall This

MARC

Record in the Search Index

THWS Schweinfurt Zentralbibliothek Lesesaal

THWS Würzburg Teilbibliothek SHL, Raum I.2.11

Similar Items