Rekursive Funktionen und ihre Komplexität:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1974
|
| Schriftenreihe: | Leitfäden der angewandten Mathematik und Mechanik
24 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch entstand aus Vorlesungen, die ich in den Jahren 1970 bis 1973 an den Universitäten Saarbrüicken, Erlangen-Nürnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechenaufwandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Begriff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Programm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turingmaschine geknüpft. Die systematische Entwicklung der Begriffe Simulation und Modellisierung gestattet es, die Äquivalenzbeweise für die Klassen der turingberechenbaren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in übersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete berücksichtigt, die heute in ihren Grundzügen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die für die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen über endliche Bereiche in einer stürmischen Entwicklung begriffen ist, habe ich zukünftigen Darstellungen überlassen |
| Beschreibung: | 1 Online-Ressource (192 S.) |
| ISBN: | 9783322947017 9783519023227 |
| DOI: | 10.1007/978-3-322-94701-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042431018 | ||
| 003 | DE-604 | ||
| 005 | 20170405 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1974 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322947017 |c Online |9 978-3-322-94701-7 | ||
| 020 | |a 9783519023227 |c Print |9 978-3-519-02322-7 | ||
| 024 | 7 | |a 10.1007/978-3-322-94701-7 |2 doi | |
| 035 | |a (OCoLC)992854524 | ||
| 035 | |a (DE-599)BVBBV042431018 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Schnorr, Claus Peter |d 1943- |e Verfasser |0 (DE-588)10705051X |4 aut | |
| 245 | 1 | 0 | |a Rekursive Funktionen und ihre Komplexität |c von Claus Peter Schnorr |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1974 | |
| 300 | |a 1 Online-Ressource (192 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Leitfäden der angewandten Mathematik und Mechanik |v 24 | |
| 490 | 0 | |a Teubner-Studienbücher : Informatik | |
| 500 | |a Dieses Buch entstand aus Vorlesungen, die ich in den Jahren 1970 bis 1973 an den Universitäten Saarbrüicken, Erlangen-Nürnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechenaufwandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Begriff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Programm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turingmaschine geknüpft. Die systematische Entwicklung der Begriffe Simulation und Modellisierung gestattet es, die Äquivalenzbeweise für die Klassen der turingberechenbaren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in übersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete berücksichtigt, die heute in ihren Grundzügen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die für die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen über endliche Bereiche in einer stürmischen Entwicklung begriffen ist, habe ich zukünftigen Darstellungen überlassen | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursive Funktion |0 (DE-588)4138367-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Rekursive Funktion |0 (DE-588)4138367-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 830 | 0 | |a Leitfäden der angewandten Mathematik und Mechanik |v 24 |w (DE-604)BV001888049 |9 24 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-94701-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866349 | ||
Datensatz im Suchindex
| _version_ | 1804153113618153472 |
|---|---|
| any_adam_object | |
| author | Schnorr, Claus Peter 1943- |
| author_GND | (DE-588)10705051X |
| author_facet | Schnorr, Claus Peter 1943- |
| author_role | aut |
| author_sort | Schnorr, Claus Peter 1943- |
| author_variant | c p s cp cps |
| building | Verbundindex |
| bvnumber | BV042431018 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)992854524 (DE-599)BVBBV042431018 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-94701-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03532nmm a2200577zcb4500</leader><controlfield tag="001">BV042431018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170405 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1974 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322947017</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-94701-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519023227</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02322-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-94701-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992854524</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431018</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-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schnorr, Claus Peter</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)10705051X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rekursive Funktionen und ihre Komplexität</subfield><subfield code="c">von Claus Peter Schnorr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (192 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="1" ind2=" "><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">24</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner-Studienbücher : Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch entstand aus Vorlesungen, die ich in den Jahren 1970 bis 1973 an den Universitäten Saarbrüicken, Erlangen-Nürnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechenaufwandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Begriff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Programm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turingmaschine geknüpft. Die systematische Entwicklung der Begriffe Simulation und Modellisierung gestattet es, die Äquivalenzbeweise für die Klassen der turingberechenbaren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in übersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete berücksichtigt, die heute in ihren Grundzügen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die für die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen über endliche Bereiche in einer stürmischen Entwicklung begriffen ist, habe ich zukünftigen Darstellungen überlassen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">24</subfield><subfield code="w">(DE-604)BV001888049</subfield><subfield code="9">24</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-94701-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866349</subfield></datafield></record></collection> |
| id | DE-604.BV042431018 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322947017 9783519023227 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866349 |
| oclc_num | 992854524 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (192 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series | Leitfäden der angewandten Mathematik und Mechanik |
| series2 | Leitfäden der angewandten Mathematik und Mechanik Teubner-Studienbücher : Informatik |
| spelling | Schnorr, Claus Peter 1943- Verfasser (DE-588)10705051X aut Rekursive Funktionen und ihre Komplexität von Claus Peter Schnorr Wiesbaden Vieweg+Teubner Verlag 1974 1 Online-Ressource (192 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden der angewandten Mathematik und Mechanik 24 Teubner-Studienbücher : Informatik Dieses Buch entstand aus Vorlesungen, die ich in den Jahren 1970 bis 1973 an den Universitäten Saarbrüicken, Erlangen-Nürnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechenaufwandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Begriff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Programm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turingmaschine geknüpft. Die systematische Entwicklung der Begriffe Simulation und Modellisierung gestattet es, die Äquivalenzbeweise für die Klassen der turingberechenbaren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in übersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete berücksichtigt, die heute in ihren Grundzügen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die für die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen über endliche Bereiche in einer stürmischen Entwicklung begriffen ist, habe ich zukünftigen Darstellungen überlassen Engineering Engineering, general Ingenieurwissenschaften Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 s DE-604 Rekursive Funktion (DE-588)4138367-9 s Berechenbarkeit (DE-588)4138368-0 s Entscheidbarkeit (DE-588)4152398-2 s Leitfäden der angewandten Mathematik und Mechanik 24 (DE-604)BV001888049 24 https://doi.org/10.1007/978-3-322-94701-7 Verlag Volltext |
| spellingShingle | Schnorr, Claus Peter 1943- Rekursive Funktionen und ihre Komplexität Leitfäden der angewandten Mathematik und Mechanik Engineering Engineering, general Ingenieurwissenschaften Entscheidbarkeit (DE-588)4152398-2 gnd Rekursive Funktion (DE-588)4138367-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)4152398-2 (DE-588)4138367-9 (DE-588)4138368-0 (DE-588)4003953-5 |
| title | Rekursive Funktionen und ihre Komplexität |
| title_auth | Rekursive Funktionen und ihre Komplexität |
| title_exact_search | Rekursive Funktionen und ihre Komplexität |
| title_full | Rekursive Funktionen und ihre Komplexität von Claus Peter Schnorr |
| title_fullStr | Rekursive Funktionen und ihre Komplexität von Claus Peter Schnorr |
| title_full_unstemmed | Rekursive Funktionen und ihre Komplexität von Claus Peter Schnorr |
| title_short | Rekursive Funktionen und ihre Komplexität |
| title_sort | rekursive funktionen und ihre komplexitat |
| topic | Engineering Engineering, general Ingenieurwissenschaften Entscheidbarkeit (DE-588)4152398-2 gnd Rekursive Funktion (DE-588)4138367-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd Automatentheorie (DE-588)4003953-5 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Entscheidbarkeit Rekursive Funktion Berechenbarkeit Automatentheorie |
| url | https://doi.org/10.1007/978-3-322-94701-7 |
| volume_link | (DE-604)BV001888049 |
| work_keys_str_mv | AT schnorrclauspeter rekursivefunktionenundihrekomplexitat |