Availability: Theoretische Informatik - kurz gefasst | Technische Universität München

Theoretische Informatik - kurz gefasst:

Saved in:

Bibliographic Details
Main Author:	Schöning, Uwe 1955- (Author)
Format:	Book
Language:	German
Published:	Heidelberg Spektrum, Akad. Verl. 2008
Edition:	5. Aufl.
Subjects:	Theoretische Informatik Formale Sprache Automatentheorie Einführung
Links:	http://d-nb.info/986529222/04 http://deposit.dnb.de/cgi-bin/dokserv?id=3030761&prov=M&dok_var=1&dok_ext=htm http://www3.ub.tu-berlin.de/ihv/001768077.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016261131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Item Description:	Bis zur 4. Aufl. u.d.T.: Schöning, Uwe: Theoretische Informatik - kurzgefasst. - Literaturverz. S. [183] -186. - Hier auch später erschienene, unveränderte Nachdrucke
Physical Description:	VIII, 190 S. graph. Darst.
ISBN:	9783827418241 3827418240

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV023057861
003	DE-604
005	20230126
007	t\|
008	071219s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 07,N51,0034 \|2 dnb
016	7		\|a 986529222 \|2 DE-101
020			\|a 9783827418241 \|c Pb. : sfr 33.00 (freier Pr.), EUR 20.00 \|9 978-3-8274-1824-1
020			\|a 3827418240 \|c Pb. : sfr 33.00 (freier Pr.), EUR 20.00 \|9 3-8274-1824-0
035			\|a (OCoLC)244026408
035			\|a (DE-599)DNB986529222
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BW
049			\|a DE-739 \|a DE-20 \|a DE-29T \|a DE-573 \|a DE-1050 \|a DE-1051 \|a DE-1046 \|a DE-Aug4 \|a DE-19 \|a DE-824 \|a DE-473 \|a DE-703 \|a DE-521 \|a DE-91G \|a DE-523 \|a DE-860 \|a DE-83 \|a DE-861 \|a DE-M347 \|a DE-11 \|a DE-188 \|a DE-863 \|a DE-384
082	0		\|a 004.0151 \|2 22/ger
084			\|a ST 110 \|0 (DE-625)143583: \|2 rvk
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
084			\|a 004 \|2 sdnb
100	1		\|a Schöning, Uwe \|d 1955- \|e Verfasser \|0 (DE-588)110028740 \|4 aut
245	1	0	\|a Theoretische Informatik - kurz gefasst \|c Uwe Schöning
246	1	3	\|a Theoretische Informatik - kurzgefasst
250			\|a 5. Aufl.
264		1	\|a Heidelberg \|b Spektrum, Akad. Verl. \|c 2008
300			\|a VIII, 190 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Bis zur 4. Aufl. u.d.T.: Schöning, Uwe: Theoretische Informatik - kurzgefasst. - Literaturverz. S. [183] -186. - Hier auch später erschienene, unveränderte Nachdrucke
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Sprache \|0 (DE-588)4017848-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatentheorie \|0 (DE-588)4003953-5 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Automatentheorie \|0 (DE-588)4003953-5 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	2		\|8 3\p \|5 DE-604
856	4	2	\|q text/html \|u http://d-nb.info/986529222/04 \|3 Inhaltsverzeichnis
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3030761&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4		\|u http://www3.ub.tu-berlin.de/ihv/001768077.pdf \|3 Inhaltsverzeichnis
856	4	2	\|m Digitalisierung UB Passau \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016261131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016261131

Record in the Search Index

DE-BY-TUM_call_number	0104 DAT 500f 2001 A 21845(5) 0303 DAT 500f 2009 L 144(5)
DE-BY-TUM_katkey	1662170
DE-BY-TUM_location	01 03
DE-BY-TUM_media_number	040071296274 040071455960 040071296172 040071296194 040071296365 040071296285 040071296252 040071296230 040071296263 040071296218 040071296207 040071296229 040071296183 040071296376 040071296354 040071296321 040071296309 040071296296 040071296332 040071296310
_version_	1831957589904064512
adam_text	Inhaltsverzeichnis Einleitung 1 1 Automatentheorie und Formale Sprachen 3 1.1 Allgemeines........................... 3 1.1.1 Grammatiken...................... 5 1.1.2 Chomsky-Hierarchie.................. 9 1.1.3 Wortproblem...................... 13 1.1.4 Syntaxbäume...................... 15 1.1.5 Backus-Naur-Form................... 17 1.2 Reguläre Sprachen ....................... 19 1.2.1 Endliche Automaten.................. 19 1.2.2 Nichtdeterministische Automaten........... 22 1.2.3 Reguläre Ausdrücke.................. 28 1.2.4 Das Pumping Lemma.................. 31 1.2.5 Äquivalenzrelationen und Minimalautomaten..... 34 1.2.6 Abschlusseigenschaften................ 40 1.2.7 Entscheidbarkeit.................... 41 1.3 Kontextfreie Sprachen ..................... 43 1.3.1 Normalformen..................... 44 1.3.2 Das Pumping Lemma.................. 49 1.3.3 Abschlusseigenschaften................ 54 1.3.4 Der CYK-Algorithmus................. 56 1.3.5 Kellerautomaten.................... 59 1.3.6 Deterministisch kontextfreie Sprachen......... 68 1.3.7 Entscheidbarkeit bei kontextfreien Sprachen......70 1.4 Kontextsensitive und Typ O-Sprachen.............71 1.5 Tabellarischer Überblick....................80 2 Berechenbarkeitstheorie 83 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These ... 83 2.2 Turing-Berechenbarkeit.....................86 2.3 LOOP-, WHILE- und GOTO-Berechenbarkeit.........92 2.4 Primitiv rekursive und μ -rekursive Funktionen.........101 2.5 Die Ackermannfunktion ....................108 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit......114 2.7 Das Postsche Korrespondenzproblem .............123 2.8 Unentschuldbare Grammatik-Probleme.............128 2.9 Der Gödelsche Satz.......................133 3 Komplexitätstheorie 143 3.1 Komplexitätsklassen und P-NP-Problem............144 3.2 NP-Vollständigkeit.......................148 3.3 Weitere NP-vollständige Probleme...............155 Anhang: Mathematische Grundlagen 177 Literaturverzeichnis 183 Index 187
any_adam_object	1
author	Schöning, Uwe 1955-
author_GND	(DE-588)110028740
author_facet	Schöning, Uwe 1955-
author_role	aut
author_sort	Schöning, Uwe 1955-
author_variant	u s us
building	Verbundindex
bvnumber	BV023057861
classification_rvk	ST 110 ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)244026408 (DE-599)DNB986529222
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	5. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02947nam a2200613 c 4500</leader><controlfield tag="001">BV023057861</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230126 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">071219s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N51,0034</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986529222</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783827418241</subfield><subfield code="c">Pb. : sfr 33.00 (freier Pr.), EUR 20.00</subfield><subfield code="9">978-3-8274-1824-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827418240</subfield><subfield code="c">Pb. : sfr 33.00 (freier Pr.), EUR 20.00</subfield><subfield code="9">3-8274-1824-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)244026408</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB986529222</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-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-384</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 110</subfield><subfield code="0">(DE-625)143583:</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="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="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schöning, Uwe</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110028740</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik - kurz gefasst</subfield><subfield code="c">Uwe Schöning</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Theoretische Informatik - kurzgefasst</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Spektrum, Akad. Verl.</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 190 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="500" ind1=" " ind2=" "><subfield code="a">Bis zur 4. Aufl. u.d.T.: Schöning, Uwe: Theoretische Informatik - kurzgefasst. - Literaturverz. S. [183] -186. - Hier auch später erschienene, unveränderte Nachdrucke</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="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</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="689" ind1="1" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://d-nb.info/986529222/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3030761&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www3.ub.tu-berlin.de/ihv/001768077.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=016261131&sequence=000002&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">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016261131</subfield></datafield></record></collection>
genre	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV023057861
illustrated	Illustrated
indexdate	2024-12-20T13:07:39Z
institution	BVB
isbn	9783827418241 3827418240
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016261131
oclc_num	244026408
open_access_boolean
owner	DE-739 DE-20 DE-29T DE-573 DE-1050 DE-1051 DE-1046 DE-Aug4 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-703 DE-521 DE-91G DE-BY-TUM DE-523 DE-860 DE-83 DE-861 DE-M347 DE-11 DE-188 DE-863 DE-BY-FWS DE-384
owner_facet	DE-739 DE-20 DE-29T DE-573 DE-1050 DE-1051 DE-1046 DE-Aug4 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-703 DE-521 DE-91G DE-BY-TUM DE-523 DE-860 DE-83 DE-861 DE-M347 DE-11 DE-188 DE-863 DE-BY-FWS DE-384
physical	VIII, 190 S. graph. Darst.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Spektrum, Akad. Verl.
record_format	marc
spellingShingle	Schöning, Uwe 1955- Theoretische Informatik - kurz gefasst Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4017848-1 (DE-588)4003953-5 (DE-588)4151278-9
title	Theoretische Informatik - kurz gefasst
title_alt	Theoretische Informatik - kurzgefasst
title_auth	Theoretische Informatik - kurz gefasst
title_exact_search	Theoretische Informatik - kurz gefasst
title_full	Theoretische Informatik - kurz gefasst Uwe Schöning
title_fullStr	Theoretische Informatik - kurz gefasst Uwe Schöning
title_full_unstemmed	Theoretische Informatik - kurz gefasst Uwe Schöning
title_short	Theoretische Informatik - kurz gefasst
title_sort	theoretische informatik kurz gefasst
topic	Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd
topic_facet	Theoretische Informatik Formale Sprache Automatentheorie Einführung
url	http://d-nb.info/986529222/04 http://deposit.dnb.de/cgi-bin/dokserv?id=3030761&prov=M&dok_var=1&dok_ext=htm http://www3.ub.tu-berlin.de/ihv/001768077.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016261131&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT schoninguwe theoretischeinformatikkurzgefasst

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0104 DAT 500f 2001 A 21845(5) Floor plan
Copy 1	Not available for loan On Shelf

Branch Library Chemistry, Textbook Collection

Holdings details from Teilbibliothek Chemie, Lehrbuchsammlung
Call Number:	0303 DAT 500f 2009 L 144(5) Floor plan
Copy 1	Available for loan Ausgeliehen – Due: 05.06.2025
Copy 2	Available for loan On Shelf
Copy 3	Available for loan Ausgeliehen – Due: 17.06.2025
Copy 4	Available for loan Ausgeliehen – Due: 20.06.2025
Copy 5	Available for loan Ausgeliehen – Due: 20.06.2025
Copy 6	Available for loan On Shelf
Copy 7	Available for loan On Shelf
Copy 8	Available for loan Ausgeliehen – Due: 26.05.2025
Copy 9	Available for loan On Shelf
Copy 10	Available for loan On Shelf
Copy 11	Available for loan Ausgeliehen
Copy 12	Available for loan Ausgeliehen
Copy 13	Available for loan On Shelf
Copy 14	Available for loan On Shelf
Copy 15	Available for loan On Shelf
Copy 16	Available for loan On Shelf
Copy 17	Available for loan On Shelf
Copy 18	Available for loan On Shelf
Copy 19	Available for loan On Shelf