Verfügbarkeit: Theoretische Informatik

Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Asteroth, Alexander 1968- (VerfasserIn), Baier, Christel (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	München Pearson Studium 2003
Ausgabe:	[Nachdr.]
Schriftenreihe:	Informatik
Schlagworte:	Theoretische Informatik Lehrbuch
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Literaturverz. S. 415 - 417
Beschreibung:	424 S. graph. Darst.
ISBN:	3827370337

Internformat

MARC


LEADER	00000nam a22000008c 4500
001	BV019540130
003	DE-604
005	20240712
007	t
008	041102s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3827370337 \|9 3-8273-7033-7
035			\|a (OCoLC)249435368
035			\|a (DE-599)BVBBV019540130
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-860 \|a DE-1028 \|a DE-20 \|a DE-858 \|a DE-703 \|a DE-19 \|a DE-83 \|a DE-29 \|a DE-863
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 Asteroth, Alexander \|d 1968- \|e Verfasser \|0 (DE-588)122534425 \|4 aut
245	1	0	\|a Theoretische Informatik \|b eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen \|c Alexander Asteroth ; Christel Baier
250			\|a [Nachdr.]
264		1	\|a München \|b Pearson Studium \|c 2003
300			\|a 424 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Informatik
500			\|a Literaturverz. S. 415 - 417
650		4	\|a Theoretische Informatik
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
700	1		\|a Baier, Christel \|e Verfasser \|0 (DE-588)12400301X \|4 aut
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-012908479

Datensatz im Suchindex

DE-BY-863_location	1340
DE-BY-FWS_call_number	1340/ST 130 A853(.003)
DE-BY-FWS_katkey	305936
DE-BY-FWS_media_number	083101265944
_version_	1806528425871015936
adam_text	ALEXANDER ASTEROTH CHRISTEL BAIER THEORETISCHE INFORMATIK EINE EINFUEHRUNG IN BERECHENBARKEIT, KOMPLEXITAET UND FORMALE SPRACHEN MIT 101 BEISPIELEN IVMSUN EIN IMPRINT DER PEARSON EDUCATION DEUTSCHLAND GMBH INHALTSVERZEICHNIS TEIL I BERECHENBARKEIT 1 1.1 1.2 1.3 1.4 2 2.1 2.2 2.3 2.4 TEIL 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 ABSTRAKTE RECHNERMODELLE REGISTERMASCHINEN TURINGMASCHINEN AEQUIVALENZ DER BERECHENBARKEITSBEGRIFFE UEBUNGEN ENTSCHEIDUNGSPROBLEME ENTSCHEIDBARBEIT UND SEMIENTSCHEIDBARKEIT DAS HALTEPROBLEM NICHTDETERMINISMUS UEBUNGEN II KOMPLEXITAET KOMPLEXITAETSKLASSEN ZEITKOMPLEXITAET PLATZKOMPLEXITAET UEBUNGEN DAS P-/VP-PROBLEM NP-VOLLSTAENDIGKEIT DER SATZ VON COOK WEITERE NP-VOLLSTAENDIGE PROBLEME DIE KLASSE CONP PSP/ICE-VOLLSTAENDIGKEIT UEBUNGEN 17 18 36 63 77 85 88 99 116 126 137 137 145 149 151 151 155 162 178 182 187 8 TEIL III FORMALE SPRACHEN 5 5.1 5.2 5.3 5.4 5.5 6 6.1 6.2 6.3 6.4 6.5 7 7.1 7.2 7.3 7.4 7.5 7.6 7.7 8 8.1 8.2 8.3 8.4 9 9.1 9.2 9.3 9.4 10 A B GRAMMATIKEN DIE CHOMSKY-HIERARCHIE SPRACHEN VOM TYP 0 KONTEXTSENSITIVE SPRACHEN DAS WORTPROBLEM FUER SPRACHEN VOM TYP 0 UND VOM TYP 1 UEBUNGEN REGULAERE SPRACHEN ENDLICHE AUTOMATEN EIGENSCHAFTEN REGULAERER SPRACHEN REGULAERE AUSDRUECKE MINIMIERUNG VON ENDLICHEN AUTOMATEN UEBUNGEN KONTEXTFREIE SPRACHEN GRUNDBEGRIFFE DIE CHOMSKY-NORMALFORM DER COCKE-YOUNGER-KASAMI-ALGORITHMUS EIGENSCHAFTEN KONTEXTFREIER SPRACHEN DIE GREIBACH-NORMALFORM KELLERAUTOMATEN UEBUNGEN DETERMINISTISCH KONTEXTFREIE SPRACHEN DETERMINISTISCHE KELLERAUTOMATEN LR(O) -GRAMMATIKEN LR(FC)-GRAMMATIKEN UEBUNGEN ENTSCHEIDUNGSPROBLEME FUER FORMALE SPRACHEN DAS POSTSCHE KORRESPONDENZPROBLEM UNENTSCHEIDUNGSERGEBNISSE FUER FORMALE SPRACHEN »SCHWIERIGE PROBLEME FUER REGULAERE SPRACHEN UEBUNGEN ZUSAMMENFASSUNG DIE GUETE VON ALGORITHMEN AUSSAGENLOGIK 195 196 210 211 215 218 221 221 236 252 260 272 277 277 283 289 292 296 299 312 317 318 324 367 380 381 382 392 400 403 405 407 409 FORMALE SPRACHEN 413 LITERATURVERZEICHNIS 415 REGISTER 419
any_adam_object	1
author	Asteroth, Alexander 1968- Baier, Christel
author_GND	(DE-588)122534425 (DE-588)12400301X
author_facet	Asteroth, Alexander 1968- Baier, Christel
author_role	aut aut
author_sort	Asteroth, Alexander 1968-
author_variant	a a aa c b cb
building	Verbundindex
bvnumber	BV019540130
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)249435368 (DE-599)BVBBV019540130
discipline	Informatik
edition	[Nachdr.]
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">BV019540130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240712</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">041102s2003 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827370337</subfield><subfield code="9">3-8273-7033-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249435368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019540130</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</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">Asteroth, Alexander</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122534425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen</subfield><subfield code="c">Alexander Asteroth ; Christel Baier</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Pearson Studium</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">424 S.</subfield><subfield code="b">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="490" ind1="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 415 - 417</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik</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="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=012908479&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-012908479</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV019540130
illustrated	Illustrated
indexdate	2024-08-05T08:36:01Z
institution	BVB
isbn	3827370337
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-012908479
oclc_num	249435368
open_access_boolean
owner	DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS
owner_facet	DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS
physical	424 S. graph. Darst.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Pearson Studium
record_format	marc
series2	Informatik
spellingShingle	Asteroth, Alexander 1968- Baier, Christel Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_auth	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_exact_search	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
title_full	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_fullStr	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_full_unstemmed	Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier
title_short	Theoretische Informatik
title_sort	theoretische informatik eine einfuhrung in berechenbarkeit komplexitat und formale sprachen mit 101 beispielen
title_sub	eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
topic	Theoretische Informatik 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=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT asterothalexander theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen AT baierchristel theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen

Verfügbarkeit

Inhaltsverzeichnis

Würzburg Teilbibliothek SHL, Raum I.2.11

Bestandesangaben von Würzburg Teilbibliothek SHL, Raum I.2.11
Signatur:	1340 ST 130 A853(.003)
Exemplar 1	nicht ausleihbar Verfügbar

MARC

Datensatz im Suchindex

Würzburg Teilbibliothek SHL, Raum I.2.11

Ähnliche Einträge