Rekursive Funktionen (German, Paperback, 2002 ed.)

Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhangige Weise zu charakterisieren, namlich als die partiell Wort-rekursiven Wortfunktionen. Wortfunktionen lassen sich mittels arithmetischer Funktionen darstellen und zwar so, dass die partiell rekursiven arithmetischen Funktionen den partiell Wort-rekursiven Wortfunktionen entsprechen, was fur sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhalt man den Begriff der Turing-Berechenbarkeit auch fur arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist uberhaupt nicht selbstverstandlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Satze zu beweisen sind. Dies alles ist hier aufgeschrieben.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	March 2002
First published:	March 2002
Authors:	Heinz Luneburg
Dimensions:	234 x 156 x 5mm (L x W x T)
Format:	Paperback - Trade
Pages:	98
Edition:	2002 ed.
ISBN-13:	978-3-540-43094-0
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Algebra > General Promotions
LSN:	3-540-43094-6
Barcode:	9783540430940

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!