Theoretische Informatik - kurzgefasst:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg [u.a.]
Spektrum, Akad. Verl.
2001
|
| Ausgabe: | 4. Aufl. |
| Schriftenreihe: | Spektrum-Hochschultaschenbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 1. Aufl. erschien im B.I.-Wissenschaftsverlag |
| Beschreibung: | 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009166836 | ||
Datensatz im Suchindex
| _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 |