Theoretische Informatik: eine kompakte Einführung
Gespeichert in:
| Vorheriger Titel: | Wagner, Klaus W. Einführung in die theoretische Informatik |
|---|---|
| 1. Verfasser: | |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
2003
|
| Ausgabe: | Zweite, überarbeitete Auflage |
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 227 Seiten Illustrationen |
| ISBN: | 9783540013136 354001313X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017386138 | ||
| 003 | DE-604 | ||
| 005 | 20230216 | ||
| 007 | t | ||
| 008 | 030806s2003 gw a||| |||| 00||| ger d | ||
| 016 | 7 | |a 96718939X |2 DE-101 | |
| 020 | |a 9783540013136 |9 978-3-540-01313-6 | ||
| 020 | |a 354001313X |9 3-540-01313-X | ||
| 035 | |a (OCoLC)76440456 | ||
| 035 | |a (DE-599)BVBBV017386138 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-860 |a DE-824 |a DE-573 |a DE-20 |a DE-1050 |a DE-859 |a DE-92 |a DE-29T |a DE-91G |a DE-1046 |a DE-521 |a DE-523 |a DE-526 |a DE-634 |a DE-11 |a DE-2070s |a DE-83 |a DE-739 |a DE-355 | ||
| 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 | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Wagner, Klaus W. |e Verfasser |0 (DE-588)134054857 |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b eine kompakte Einführung |c Klaus W. Wagner |
| 250 | |a Zweite, überarbeitete Auflage | ||
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2003 | |
| 300 | |a X, 227 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-55452-0 |
| 780 | 0 | 0 | |i 1. Auflage |a Wagner, Klaus W. |t Einführung in die theoretische Informatik |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010479080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010479080 | ||
Datensatz im Suchindex
| _version_ | 1804130211452682240 |
|---|---|
| adam_text | KLAUS W. WAGNER THEORETISCHE INFORMATIK EINE KOMPAKTE EINFUEHRUNG ZWEITE,
UEBERARBEITETE AUFLAGE SPRINGER INHALTSVERZEICHNIS EINLEITUNG 1 1
MATHEMATISCHE GRUNDLAGEN 5 1.1 MENGEN, RELATIONEN, FUNKTIONEN UND
GRAPHEN 5 1.2 WOERTER UND NATUERLICHE ZAHLEN 9 1.3 ALGEBRAISCHE ERZEUGUNG
12 1.4 DAS INDUKTIONSPRINZIP 16 1.5 AUFGABEN 17 2 BERECHENBARKEIT 21 2.1
RANDOM-ACCESS-MASCHINEN 21 2.1.1 DEFINITION UND BEISPIELE 21 2.1.2
RAM-BERECHENBARKEIT 25 2.2 DIE PROGRAMMIERSPRACHE RIES 26 2.2.1 DIE
SYNTAX UND SEMANTIK VON RIES 27 2.2.2 RIES-BERECHENBARKEIT 33 2.2.3
MINI-RIES UND DER COMPILER 37 2.3 ZUR GESCHICHTE DES
ALGORITHMENBEGRIFFES 48 2.4 TURINGMASCHINEN 51 2.4.1 DEFINITION UND
BEISPIELE 51 2.4.2 TURING-BERECHENBARKEIT 54 2.4.3 AEQUIVALENZ ZU ANDEREN
BERECHENBARKEITSBEGRIFFEN 58 VIII INHALTSVERZEICHNIS 2.5
PARTIELL-REKURSIVE FUNKTIONEN 62 2.5.1 PRIMITIV-REKURSIVE FUNKTIONEN 62
2.5.2 DIE ACKERMANNFUNKTION 65 2.5.3 PARTIELL-REKURSIVE FUNKTIONEN 68
2.5.4 AEQUIVALENZ ZU ANDEREN BERECHENBARKEITSBEGRIFFEN 71 2.6 DER
HAUPTSATZ DER ALGORITHMENTHEORIE 74 2.7 ENTSCHEIDBARKEIT UND
AUFZAEHLBARKEIT 76 2.7.1 DEFINITIONEN UND EINFACHE,RESULTATE 76 2.7.2 DAS
HALTEPROBLEM 82 2.8 AUFGABEN 84 IT 3 KOMPLEXITAET 93 3.1 DIE LAUFZEIT VON
ALGORITHMEN 93 3.2 DIE KLASSE P 98 3.2.1 POLYNOMIALZEIT IST VOM
MASCHINENTYP UNABHAENGIG 98 3.2.2 ABSCHLUSSEIGENSCHAFTEN DER KLASSEN P UND
FP 101 3.2.3 SPEZIELLE POLYNOMIALZEITFUNKTIONEN UND -MENGEN 102 3.3 DIE
KLASSE NP 106 3.3.1 DAS DURCHMUSTERN EINES LOESUNGSRAUMES 106 3.3.2
ABSCHLUSSEIGENSCHAFTEN DER KLASSEN NP 108 3.3.3 NP UND EXPONENTIELLE
LAUFZEIT 108 3.3.4 NICHTDETERMINISTISCHE POLYNOMIALZEITMASCHINEN 109 3.4
NP-VOLLSTAENDIGE MENGEN 113 3.4.1 POLYNOMIALZEIT-REDUZIERBARKEIT 113
3.4.2 NP-VOLLSTAENDIGKEIT 116 3.4.3 EINE LISTE NP-VOLLSTAENDIGER PROBLEME
121 3.5 SPEICHERPLATZKOMPLEXITAET 123 3.5.1 DER SPEICHERPLATZBEDARF VON
ALGORITHMEN 123 3.5.2 DIE KLASSEN LIN UND NLIN : 126 3.6 WIE SCHWIERIG
KOENNEN PROBLEME SEIN? 131 3.7 AUFGABEN 132 INHALTSVERZEICHNIS IX 4
BOOLESCHE FUNKTIONEN 137 4.1 EINFACHE EIGENSCHAFTEN BOOLESCHER
FUNKTIONEN 137 4.1.1 DEFINITION UND BESIPIELE 137 4.1.2 ERZEUGUNG UND
VOLLSTAENDIGKEIT 138 4.2 AUSSAGENLOGIK 140 4.2.1 SYNTAX UND SEMANTIK 140
4.2.2 AEQUIVALENZ, ALLGEMEINGUELTIGKEIT UND ERFUELLBARKEIT 143 4.2.3
WICHTIGE AUSSAGENLOGISCHE AEQUIVALENZEN 144 4.3 KOMBINATORISCHE
SCHALTKREISE 145 4.3.1 DEFINITION UND BEISPIELE 145 4.3.2 WELCHE
FUNKTIONEN WERDEN DURCH KOMBINATORISCHE SCHALTKREISE BERECHNET? 148 4.4
DAS POSTSCHE VOLLSTAENDIGKEITSKRITERIUM 151 4.4.1 DIE POSTSCHEN KLASSEN
151 4.4.2 DAS KRITERIUM 154 4.5 AUFGABEN 155 5 ENDLICHE AUTOMATEN 159
5.1 ENDLICHE AUTOMATEN MIT AUSGABE 159 5.1.1 DEFINITION UND BEISPIELE
159 5.1.2 WELCHE FUNKTIONEN WERDEN VON ENDLICHEN AUTOMATEN BERECHNET?
162 5.2 LOGISCHE SCHALTKREISE 164 5.2.1 DEFINITION UND BEISPIELE 164
5.2.2 LOGISCHE SCHALTKREISE UND ENDLICHE AUTOMATEN 166 5.3 ENDLICHE
AUTOMATEN OHNE AUSGABE 169 5.3.1 DETERMINISTISCHE ENDLICHE AUTOMATEN 169
5.3.2 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN 171 5.3.3 DIE AEQUIVALENZ
DETERMINISTISCHER UND NICHTDETERMINISTISCHER ENDLICHER AUTOMATEN 172
5.3.4 DIE KLASSE EA DER VON ENDLICHEN AUTOMATEN AKZEPTIERTEN MENGEN 174
5.4 REGULAERE MENGEN 177 X INHALTSVERZEICHNIS 5.4.1 DEFINITION UND
BEISPIELE 177 5.4.2 REGULAERE MENGEN UND ENDLICHE AUTOMATEN 178 5.5
AUFGABEN 181 6 FORMALE SPRACHEN 185 6.1 DIE CHOMSKY-HIERARCHIE 185 6.2
SPRACHEN VOM TYP 3 190 6.2.1 REGULAERE SPRACHEN UND SPRACHEN VOM TYP 3
190 6.2.2 DAS PUMPING-LEMMA FUER REGULAERE SPRACHEN 191 6.3 KONTEXTFREIE
SPRACHEN 192 6.3.1 DIE HINZUNAHME VON E-REGELN 193 6.3.2 GRAMMATIKEN IN
CHOMSKY-NORMALFORM 194 6.3.3 DAS PUMPING-LEMMA FUER KONTEXTFREIE SPRACHEN
195 6.3.4 ABSCHLUSSEIGENSCHAFTEN DER KLASSE DER KONTEXTFREIEN SPRACHEN
198 6.3.5 DIE ZEITKOMPLEXITAET KONTEXTFREIER SPRACHEN 199 6.3.6
KELLERAUTOMATEN 200 6.4 KONTEXTSENSITIVE SPRACHEN 207 6.4.1
NICHTVERKUERZENDE GRAMMATIKEN 207 6.4.2 KONTEXTSENSITIVE SPRACHEN UND
LINEARER SPEICHERPLATZ .. 208 6.4.3 ABSCHLUSSEIGENSCHAFTEN DER KLASSE DER
KONTEXTSENSITIVEN SPRACHEN 211 6.5 SPRACHEN VOM TYP 0 211 6.5.1 SPRACHEN
VOM TYP 0 UND AUFZAEHLBARE MENGEN 211 6.5.2 ABSCHLUSSEIGENSCHAFTEN DER
KLASSE DER SPRACHEN VOM TYP 0 213 6.6 ZUSAMMENFASSUNG 213 6.7 AUFGABEN
215 WEITERFUEHRENDE LITERATUR 217 INDEX 219
|
| any_adam_object | 1 |
| author | Wagner, Klaus W. |
| author_GND | (DE-588)134054857 |
| author_facet | Wagner, Klaus W. |
| author_role | aut |
| author_sort | Wagner, Klaus W. |
| author_variant | k w w kw kww |
| building | Verbundindex |
| bvnumber | BV017386138 |
| classification_rvk | ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)76440456 (DE-599)BVBBV017386138 |
| discipline | Informatik |
| edition | Zweite, überarbeitete Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01806nam a2200433 c 4500</leader><controlfield tag="001">BV017386138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030806s2003 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">96718939X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540013136</subfield><subfield code="9">978-3-540-01313-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354001313X</subfield><subfield code="9">3-540-01313-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76440456</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017386138</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-860</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Klaus W.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)134054857</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine kompakte Einführung</subfield><subfield code="c">Klaus W. Wagner</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Zweite, überarbeitete Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 227 Seiten</subfield><subfield code="b">Illustrationen</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">Springer-Lehrbuch</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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-55452-0</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">1. Auflage</subfield><subfield code="a">Wagner, Klaus W.</subfield><subfield code="t">Einführung in die theoretische Informatik</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=010479080&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-010479080</subfield></datafield></record></collection> |
| id | DE-604.BV017386138 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:17:26Z |
| institution | BVB |
| isbn | 9783540013136 354001313X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010479080 |
| oclc_num | 76440456 |
| open_access_boolean | |
| owner | DE-860 DE-824 DE-573 DE-20 DE-1050 DE-859 DE-92 DE-29T DE-91G DE-BY-TUM DE-1046 DE-521 DE-523 DE-526 DE-634 DE-11 DE-2070s DE-83 DE-739 DE-355 DE-BY-UBR |
| owner_facet | DE-860 DE-824 DE-573 DE-20 DE-1050 DE-859 DE-92 DE-29T DE-91G DE-BY-TUM DE-1046 DE-521 DE-523 DE-526 DE-634 DE-11 DE-2070s DE-83 DE-739 DE-355 DE-BY-UBR |
| physical | X, 227 Seiten Illustrationen |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spelling | Wagner, Klaus W. Verfasser (DE-588)134054857 aut Theoretische Informatik eine kompakte Einführung Klaus W. Wagner Zweite, überarbeitete Auflage Berlin ; Heidelberg Springer 2003 X, 227 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Springer-Lehrbuch Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s DE-604 Erscheint auch als Online-Ausgabe 978-3-642-55452-0 1. Auflage Wagner, Klaus W. Einführung in die theoretische Informatik HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010479080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wagner, Klaus W. Theoretische Informatik eine kompakte Einführung Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 |
| title | Theoretische Informatik eine kompakte Einführung |
| title_auth | Theoretische Informatik eine kompakte Einführung |
| title_exact_search | Theoretische Informatik eine kompakte Einführung |
| title_full | Theoretische Informatik eine kompakte Einführung Klaus W. Wagner |
| title_fullStr | Theoretische Informatik eine kompakte Einführung Klaus W. Wagner |
| title_full_unstemmed | Theoretische Informatik eine kompakte Einführung Klaus W. Wagner |
| title_old | Wagner, Klaus W. Einführung in die theoretische Informatik |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik eine kompakte einfuhrung |
| title_sub | eine kompakte Einführung |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010479080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wagnerklausw theoretischeinformatikeinekompakteeinfuhrung |