Theoretische Informatik: formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner
2011
|
| Ausgabe: | 4., aktualisierte Aufl. |
| Schriftenreihe: | Studium
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 1. Aufl. u.d.T.: Hromkovič, Juraj: Algorithmische Konzepte der Informatik |
| Beschreibung: | 415 S. Ill., graph. Darst. |
| ISBN: | 9783834806505 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036808412 | ||
| 003 | DE-604 | ||
| 005 | 20110523 | ||
| 007 | t | ||
| 008 | 101201s2011 ad|| |||| 00||| ger d | ||
| 015 | |a 10,N46 |2 dnb | ||
| 016 | 7 | |a 1008180181 |2 DE-101 | |
| 020 | |a 9783834806505 |9 978-3-8348-0650-5 | ||
| 035 | |a (OCoLC)688609618 | ||
| 035 | |a (DE-599)DNB1008180181 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-859 |a DE-92 |a DE-11 |a DE-29T |a DE-1050 |a DE-824 |a DE-573 |a DE-83 |a DE-Aug4 | ||
| 082 | 0 | |a 511.35 |2 22/ger | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Hromkovič, Juraj |d 1958- |e Verfasser |0 (DE-588)123212898 |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie |c Juraj Hromkovič |
| 250 | |a 4., aktualisierte Aufl. | ||
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner |c 2011 | |
| 300 | |a 415 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studium | |
| 500 | |a 1. Aufl. u.d.T.: Hromkovič, Juraj: Algorithmische Konzepte der Informatik | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020724440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020724440 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804143503505096704 |
|---|---|
| adam_text | INHALT 1 EINLEITUNG 17 1.1 INFORMATIK ALS WISSENSCHAFTLICHE DISZIPLIN 17
1.2 EINE FASZINIERENDE THEORIE 22 1.3 FUER DIE STUDIERENDEN 26 1.4 AUFBAU
DES LEHRMATERIALS 29 2 ALPHABETE, WOERTER, SPRACHEN UND AUFGABEN 32 2.1
ZIELSETZUNG 32 2.2 ALPHABETE, WOERTER UND SPRACHEN 33 2.3 ALGORITHMISCHE
PROBLEME 45 2.4 KOLMOGOROV-KOMPLEXITAET 56 2.5 ZUSAMMENFASSUNG UND
AUSBLICK 71 3 ENDLICHE AUTOMATEN 75 3.1 ZIELSETZUNG 75 3.2 DIE
DARSTELLUNGEN DER ENDLICHEN AUTOMATEN 76 3.3 SIMULATIONEN 93 3.4 BEWEISE
DER NICHTEXISTENZ 99 3.5 NICHTDETERMINISMUS 108 3.6 ZUSAMMENFASSUNG 121
4 TURINGMASCHINEN 125 4.1 ZIELSETZUNG 125 4.2 DAS MODELL DER
TURINGMASCHINE 126 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1008180181 DIGITALISIERT DURCH 7.6 ZUSAMMENFASSUNG 289
14 INHALT 4.3 MEHRBAND-TUERINGMASCHINEN UND CHURCH SCHE THESE 137 4.4
NICHTDETERMINISTISCHE TURINGMASCHINEN 148 4.5 KODIERUNG VON
TURINGMASCHINEN 154 4.6 ZUSAMMENFASSUNG 157 5 BERECHENBARKEIT 161 5.1
ZIELSETZUNG 161 5.2 DIE METHODE DER DIAGONALISIERUNG 162 5.3 DIE METHODE
DER REDUKTION 172 5.4 SATZ VON RICE 185 5.5 DAS POST SCHE
KORRESPONDENZPROBLEM 190 5.6 DIE METHODE DER KOLMOGOROV-KOMPLEXITAET 199
5.7 ZUSAMMENFASSUNG 203 6 KOMPLEXITAETSTHEORIE 206 6.1 ZIELSETZUNG 206
6.2 KOMPLEXITAETSMASSE 208 6.3 KOMPLEXITAETSKLASSEN UND DIE KLASSE P 215
6.4 NICHTDETERMINISTISCHE KOMPLEXITAETSMASSE 224 6.5 DIE KLASSE NP UND
BEWEISVERIFIKATION 231 6.6 NP-VOLLSTAENDIGKEIT 236 6.7 ZUSAMMENFASSUNG
259 7 ALGORITHMIK FUER SCHWERE PROBLEME 262 7.1 ZIELSETZUNG 262 7.2
PSEUDOPOLYNOMIELLE ALGORITHMEN 264 7.3 APPROXIMATIONSALGORITHMEN 271 7.4
LOKALE SUCHE 279 7.5 SIMULATED ANNEALING 285 SACHVERZEICHNIS 413 INHALT
15 8 RANDOMISIERUNG 292 8.1 ZIELSETZUNG 292 8.2 ELEMENTARE
WAHRSCHEINLICHKEITSTHEORIE 294 8.3 EIN RANDOMISIERTES
KOMMUNIKATIONSPROTOKOLL 298 8.4 DIE METHODE DER HAEUFIGEN ZEUGEN UND DER
RANDOMISIERTE PRIMZAHLTEST 302 8.5 DIE METHODE DER FINGERABDRUECKE UND
DIE AEQUIVALENZ VON ZWEI POLYNOMEN 308 8.6 ZUSAMMENFASSUNG 315 9
KOMMUNIKATION UND KRYPTOGRAPHIE 318 9.1 ZIELSETZUNG 318 9.2 KLASSISCHE
KRYPTOSYSTEME 319 9.3 PUBLIC-KEY-KRYPTOSYSTEME UND RSA 321 9.4 DIGITALE
UNTERSCHRIFTEN 327 9.5 INTERAKTIVE BEWEISSYSTEME UND
ZERO-KNOWLEDGE-BEWEISE . . . 331 9.6 ENTWURF EINES KOMMUNIKATIONSNETZES
336 9.7 ZUSAMMENFASSUNG 346 10 GRAMMATIKEN UND CHOMSKY-HIERARCHIE 348
10.1 ZIELSETZUNG 348 10.2 DAS KONZEPT DER GRAMMATIKEN 350 10.3 REGULAERE
GRAMMATIKEN UND ENDLICHE AUTOMATEN 362 10.4 KONTEXTFREIE GRAMMATIKEN UND
KELLERAUTOMATEN 376 10.5 ALLGEMEINE GRAMMATIKEN UND TURINGMASCHINEN 402
10.6 ZUSAMMENFASSUNG 405 LITERATURVERZEICHNIS 408
|
| any_adam_object | 1 |
| author | Hromkovič, Juraj 1958- |
| author_GND | (DE-588)123212898 |
| author_facet | Hromkovič, Juraj 1958- |
| author_role | aut |
| author_sort | Hromkovič, Juraj 1958- |
| author_variant | j h jh |
| building | Verbundindex |
| bvnumber | BV036808412 |
| classification_rvk | ST 120 ST 130 ST 134 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)688609618 (DE-599)DNB1008180181 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 4., aktualisierte Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01918nam a2200469 c 4500</leader><controlfield tag="001">BV036808412</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110523 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101201s2011 ad|| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N46</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1008180181</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834806505</subfield><subfield code="9">978-3-8348-0650-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)688609618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1008180181</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield><subfield code="2">22/ger</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">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</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">Hromkovič, Juraj</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123212898</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie</subfield><subfield code="c">Juraj Hromkovič</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., aktualisierte Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">415 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">Studium</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. Aufl. u.d.T.: Hromkovič, Juraj: Algorithmische Konzepte der Informatik</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)4123623-3</subfield><subfield code="a">Lehrbuch</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020724440&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-020724440</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></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV036808412 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:48:42Z |
| institution | BVB |
| isbn | 9783834806505 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020724440 |
| oclc_num | 688609618 |
| open_access_boolean | |
| owner | DE-859 DE-92 DE-11 DE-29T DE-1050 DE-824 DE-573 DE-83 DE-Aug4 |
| owner_facet | DE-859 DE-92 DE-11 DE-29T DE-1050 DE-824 DE-573 DE-83 DE-Aug4 |
| physical | 415 S. Ill., graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Vieweg+Teubner |
| record_format | marc |
| series2 | Studium |
| spelling | Hromkovič, Juraj 1958- Verfasser (DE-588)123212898 aut Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie Juraj Hromkovič 4., aktualisierte Aufl. Wiesbaden Vieweg+Teubner 2011 415 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studium 1. Aufl. u.d.T.: Hromkovič, Juraj: Algorithmische Konzepte der Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s 1\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020724440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hromkovič, Juraj 1958- Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie |
| title_auth | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie |
| title_exact_search | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie |
| title_full | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie Juraj Hromkovič |
| title_fullStr | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie Juraj Hromkovič |
| title_full_unstemmed | Theoretische Informatik formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie Juraj Hromkovič |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik formale sprachen berechenbarkeit komplexitatstheorie algorithmik kommunikation und kryptographie |
| title_sub | formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020724440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hromkovicjuraj theoretischeinformatikformalesprachenberechenbarkeitkomplexitatstheoriealgorithmikkommunikationundkryptographie |