Theoretische Informatik - kurz gefasst:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Spektrum, Akad. Verl.
2009
|
| Ausgabe: | Nachdruck der 5. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Klappentext |
| Beschreibung: | Bis zur 4. Aufl. u.d.T.: Schöning, Uwe: Theoretische Informatik - kurzgefasst. - Literaturverz. S. [183] -186 |
| Beschreibung: | VIII, 190 S. graph. Darst. |
| ISBN: | 9783827418241 3827418240 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036426034 | ||
| 003 | DE-604 | ||
| 005 | 20110511 | ||
| 007 | t | ||
| 008 | 100427s2009 gw d||| |||| 00||| ger d | ||
| 015 | |a 07,N51,0034 |2 dnb | ||
| 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)634625316 | ||
| 035 | |a (DE-599)BVBBV036426034 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-91G |a DE-83 |a DE-703 |a DE-11 |a DE-1047 |a DE-898 |a DE-858 |a DE-706 |a DE-861 |a DE-355 |a DE-M347 |a DE-573 |a DE-29 |a DE-20 | ||
| 082 | 0 | |a 004.0151 |2 22//ger | |
| 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 004 |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 - kurz gefasst |c Uwe Schöning |
| 246 | 1 | 3 | |a Theoretische Informatik - kurzgefasst |
| 250 | |a Nachdruck der 5. Aufl. | ||
| 264 | 1 | |a Heidelberg |b Spektrum, Akad. Verl. |c 2009 | |
| 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 | ||
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 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 |
| 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 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020222796&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 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 | |
Datensatz im Suchindex
| _version_ | 1805084875380752384 |
|---|---|
| adam_text |
Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Gramma tiken und Automaten. Prof. Schöning gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nach vollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schließt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum Gödelschen Unvollständigkeitssatz bewiesen. Der dritte Teil führt in die Kom plexitätstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-Vollständigkeit. Zahlreiche Querbezüge und Bemerkungen erleichtern das Verständnis und vertiefen das Gelernte. |
| 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 | BV036426034 |
| classification_rvk | ST 110 ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)634625316 (DE-599)BVBBV036426034 |
| 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 | Nachdruck der 5. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV036426034</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110511</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100427s2009 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="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)634625316</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036426034</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-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22//ger</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">004</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 - 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">Nachdruck der 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">2009</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</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="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="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="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=020222796&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</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></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV036426034 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T08:11:24Z |
| institution | BVB |
| isbn | 9783827418241 3827418240 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020222796 |
| oclc_num | 634625316 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-703 DE-11 DE-1047 DE-898 DE-BY-UBR DE-858 DE-706 DE-861 DE-355 DE-BY-UBR DE-M347 DE-573 DE-29 DE-20 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-703 DE-11 DE-1047 DE-898 DE-BY-UBR DE-858 DE-706 DE-861 DE-355 DE-BY-UBR DE-M347 DE-573 DE-29 DE-20 |
| physical | VIII, 190 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Spektrum, Akad. Verl. |
| record_format | marc |
| spelling | Schöning, Uwe 1955- Verfasser (DE-588)110028740 aut Theoretische Informatik - kurz gefasst Uwe Schöning Theoretische Informatik - kurzgefasst Nachdruck der 5. Aufl. Heidelberg Spektrum, Akad. Verl. 2009 VIII, 190 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bis zur 4. Aufl. u.d.T.: Schöning, Uwe: Theoretische Informatik - kurzgefasst. - Literaturverz. S. [183] -186 Automatentheorie (DE-588)4003953-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Automatentheorie (DE-588)4003953-5 s 2\p DE-604 Formale Sprache (DE-588)4017848-1 s 3\p DE-604 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020222796&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Schöning, Uwe 1955- Theoretische Informatik - kurz gefasst Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4196735-5 (DE-588)4017848-1 (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 | Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Automatentheorie Theoretische Informatik Formale Sprache Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020222796&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schoninguwe theoretischeinformatikkurzgefasst |