Band 24
Rekursive Funktionen und ihre Komplexität
Aus der Reihe
XTeubner Studienbücher Informatik
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 61.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.09.1974
Abbildungen
192 S. 2 Abb.
Verlag
Vieweg & TeubnerSeitenzahl
192
Maße (L/B/H)
21.6/14/1.1 cm
Gewicht
254 g
Auflage
1974
Sprache
Deutsch
ISBN
978-3-519-02322-7
Dieses Buch entstand aus Vorlesungen, die ich in den lahren 1970 bis 1973 an den Universitiiten Saarbriicken, Erlangen-Niirnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechen aufWandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Be griff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Pro gramm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turing maschine gekniipft. Die systematische Entwicklung der Begriffe Simulation und GOdelisierung gestattet es, die Aquivalenzbeweise ftir die Klassen der turingberechen baren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in iibersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete beriicksichtigt, die heute in ihren Grundziigen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die fUr die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen iiber endliche Bereiche in einer stiirmischen Entwicklung begriffen ist, habe ich zukiinftigen Darstellungen iiberlassen.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.