Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
Elsevier, Spektrum, Akad. Verl.
2007
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | HochschulTaschenbuch
|
| Schlagworte: | |
| Online-Zugang: | Beschreibung für Leser Inhaltsverzeichnis Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023802614 | ||
| 003 | DE-604 | ||
| 005 | 20151106 | ||
| 007 | t| | ||
| 008 | 071126s2007 xx d||| |||| 00||| ger d | ||
| 020 | |a 3827418267 |9 3-8274-1826-7 | ||
| 035 | |a (OCoLC)162305387 | ||
| 035 | |a (DE-599)BVBBV023802614 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-634 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Hollas, Boris |d 1970- |e Verfasser |0 (DE-588)1075472806 |4 aut | |
| 245 | 1 | 0 | |a Grundkurs theoretische Informatik |b mit Aufgaben und Prüfungsfragen |c Boris Hollas |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a München |b Elsevier, Spektrum, Akad. Verl. |c 2007 | |
| 300 | |a XI, 211 S. |b graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a HochschulTaschenbuch | |
| 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 | |5 DE-604 | |
| 856 | 4 | |u http://deposit.dnb.de/cgi-bin/dokserv?id=2888980&prov=M&dok_var=1&dok_ext=htm |3 Beschreibung für Leser | |
| 856 | 4 | |u http://www.gbv.de/dms/ilmenau/toc/522232973.PDF |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017444813&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017444813 | |
Datensatz im Suchindex
| _version_ | 1819704452124246016 |
|---|---|
| adam_text | BORIS HOLLAS GRUNDKURS THEORETISCHE INFORMATIK MIT AUFGABEN UND
PRUEFUNGSFRAGEN W F (W) M A * M B JA/NEIN JA/NEIN SPEKTRUM AKADEMISCHER
VERLAG INHALTSVERZEICHNIS VORWORT V 1 GRUNDLAGEN 1 1.1 BEWEISTECHNIKEN 1
1.1.1 INDIREKTER BEWEIS 1 1.1.2 BEWEIS DURCH WIDERSPRUCH 2 1.1.3
INDUKTION 3 1.1.4 DIAGONALISIERUNG 6 1.1.5 HAEUFIGE FEHLER 8 1.1.6 WIE
FINDET MAN EINEN BEWEIS? 9 1.2 AUSSAGENLOGIK 11 1.3 O-NOTATION UND
LANDAU-SYMBOLE 15 1.4 GRAPHEN 17 1.4.1 GRUNDBEGRIFFE 18 1.4.2 BAEUME 22
1.4.3 GRAPHENISOMORPHIE 25 1.4.4 EIN ZERO-KNOWLEDGE- PROTOKOLL*» 27
1.4.5 REPRAESENTATION VON GRAPHEN 30 1.4.6 BREITENSUCHE UND TIEFENSUCHE
31 1.4.7 BINAERE RELATIONEN» 35 1.5 PRUEFUNGSFRAGEN 39 2 AUTOMATEN UND
FORMALE SPRACHEN 41 2.1 SPRACHEN UND MENGENOPERATIONEN 41 2.2
GRAMMATIKEN 44 2.2.1 DIE CHOMSKY-HIERARCHIE 44 2.2.2 MEHRDEUTIGKEIT 49
INHALTSVERZEICHNIS 2.3 REGULAERE SPRACHEN 54 2.3.1 ENDLICHE AUTOMATEN 54
2.3.2 VERWANDTE AUTOMATENMODELLE ^ + 64 2.3.3 DAS PUMPING-LEMMA 65
2.3.4 REGULAERE AUSDRUECKE . 67 2.3.5 LEXIKALISCHE ANALYSE*^ 68 2.4
KONTEXTFREIE SPRACHEN 74 2.4.1 KELLERAUTOMATEN 74 2.4.2 DAS WORTPROBLEM
BEI KONTEXTFREIEN SPRACHEN 79 2.4.3 DAS PUMPING-LEMMA FUER KONTEXTFREIE
SPRACHEN ( + . . 83 2.4.4 SYNTAXANALYSE ^ 85 2.5
ABSCHLUSSEIGENSCHAFTEN VON SPRACHEN 91 2.6 TURING-MASCHINEN 94 2.6.1
DETERMINISTISCHE UND NICHTDETERMINISTISCHE TURING- MASCHINEN 94 2.6.2
MEHRBAND-TURING-MASCHINEN 98 2.7 PRUEFUNGSFRAGEN 100 BERECHENBARKEIT,
ENTSCHEIDBARKEIT UND KOMPLEXITAET 103 3.1 BERECHENBARKEIT 103 3.1.1
TURING-BERECHENBARKEIT UND PROGRAMMIERSPRACHEN ... 103 3.1.2 GOTO- UND
WHILE-PROGRAMME + 107 3.1.3 LOOP-BERECHENBARKEIT 109 3.2
ENTSCHEIDBARKEIT 113 3.2.1 DAS HALTEPROBLEM 113 3.2.2 REDUZIERBARKEIT
117 3.3 KOMPLEXITAETSTHEORIE 125 3.3.1 DIE KLASSEN P UND NP 125 3.3.2
EINE ANDERE CHARAKTERISIERUNG VON NP 130 3.3.3 NP-VOLLSTAENDIGKEIT 131
3.3.4 WEITERE NP-VOLLSTAENDIGE PROBLEME 140 3.4 PRUEFUNGSFRAGEN 153
LOESUNGEN DER AUFGABEN 155 4.1 GRUNDLAGEN 155 4.1.1 BEWEISTECHNIKEN 155
4.1.2 AUSSAGENLOGIK 156 4.1.3 O-NOTATION UND LANDAU-SYMBOLE 157 4.1.4
GRAPHEN 158 4.1.5 PRUEFUNGSFRAGEN 160 4.2 FORMALE SPRACHEN 162 4.2.1
SPRACHEN UND MENGENOPERATIONEN 162 INHALTSVERZEICHNIS XI 4.2.2
GRAMMATIKEN 164 4.2.3 REGULAERE SPRACHEN 166 4.2.4 KELLERAUTOMATEN UND
KONTEXTFREIE SPRACHEN 173 4.2.5 ABSCHLUSSEIGENSCHAFTEN VON SPRACHEN 179
4.2.6 TURING-MASCHINEN 184 4.2.7 PRUEFUNGSFRAGEN 186 4.3 BERECHENBARKEIT,
ENTSCHEIDBARKEIT UND KOMPLEXITAET 188 4.3.1 BERECHENBARKEIT 188 4.3.2
ENTSCHEIDBARKEIT 191 4.3.3 KOMPLEXITAETSTHEORIE 195 4.3.4 PRUEFUNGSFRAGEN
199 A ANHANG 203 A. 1 UEBERSICHT AUTOMATEN 203 A.2 REGULAERE AUSDRUECKE
UNTER UNIX 204 A.3 NOTATIONEN 205 LITERATURVERZEICHNIS 207 INDEX 209
|
| any_adam_object | 1 |
| author | Hollas, Boris 1970- |
| author_GND | (DE-588)1075472806 |
| author_facet | Hollas, Boris 1970- |
| author_role | aut |
| author_sort | Hollas, Boris 1970- |
| author_variant | b h bh |
| building | Verbundindex |
| bvnumber | BV023802614 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)162305387 (DE-599)BVBBV023802614 |
| dewey-full | 004.015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015113 |
| dewey-search | 004.015113 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01585nam a2200385zc 4500</leader><controlfield tag="001">BV023802614</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151106 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">071126s2007 xx d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827418267</subfield><subfield code="9">3-8274-1826-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162305387</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023802614</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</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="100" ind1="1" ind2=" "><subfield code="a">Hollas, Boris</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1075472806</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundkurs theoretische Informatik</subfield><subfield code="b">mit Aufgaben und Prüfungsfragen</subfield><subfield code="c">Boris Hollas</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Elsevier, Spektrum, Akad. Verl.</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 211 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</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">HochschulTaschenbuch</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="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2888980&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Beschreibung für Leser</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.gbv.de/dms/ilmenau/toc/522232973.PDF</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=017444813&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017444813</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV023802614 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T21:37:46Z |
| institution | BVB |
| isbn | 3827418267 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017444813 |
| oclc_num | 162305387 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | XI, 211 S. graph. Darst. 21 cm |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Elsevier, Spektrum, Akad. Verl. |
| record_format | marc |
| series2 | HochschulTaschenbuch |
| spellingShingle | Hollas, Boris 1970- Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen |
| title_auth | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen |
| title_exact_search | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen |
| title_full | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen Boris Hollas |
| title_fullStr | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen Boris Hollas |
| title_full_unstemmed | Grundkurs theoretische Informatik mit Aufgaben und Prüfungsfragen Boris Hollas |
| title_short | Grundkurs theoretische Informatik |
| title_sort | grundkurs theoretische informatik mit aufgaben und prufungsfragen |
| title_sub | mit Aufgaben und Prüfungsfragen |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2888980&prov=M&dok_var=1&dok_ext=htm http://www.gbv.de/dms/ilmenau/toc/522232973.PDF http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017444813&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hollasboris grundkurstheoretischeinformatikmitaufgabenundprufungsfragen |