Articles liés à Rekursive Funktionen/ Recursive Functions
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
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 unabhängige Weise zu charakterisieren, nämlich 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 für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2002
- ISBN 10 3540430946
- ISBN 13 9783540430940
- ReliureBroché
- Nombre de pages86
Acheter neuf
En savoir plus sur cette édition
EUR 26,25
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Rekursive Funktionen (Springer-Lehrbuch) (German Edition) by Luneburg, Heinz [Paperback ]
Edité par
Springer
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540430940
Acheter neuf
EUR 26,25
Autre devise
Image d'archives
Rekursive Funktionen (Springer-Lehrbuch) (German Edition)
Edité par
Springer
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020167394
Acheter neuf
EUR 26,83
Autre devise
Image d'archives
Rekursive Funktionen
Edité par
Springer
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540430940_lsuk
Acheter neuf
EUR 27,47
Autre devise
Image d'archives
Rekursive Funktionen
Edité par
Springer 2002-03
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540430940
Acheter neuf
EUR 23,93
Autre devise
Image fournie par le vendeur
Rekursive Funktionen
Edité par
Springer Berlin Heidelberg Mrz 2002
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 unabhängige Weise zu charakterisieren, nämlich 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 für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben. TOC:Partiell rekursive Funktionen.- Beispiele und erste Sätze.- Beispiele aus der Zahlentheorie.- Wertverlaufsrekursion.- Die cantorsche Abzählung von N x N.- Die Gödelfunktion.- Rekursive und rekursiv aufzählbare Mengen.- Rekursive und rekursiv aufzählbare Mengen von Nx.xN (n-fach).- Sparsame Erzeugung der partiell rekursiven Funktionen.- Partiell rekursive Funktionen.- Worthalbgruppen.- Wortmengen und Wortfunktionen.- Rekursive Wortfunktionen.- Kennzeichnung der rekursiven Wortfunktionen.- Turingmaschinen.- Programme.- Finale. 96 pp. Deutsch. N° de réf. du vendeur 9783540430940
Acheter neuf
EUR 23,95
Autre devise
Image fournie par le vendeur
Rekursive Funktionen
Edité par
Springer Berlin Heidelberg
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 unabhängige Weise zu charakterisieren, nämlich 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 für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben. TOC:Partiell rekursive Funktionen.- Beispiele und erste Sätze.- Beispiele aus der Zahlentheorie.- Wertverlaufsrekursion.- Die cantorsche Abzählung von N x N.- Die Gödelfunktion.- Rekursive und rekursiv aufzählbare Mengen.- Rekursive und rekursiv aufzählbare Mengen von Nx.xN (n-fach).- Sparsame Erzeugung der partiell rekursiven Funktionen.- Partiell rekursive Funktionen.- Worthalbgruppen.- Wortmengen und Wortfunktionen.- Rekursive Wortfunktionen.- Kennzeichnung der rekursiven Wortfunktionen.- Turingmaschinen.- Programme.- Finale. N° de réf. du vendeur 9783540430940
Acheter neuf
EUR 26,90
Autre devise
Image fournie par le vendeur
Rekursive Funktionen
Edité par
Springer Berlin Heidelberg
(2002)
ISBN 10 : 3540430946
ISBN 13 : 9783540430940
Neuf
Kartoniert / Broschiert
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Kompakte Darstellung der Rekursiven FunktionenAbrundung der theoretischen Informatik vom mathematischen StandpunktDieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berech. N° de réf. du vendeur 4890241
Acheter neuf
EUR 23,64
Autre devise