Verfügbarkeit: Theoretische Informatik - kurzgefasst

Theoretische Informatik - kurzgefasst:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Schöning, Uwe 1955- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Heidelberg [u.a.] Spektrum, Akad. Verl. 2001
Ausgabe:	4. Aufl.
Schriftenreihe:	Spektrum-Hochschultaschenbuch
Schlagwörter:	Theoretische Informatik Einführung
Links:	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
Beschreibung:	1. Aufl. erschien im B.I.-Wissenschaftsverlag
Umfang:	198 S. Ill., graph. Darst.
ISBN:	3827410991

Internformat

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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-009166836

Datensatz im Suchindex

DE-BY-TUM_call_number	0303 DAT 500 L 7319(4)
DE-BY-TUM_katkey	1435661
DE-BY-TUM_location	03
DE-BY-TUM_media_number	040070966057 040010153263 040070966079 040070966068 040070966046 040070966035 040070966013 040008286519 040070965987 040070965976 040070966024 040070966002
_version_	1832048239437676544
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>01727nam 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="943" ind1="1" 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-12-20T10:47:15Z
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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Chemie, Lehrbuchsammlung

Bestandsangaben von Teilbibliothek Chemie, Lehrbuchsammlung
Signatur:	0303 DAT 500 L 7319(4) Lageplan
Exemplar 1	Ausleihbar Ausgeliehen – Rückgabe bis: 10.06.2025
Exemplar 2	Ausleihbar Ausgeliehen – Rückgabe bis: 27.05.2025
Exemplar 3	Ausleihbar Ausgeliehen – Rückgabe bis: 27.05.2025
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
Exemplar 12	Ausleihbar Am Standort