Ideen der Informatik: grundlegende Modelle und Konzepte
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
2006
|
| Ausgabe: | 2., erw. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 260 S. graph. Darst. |
| ISBN: | 3486578332 9783486578331 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV020860236 | ||
| 003 | DE-604 | ||
| 005 | 20070514 | ||
| 007 | t | ||
| 008 | 051108s2006 d||| |||| 00||| ger d | ||
| 020 | |a 3486578332 |9 3-486-57833-2 | ||
| 020 | |a 9783486578331 |9 978-3-486-57833-1 | ||
| 035 | |a (OCoLC)68804059 | ||
| 035 | |a (DE-599)BVBBV020860236 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-29T |a DE-859 |a DE-1051 |a DE-703 |a DE-473 |a DE-20 |a DE-573 |a DE-1050 |a DE-19 |a DE-83 | ||
| 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 DAT 500f |2 stub | ||
| 100 | 1 | |a Schöning, Uwe |d 1955- |e Verfasser |0 (DE-588)110028740 |4 aut | |
| 245 | 1 | 0 | |a Ideen der Informatik |b grundlegende Modelle und Konzepte |c von Uwe Schöning |
| 250 | |a 2., erw. Aufl. | ||
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 2006 | |
| 300 | |a X, 260 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 | |a text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2687509&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014181801&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014181801 | ||
Datensatz im Suchindex
| _version_ | 1804134579491045376 |
|---|---|
| adam_text | INHALTSVERZEICHNIS 1 ALGORITHMIK 1 1.1 ALLGEMEINES 1 1.2 REKURSION 6 1.3
DIVIDE-AND-CONQUER 8 1.4 BACKTRACKING 9 1.5 BRANCH-AND-BOUND 11 1.6
DYNAMISCHES PROGRAMMIEREN 14 1.7 GREEDY-ALGORITHMEN 18 1.8 ZUFALLSZAHLEN
UND STOCHASTISCHE ALGORITHMEN 20 1.9 LOKALE SUCHE 24 1.10 SIMULATED
ANNEALING, METROPOLIS-ALGORITHMUS 26 1.11 GENETISCHE ALGORITHMEN 27 2
GRAPHEN 31 2.1 GRUNDBEGRIFFE UND DEFINITIONEN 31 2.2 DATENSTRUKTUREN FUER
GRAPHEN 36 2.3 WEGE UND KREISE IN GRAPHEN, BAEUME 37 2.4 STEINER-BAEUME 43
2.5 EULER- UND HAMILTON-KREISE, TRAVELING SALESMAN-PROBLEM 45 2.6
PLANARE GRAPHEN 52 2.7 FAERBUNG VON GRAPHEN 55 2.8 FLUSSPROBLEME,
TRANSPORTNETZE 59 2.9 MATCHINGS 62 2.10 NETZPLANTECHNIK 64 2.11
ZUFALLSGRAPHEN 66 2.12 PETRI-NETZE 69 3 FORMALE SPRACHEN, GRAMMATIKEN
UND AUTOMATEN 75 3.1 GRUNDBEGRIFFE 75 3.2 GRAMMATIKEN 76 3.3 ENDLICHE
AUTOMATEN 84 3.4 KONSTRUKTIONEN MIT ENDLICHEN AUTOMATEN, MINIMALAUTOMAT
90 3.5 REGULAERE AUSDRUECKE 93 X INHALTSVERZEICHNIS 3.6 SYNTAXDIAGRAMME 95
3.7 KELLERAUTOMATEN 97 3.8 TURINGMASCHINEN UND LINEAR BESCHRAENKTE
AUTOMATEN 100 3.9 ANWENDUNGEN VON GRAMMATIKEN UND AUTOMATEN 104 4
BERECHENBARKEIT UND DEREN GRENZEN 117 4.1 BERECHNUNGSMODELLE UND
CHURCH SCHE THESE 117 4.2 FOR-PROGRAMME UND DIE ACKERMANN-FUNKTION 120
4.3 BERECHENBARKEIT, ENTSCHEIDBARKEIT, SEMI-ENTSCHEIDBARKEIT,
HALTEPROBLEM . . 123 4.4 REDUKTIONSPRINZIP UND WEITERE BEISPIELE FUER
NICHT-BERECHENBARKEIT 127 4.5 EFFIZIENTE UND INEFFIZIENTE BERECHNUNGEN
134 4.6 NP UND NP-VOLLSTAENDIGKEIT 143 4.7 BEISPIELE FUER INEFFIZIENT
LOESBARE PROBLEME 147 5 AUSSAGENLOGIK UND BOOLE SCHE SCHALTUNGEN 153 5.1
AUSSAGENLOGIK UND BOOLE SCHE ALGEBRA 153 5.2 KALKUELE 165 5.3 BOOLE SCHE
SCHALTUNGEN 170 5.4 BINAERE ENTSCHEIDUNGSDIAGRAMME 174 5.5 NEURONALE
NETZE 179 5.6 VLSI-CHIPS UND KOMMUNIKATIONSKOMPLEXITAET 184 6
PRAEDIKATENLOGIK UND PROGRAMMVERIFIKATION 187 6.1 PRAEDIKATENLOGIK 187 6.2
PROGRAMMIEREN IN LOGIK 198 6.3 FORMALE SPEZIFIKATION VON DATENTYPEN 200
6.4 PROGRAMMVERIFIKATION 202 7 INFORMATION, CODIERUNG UND KRYPTOLOGIE
207 7.1 INFORMATIONSBEGRIFF 207 7.2 DATENKOMPRESSION 210 7.3 CODIERUNG,
FEHLERKORREKTUR UND KANALKAPAZITAET 213 7.4 GRUNDPROBLEME DER KRYPTOLOGIE
219 7.5 MODERNE KRYPTOLOGIE 226 LITERATURVERZEICHNIS 239
SYMBOLVERZEICHNIS 252 INDEX 253
|
| adam_txt |
INHALTSVERZEICHNIS 1 ALGORITHMIK 1 1.1 ALLGEMEINES 1 1.2 REKURSION 6 1.3
DIVIDE-AND-CONQUER 8 1.4 BACKTRACKING 9 1.5 BRANCH-AND-BOUND 11 1.6
DYNAMISCHES PROGRAMMIEREN 14 1.7 GREEDY-ALGORITHMEN 18 1.8 ZUFALLSZAHLEN
UND STOCHASTISCHE ALGORITHMEN 20 1.9 LOKALE SUCHE 24 1.10 SIMULATED
ANNEALING, METROPOLIS-ALGORITHMUS 26 1.11 GENETISCHE ALGORITHMEN 27 2
GRAPHEN 31 2.1 GRUNDBEGRIFFE UND DEFINITIONEN 31 2.2 DATENSTRUKTUREN FUER
GRAPHEN 36 2.3 WEGE UND KREISE IN GRAPHEN, BAEUME 37 2.4 STEINER-BAEUME 43
2.5 EULER- UND HAMILTON-KREISE, TRAVELING SALESMAN-PROBLEM 45 2.6
PLANARE GRAPHEN 52 2.7 FAERBUNG VON GRAPHEN 55 2.8 FLUSSPROBLEME,
TRANSPORTNETZE 59 2.9 MATCHINGS 62 2.10 NETZPLANTECHNIK 64 2.11
ZUFALLSGRAPHEN 66 2.12 PETRI-NETZE 69 3 FORMALE SPRACHEN, GRAMMATIKEN
UND AUTOMATEN 75 3.1 GRUNDBEGRIFFE 75 3.2 GRAMMATIKEN 76 3.3 ENDLICHE
AUTOMATEN 84 3.4 KONSTRUKTIONEN MIT ENDLICHEN AUTOMATEN, MINIMALAUTOMAT
90 3.5 REGULAERE AUSDRUECKE 93 X INHALTSVERZEICHNIS 3.6 SYNTAXDIAGRAMME 95
3.7 KELLERAUTOMATEN 97 3.8 TURINGMASCHINEN UND LINEAR BESCHRAENKTE
AUTOMATEN 100 3.9 ANWENDUNGEN VON GRAMMATIKEN UND AUTOMATEN 104 4
BERECHENBARKEIT UND DEREN GRENZEN 117 4.1 BERECHNUNGSMODELLE UND
CHURCH'SCHE THESE 117 4.2 FOR-PROGRAMME UND DIE ACKERMANN-FUNKTION 120
4.3 BERECHENBARKEIT, ENTSCHEIDBARKEIT, SEMI-ENTSCHEIDBARKEIT,
HALTEPROBLEM . . 123 4.4 REDUKTIONSPRINZIP UND WEITERE BEISPIELE FUER
NICHT-BERECHENBARKEIT 127 4.5 EFFIZIENTE UND INEFFIZIENTE BERECHNUNGEN
134 4.6 NP UND NP-VOLLSTAENDIGKEIT 143 4.7 BEISPIELE FUER INEFFIZIENT
LOESBARE PROBLEME 147 5 AUSSAGENLOGIK UND BOOLE'SCHE SCHALTUNGEN 153 5.1
AUSSAGENLOGIK UND BOOLE'SCHE ALGEBRA 153 5.2 KALKUELE 165 5.3 BOOLE'SCHE
SCHALTUNGEN 170 5.4 BINAERE ENTSCHEIDUNGSDIAGRAMME 174 5.5 NEURONALE
NETZE 179 5.6 VLSI-CHIPS UND KOMMUNIKATIONSKOMPLEXITAET 184 6
PRAEDIKATENLOGIK UND PROGRAMMVERIFIKATION 187 6.1 PRAEDIKATENLOGIK 187 6.2
PROGRAMMIEREN IN LOGIK 198 6.3 FORMALE SPEZIFIKATION VON DATENTYPEN 200
6.4 PROGRAMMVERIFIKATION 202 7 INFORMATION, CODIERUNG UND KRYPTOLOGIE
207 7.1 INFORMATIONSBEGRIFF 207 7.2 DATENKOMPRESSION 210 7.3 CODIERUNG,
FEHLERKORREKTUR UND KANALKAPAZITAET 213 7.4 GRUNDPROBLEME DER KRYPTOLOGIE
219 7.5 MODERNE KRYPTOLOGIE 226 LITERATURVERZEICHNIS 239
SYMBOLVERZEICHNIS 252 INDEX 253 |
| any_adam_object | 1 |
| any_adam_object_boolean | 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 | BV020860236 |
| classification_rvk | ST 110 ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)68804059 (DE-599)BVBBV020860236 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 2., erw. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01655nam a22003978c 4500</leader><controlfield tag="001">BV020860236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070514 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051108s2006 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486578332</subfield><subfield code="9">3-486-57833-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486578331</subfield><subfield code="9">978-3-486-57833-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)68804059</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020860236</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</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">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">Ideen der Informatik</subfield><subfield code="b">grundlegende Modelle und Konzepte</subfield><subfield code="c">von Uwe Schöning</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 260 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="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="a">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2687509&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB 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=014181801&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-014181801</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV020860236 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:22:46Z |
| indexdate | 2024-07-09T20:26:51Z |
| institution | BVB |
| isbn | 3486578332 9783486578331 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014181801 |
| oclc_num | 68804059 |
| open_access_boolean | |
| owner | DE-29T DE-859 DE-1051 DE-703 DE-473 DE-BY-UBG DE-20 DE-573 DE-1050 DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-29T DE-859 DE-1051 DE-703 DE-473 DE-BY-UBG DE-20 DE-573 DE-1050 DE-19 DE-BY-UBM DE-83 |
| physical | X, 260 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Oldenbourg |
| record_format | marc |
| spelling | Schöning, Uwe 1955- Verfasser (DE-588)110028740 aut Ideen der Informatik grundlegende Modelle und Konzepte von Uwe Schöning 2., erw. Aufl. München [u.a.] Oldenbourg 2006 X, 260 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier 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 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2687509&prov=M&dok_var=1&dok_ext=htm Inhaltstext SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014181801&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schöning, Uwe 1955- Ideen der Informatik grundlegende Modelle und Konzepte Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4151278-9 |
| title | Ideen der Informatik grundlegende Modelle und Konzepte |
| title_auth | Ideen der Informatik grundlegende Modelle und Konzepte |
| title_exact_search | Ideen der Informatik grundlegende Modelle und Konzepte |
| title_exact_search_txtP | Ideen der Informatik grundlegende Modelle und Konzepte |
| title_full | Ideen der Informatik grundlegende Modelle und Konzepte von Uwe Schöning |
| title_fullStr | Ideen der Informatik grundlegende Modelle und Konzepte von Uwe Schöning |
| title_full_unstemmed | Ideen der Informatik grundlegende Modelle und Konzepte von Uwe Schöning |
| title_short | Ideen der Informatik |
| title_sort | ideen der informatik grundlegende modelle und konzepte |
| title_sub | grundlegende Modelle und Konzepte |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Einführung |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2687509&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014181801&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schoninguwe ideenderinformatikgrundlegendemodelleundkonzepte |