Holdings: Theoretische Informatik - kurzgefasst

Theoretische Informatik - kurzgefasst:

Saved in:

Bibliographic Details
Main Author:	Schöning, Uwe 1955- (Author)
Format:	Book
Language:	German
Published:	Heidelberg [u.a.] Spektrum, Akad. Verl. 2001
Edition:	4. Aufl.
Series:	Spektrum-Hochschultaschenbuch
Subjects:	Theoretische Informatik Einführung
Online Access:	Inhaltsverzeichnis
Item Description:	1. Aufl. erschien im B.I.-Wissenschaftsverlag
Physical Description:	198 S. Ill., graph. Darst.
ISBN:	3827410991

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV013431078
003	DE-604
005	20200625
007	t
008	001107s2001 gw ad\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 959980245 \|2 DE-101
020			\|a 3827410991 \|c kart. : DM 34.00 \|9 3-8274-1099-1
035			\|a (OCoLC)76196255
035			\|a (DE-599)BVBBV013431078
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-20 \|a DE-739 \|a DE-92 \|a DE-824 \|a DE-384 \|a DE-703 \|a DE-1046 \|a DE-473 \|a DE-29T \|a DE-1028 \|a DE-70 \|a DE-861 \|a DE-91G \|a DE-706 \|a DE-522 \|a DE-526 \|a DE-634 \|a DE-11 \|a DE-188 \|a DE-860
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a 28 \|2 sdnb
084			\|a DAT 500f \|2 stub
100	1		\|a Schöning, Uwe \|d 1955- \|e Verfasser \|0 (DE-588)110028740 \|4 aut
245	1	0	\|a Theoretische Informatik - kurzgefasst \|c Uwe Schöning
250			\|a 4. Aufl.
264		1	\|a Heidelberg [u.a.] \|b Spektrum, Akad. Verl. \|c 2001
300			\|a 198 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Spektrum-Hochschultaschenbuch
500			\|a 1. Aufl. erschien im B.I.-Wissenschaftsverlag
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
655		7	\|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
856	4	2	\|m HEBIS Datenaustausch Mainz \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009166836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-009166836

Record in the Search Index

_version_	1804128221408526336
adam_text	UWE SCHOENING THEORETISCHE INFORMATIK - KURZGEFASST 4. AUFLAGE SPEKTRUM AKADEMISCHER VERLAG HEIDELBERG * BERLIN INHALTSVERZEICHNIS EINLEITUNG 9 1 AUTOMATENTHEORIE UND FORMALE SPRACHEN 11 1.1 ALLGEMEINES 11 .1.1.1 GRAMMATIKEN 13 1.1.2 CHOMSKY-HIERARCHIE 17 1.1.3 WORTPROBLEM 21 1.1.4 SYNTAXBAEUME . . . / . . . 23 1.1.5 BACKUS-NAUR-FORM 25 1.2 REGULAERE SPRACHEN 27 1.2.1 ENDLICHE AUTOMATEN 27 1.2.2 NICHTDETERMINISTISCHE AUTOMATEN 30 1.2.3 REGULAERE AUSDRUECKE 36 1.2.4 DAS PUMPING LEMMA 39 1.2.5 AEQUIVALENZRELATIONEN UND MINIMALAUTOMATEN 42 1.2.6 ABSCHLUSSEIGENSCHAFTEN 48 1.2.7 ENTSCHEIDBARKEIT 49 1.3 KONTEXTFREIE SPRACHEN 51 1.3.1 NORMALFORMEN 52 1.3.2 DAS PUMPING LEMMA 57 1.3.3 ABSCHLUSSEIGENSCHAFTEN 62 1.3.4 DER CYK-ALGORITHMUS 64 1.3.5 KELLERAUTOMATEN 67 1.3.6 DETERMINISTISCH KONTEXTFREIE SPRACHEN 76 1.3.7 ENTSCHEIDBARKEIT BEI KONTEXTFREIEN SPRACHEN 78 1.4 KONTEXTSENSITIVE UND TYP O-SPRACHEN 79 1.5 TABELLARISCHER UEBERBLICK 88 2 BERECHENBARKEITSTHEORIE 91 2.1 INTUITIVER BERECHENBARKEITSBEGRIFF UND CHURCHSCHE THESE ... 91 2.2 TURING-BERECHENBARKEIT 94 2.3 LOOP-, WFFLLE- UND GOTO-BERECHENBARKEIT 100 2.4 PRIMITIV REKURSIVE UND /X-REKURSIVE FUNKTIONEN 109 2.5 DIE ACKERMANNFUNKTION 116 2.6 HALTEPROBLEM, UNENTSCHEIDBARKEIT, REDUZIERBARKEIT 122 2.7 DAS POSTSCHE KORRESPONDENZPROBLEM 131 2.8 UNENTSCHEIDBARE GRAMMATIK-PROBLEME 136 2.9 DER GOEDELSCHE SATZ 141 3 KOMPLEXITAETSTHEORIE 151 3.1 KOMPLEXITAETSKLASSEN UND P-NP-PROBLEM 152 3.2 NP-VOLLSTAENDIGKEIT 156 3.3 WEITERE NP-VOLLSTAENDIGE PROBLEME 163 ANHANG: MATHEMATISCHE GRUNDLAGEN 185 LITERATURVERZEICHNIS 191 INDEX 195
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	BV013431078
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)76196255 (DE-599)BVBBV013431078
discipline	Informatik
edition	4. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01726nam a22004218c 4500</leader><controlfield tag="001">BV013431078</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200625 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001107s2001 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959980245</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827410991</subfield><subfield code="c">kart. : DM 34.00</subfield><subfield code="9">3-8274-1099-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76196255</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013431078</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-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-860</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">28</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">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 - kurzgefasst</subfield><subfield code="c">Uwe Schöning</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Spektrum, Akad. Verl.</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">198 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="490" ind1="0" ind2=" "><subfield code="a">Spektrum-Hochschultaschenbuch</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. Aufl. erschien im B.I.-Wissenschaftsverlag</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)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="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Mainz</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=009166836&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-009166836</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV013431078
illustrated	Illustrated
indexdate	2024-07-09T18:45:48Z
institution	BVB
isbn	3827410991
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009166836
oclc_num	76196255
open_access_boolean
owner	DE-20 DE-739 DE-92 DE-824 DE-384 DE-703 DE-1046 DE-473 DE-BY-UBG DE-29T DE-1028 DE-70 DE-861 DE-91G DE-BY-TUM DE-706 DE-522 DE-526 DE-634 DE-11 DE-188 DE-860
owner_facet	DE-20 DE-739 DE-92 DE-824 DE-384 DE-703 DE-1046 DE-473 DE-BY-UBG DE-29T DE-1028 DE-70 DE-861 DE-91G DE-BY-TUM DE-706 DE-522 DE-526 DE-634 DE-11 DE-188 DE-860
physical	198 S. Ill., graph. Darst.
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Spektrum, Akad. Verl.
record_format	marc
series2	Spektrum-Hochschultaschenbuch
spelling	Schöning, Uwe 1955- Verfasser (DE-588)110028740 aut Theoretische Informatik - kurzgefasst Uwe Schöning 4. Aufl. Heidelberg [u.a.] Spektrum, Akad. Verl. 2001 198 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Spektrum-Hochschultaschenbuch 1. Aufl. erschien im B.I.-Wissenschaftsverlag Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 HEBIS Datenaustausch Mainz application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009166836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Schöning, Uwe 1955- Theoretische Informatik - kurzgefasst Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4151278-9
title	Theoretische Informatik - kurzgefasst
title_auth	Theoretische Informatik - kurzgefasst
title_exact_search	Theoretische Informatik - kurzgefasst
title_full	Theoretische Informatik - kurzgefasst Uwe Schöning
title_fullStr	Theoretische Informatik - kurzgefasst Uwe Schöning
title_full_unstemmed	Theoretische Informatik - kurzgefasst Uwe Schöning
title_short	Theoretische Informatik - kurzgefasst
title_sort	theoretische informatik kurzgefasst
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009166836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT schoninguwe theoretischeinformatikkurzgefasst

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items