Elementare Berechenbarkeitstheorie:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1996
|
| Series: | Springer-Lehrbuch
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich insbesondere an Informatikstudenten, ist aber für alle geeignet, die an den Grundlagen und Grenzen der algorithmischen Berechenbarkeit interessiert sind. Vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist und daher der Denkweise der Informatik besonders entgegenkommt. Daneben werden auch die klassischen Berechenbarkeitsmodelle Turingmaschine und µ-rekursive Funktionen betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Im Anschluß an die systematische Entwicklung des Begriffs der berechenbaren Funktion (und parallel dazu einer geeigneten Programmiersprache) werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen, wie etwa das grundlegende Halteproblem für Computerprogramme. Als weiterführender Themenbereich wird die Unentscheidbarkeit der Prädikatenlogik behandelt sowie einiger Probleme aus dem Gebiet der formalen Sprachen, die im Compilerbau eine wichtige Rolle spielen |
| Physical Description: | 1 Online-Ressource (X, 166S.) |
| ISBN: | 9783642582837 9783540606673 |
| ISSN: | 0937-7433 |
| DOI: | 10.1007/978-3-642-58283-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042446001 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1996 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642582837 |c Online |9 978-3-642-58283-7 | ||
| 020 | |a 9783540606673 |c Print |9 978-3-540-60667-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-58283-7 |2 doi | |
| 035 | |a (OCoLC)863692611 | ||
| 035 | |a (DE-599)BVBBV042446001 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 100 | 1 | |a Smith, Einar |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Elementare Berechenbarkeitstheorie |c von Einar Smith |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1996 | |
| 300 | |a 1 Online-Ressource (X, 166S.) | ||
| 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 Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich insbesondere an Informatikstudenten, ist aber für alle geeignet, die an den Grundlagen und Grenzen der algorithmischen Berechenbarkeit interessiert sind. Vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist und daher der Denkweise der Informatik besonders entgegenkommt. Daneben werden auch die klassischen Berechenbarkeitsmodelle Turingmaschine und µ-rekursive Funktionen betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Im Anschluß an die systematische Entwicklung des Begriffs der berechenbaren Funktion (und parallel dazu einer geeigneten Programmiersprache) werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen, wie etwa das grundlegende Halteproblem für Computerprogramme. Als weiterführender Themenbereich wird die Unentscheidbarkeit der Prädikatenlogik behandelt sowie einiger Probleme aus dem Gebiet der formalen Sprachen, die im Compilerbau eine wichtige Rolle spielen | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computer science | |
| 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 Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-58283-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027881248 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153142916415488 |
|---|---|
| any_adam_object | |
| author | Smith, Einar |
| author_facet | Smith, Einar |
| author_role | aut |
| author_sort | Smith, Einar |
| author_variant | e s es |
| building | Verbundindex |
| bvnumber | BV042446001 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)863692611 (DE-599)BVBBV042446001 |
| 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 Mathematik |
| doi_str_mv | 10.1007/978-3-642-58283-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03162nmm a2200553zc 4500</leader><controlfield tag="001">BV042446001</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1996 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642582837</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-58283-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540606673</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-60667-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-58283-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863692611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042446001</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-92</subfield><subfield code="a">DE-706</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">NAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, Einar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elementare Berechenbarkeitstheorie</subfield><subfield code="c">von Einar Smith</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 166S.)</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">Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich insbesondere an Informatikstudenten, ist aber für alle geeignet, die an den Grundlagen und Grenzen der algorithmischen Berechenbarkeit interessiert sind. Vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist und daher der Denkweise der Informatik besonders entgegenkommt. Daneben werden auch die klassischen Berechenbarkeitsmodelle Turingmaschine und µ-rekursive Funktionen betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Im Anschluß an die systematische Entwicklung des Begriffs der berechenbaren Funktion (und parallel dazu einer geeigneten Programmiersprache) werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen, wie etwa das grundlegende Halteproblem für Computerprogramme. Als weiterführender Themenbereich wird die Unentscheidbarkeit der Prädikatenlogik behandelt sowie einiger Probleme aus dem Gebiet der formalen Sprachen, die im Compilerbau eine wichtige Rolle spielen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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">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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-58283-7</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027881248</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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 | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042446001 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:55Z |
| institution | BVB |
| isbn | 9783642582837 9783540606673 |
| issn | 0937-7433 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027881248 |
| oclc_num | 863692611 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| physical | 1 Online-Ressource (X, 166S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spelling | Smith, Einar Verfasser aut Elementare Berechenbarkeitstheorie von Einar Smith Berlin, Heidelberg Springer Berlin Heidelberg 1996 1 Online-Ressource (X, 166S.) txt rdacontent c rdamedia cr rdacarrier Springer-Lehrbuch 0937-7433 Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich insbesondere an Informatikstudenten, ist aber für alle geeignet, die an den Grundlagen und Grenzen der algorithmischen Berechenbarkeit interessiert sind. Vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist und daher der Denkweise der Informatik besonders entgegenkommt. Daneben werden auch die klassischen Berechenbarkeitsmodelle Turingmaschine und µ-rekursive Funktionen betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Im Anschluß an die systematische Entwicklung des Begriffs der berechenbaren Funktion (und parallel dazu einer geeigneten Programmiersprache) werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen, wie etwa das grundlegende Halteproblem für Computerprogramme. Als weiterführender Themenbereich wird die Unentscheidbarkeit der Prädikatenlogik behandelt sowie einiger Probleme aus dem Gebiet der formalen Sprachen, die im Compilerbau eine wichtige Rolle spielen Mathematics Computer software Computer science Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Berechnungstheorie (DE-588)4005581-4 s 2\p DE-604 https://doi.org/10.1007/978-3-642-58283-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Smith, Einar Elementare Berechenbarkeitstheorie Mathematics Computer software Computer science Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4005581-4 (DE-588)4123623-3 |
| title | Elementare Berechenbarkeitstheorie |
| title_auth | Elementare Berechenbarkeitstheorie |
| title_exact_search | Elementare Berechenbarkeitstheorie |
| title_full | Elementare Berechenbarkeitstheorie von Einar Smith |
| title_fullStr | Elementare Berechenbarkeitstheorie von Einar Smith |
| title_full_unstemmed | Elementare Berechenbarkeitstheorie von Einar Smith |
| title_short | Elementare Berechenbarkeitstheorie |
| title_sort | elementare berechenbarkeitstheorie |
| topic | Mathematics Computer software Computer science Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Mathematics Computer software Computer science Combinatorics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Informatik Mathematik Berechnungstheorie Lehrbuch |
| url | https://doi.org/10.1007/978-3-642-58283-7 |
| work_keys_str_mv | AT smitheinar elementareberechenbarkeitstheorie |