Theoretische Informatik: eine umfassende Einführung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2002
|
| Ausgabe: | Zweite, erweiterte Auflage |
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es zugleich eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, dass die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausführlich vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt |
| Beschreibung: | 1 Online-Ressource (X, 467 S.) |
| ISBN: | 9783662104286 |
| ISSN: | 0937-7433 |
| DOI: | 10.1007/978-3-662-10428-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042449580 | ||
| 003 | DE-604 | ||
| 005 | 20200622 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s2002 |||| o||u| ||||||ger d | ||
| 020 | |a 9783662104286 |c Online |9 978-3-662-10428-6 | ||
| 024 | 7 | |a 10.1007/978-3-662-10428-6 |2 doi | |
| 035 | |a (OCoLC)864059525 | ||
| 035 | |a (DE-599)BVBBV042449580 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-860 |a DE-92 |a DE-703 |a DE-706 |a DE-Aug4 |a DE-739 |a DE-19 |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 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 NAT 000 |2 stub | ||
| 100 | 1 | |a Erk, Katrin |e Verfasser |0 (DE-588)136003753 |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b eine umfassende Einführung |c von Katrin Erk, Lutz Priese |
| 250 | |a Zweite, erweiterte Auflage | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2002 | |
| 300 | |a 1 Online-Ressource (X, 467 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch |x 0937-7433 | |
| 500 | |a Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es zugleich eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, dass die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausführlich vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Combinatorics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 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 | |
| 700 | 1 | |a Priese, Lutz |d 1947- |e Sonstige |0 (DE-588)13599697X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-540-42624-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-10428-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 940 | 1 | |q ZDB-2-SNA_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027884826 | ||
Datensatz im Suchindex
| _version_ | 1804153150767104000 |
|---|---|
| any_adam_object | |
| author | Erk, Katrin |
| author_GND | (DE-588)136003753 (DE-588)13599697X |
| author_facet | Erk, Katrin |
| author_role | aut |
| author_sort | Erk, Katrin |
| author_variant | k e ke |
| building | Verbundindex |
| bvnumber | BV042449580 |
| classification_rvk | ST 110 ST 120 ST 130 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)864059525 (DE-599)BVBBV042449580 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Allgemeine Naturwissenschaft Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-662-10428-6 |
| edition | Zweite, erweiterte Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03011nmm a2200625zc 4500</leader><controlfield tag="001">BV042449580</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200622 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s2002 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662104286</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-10428-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-10428-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864059525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042449580</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</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">NAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Erk, Katrin</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136003753</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine umfassende Einführung</subfield><subfield code="c">von Katrin Erk, Lutz Priese</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Zweite, erweiterte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 467 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield><subfield code="x">0937-7433</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es zugleich eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, dass die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausführlich vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="700" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-540-42624-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-10428-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027884826</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042449580 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:22:02Z |
| institution | BVB |
| isbn | 9783662104286 |
| issn | 0937-7433 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027884826 |
| oclc_num | 864059525 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-860 DE-92 DE-703 DE-706 DE-Aug4 DE-739 DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-860 DE-92 DE-703 DE-706 DE-Aug4 DE-739 DE-19 DE-BY-UBM DE-83 |
| physical | 1 Online-Ressource (X, 467 S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive ZDB-2-SNA_2000/2004 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spelling | Erk, Katrin Verfasser (DE-588)136003753 aut Theoretische Informatik eine umfassende Einführung von Katrin Erk, Lutz Priese Zweite, erweiterte Auflage Berlin, Heidelberg Springer Berlin Heidelberg 2002 1 Online-Ressource (X, 467 S.) txt rdacontent c rdamedia cr rdacarrier Springer-Lehrbuch 0937-7433 Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es zugleich eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, dass die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausführlich vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt Mathematics Computer science Computer software Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Priese, Lutz 1947- Sonstige (DE-588)13599697X oth Erscheint auch als Druck-Ausgabe 978-3-540-42624-0 https://doi.org/10.1007/978-3-662-10428-6 Verlag Volltext |
| spellingShingle | Erk, Katrin Theoretische Informatik eine umfassende Einführung Mathematics Computer science Computer software Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Theoretische Informatik eine umfassende Einführung |
| title_auth | Theoretische Informatik eine umfassende Einführung |
| title_exact_search | Theoretische Informatik eine umfassende Einführung |
| title_full | Theoretische Informatik eine umfassende Einführung von Katrin Erk, Lutz Priese |
| title_fullStr | Theoretische Informatik eine umfassende Einführung von Katrin Erk, Lutz Priese |
| title_full_unstemmed | Theoretische Informatik eine umfassende Einführung von Katrin Erk, Lutz Priese |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik eine umfassende einfuhrung |
| title_sub | eine umfassende Einführung |
| topic | Mathematics Computer science Computer software Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Informatik Mathematik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Mathematics Computer science Computer software Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematics of Computing Informatik Mathematik Theoretische Informatik Lehrbuch |
| url | https://doi.org/10.1007/978-3-662-10428-6 |
| work_keys_str_mv | AT erkkatrin theoretischeinformatikeineumfassendeeinfuhrung AT prieselutz theoretischeinformatikeineumfassendeeinfuhrung |