Articoli correlati a Rekursive Funktionen/ Recursive Functions
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
1. Partiell rekursive Funktionen.- 2. Beispiele und erste Sätze.- 3. Beispiele aus der Zahlentheorie.- 4. Wertverlaufsrekursion.- 5. Die cantorsche Abzählung von N0 × N0.- 6. Die Gödelfunktion.- 7. Rekursive und rekursiv aufzählbare Mengen.- 8. Rekursive und rekursiv aufzählbare Mengen von N0n.- 9. Sparsame Erzeugung der partiell rekursiven Funktionen.- 10. Partiell rekursive Funktionen.- 11. Worthalbgruppen.- 12. Wortmengen und Wortfunktionen.- 13. Rekursive Wortfunktionen.- 14. Kennzeichnung der rekursiven Wortfunktionen.- 15. Turingmaschinen.- 16. Programme.- 17. Finale.- Literatur.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Nature
- Data di pubblicazione2002
- ISBN 10 3540430946
- ISBN 13 9783540430940
- RilegaturaCopertina flessibile
- Numero di pagine91
Compra nuovo
Scopri di più su questo articolo
EUR 26,26
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Rekursive Funktionen (Springer-Lehrbuch) (German Edition) by Luneburg, Heinz [Paperback ]
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540430940
Compra nuovo
EUR 26,26
Convertire valuta
Foto dell'editore
Rekursive Funktionen (Springer-Lehrbuch) (German Edition)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020167394
Compra nuovo
EUR 26,84
Convertire valuta
Foto dell'editore
Rekursive Funktionen
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540430940_lsuk
Compra nuovo
EUR 27,49
Convertire valuta
Foto dell'editore
Rekursive Funktionen
Da:
Valutazione libreria
Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783540430940
Compra nuovo
EUR 23,95
Convertire valuta
Immagini fornite dal venditore
Rekursive Funktionen
Editore:
Springer Berlin Heidelberg Mrz 2002
(2002)
ISBN 10: 3540430946
ISBN 13: 9783540430940
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: 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. Codice articolo 9783540430940
Compra nuovo
EUR 23,95
Convertire valuta
Immagini fornite dal venditore
Rekursive Funktionen
Editore:
Springer Berlin Heidelberg
(2002)
ISBN 10: 3540430946
ISBN 13: 9783540430940
Nuovo
Taschenbuch
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: 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. Codice articolo 9783540430940
Compra nuovo
EUR 26,90
Convertire valuta
Immagini fornite dal venditore
Rekursive Funktionen
Editore:
Springer Berlin Heidelberg
(2002)
ISBN 10: 3540430946
ISBN 13: 9783540430940
Nuovo
Kartoniert / Broschiert
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Kartoniert / Broschiert. Condizione: 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. Codice articolo 4890241
Compra nuovo
EUR 23,64
Convertire valuta