Entdecken Sie jetzt unser grosses Sommer-Sortiment!

Rekursive Funktionen

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.
… weiterlesen

Beschreibung

Produktdetails


Einband Taschenbuch
Seitenzahl 86
Erscheinungsdatum 07.03.2002
Sprache Deutsch
ISBN 978-3-540-43094-0
Verlag Springer
Maße (L/B/H) 23,5/15,5/0,5 cm
Gewicht 158 g
Auflage 2002
Buch (Taschenbuch)
Fr. 33.90
inkl. gesetzl. MwSt.
Versandfertig innert 4 - 7 Werktagen
Versandkostenfrei
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen

Andere Kunden interessierten sich auch für

  • Computermathematik
    von Gander
    Buch (Taschenbuch)
    Fr. 76.90
  • Echtzeitsysteme
    von Dieter Zöbel
    Buch (Taschenbuch)
    Fr. 35.90
  • Graphenbasierte Funktionsdarstellung
    von Bernd Becker, Rolf Drechsler
    Buch (Taschenbuch)
    Fr. 95.90
  • Der bibelfeste Mörder / Sherlock Holmes - die neuen Fälle Bd.14
    von Eric Niemann
    Hörbuch (CD)
    Fr. 17.90
  • Neuronale Lernregeln und andere Methoden
    von Christos Karakas
    Buch (Kunststoff-Einband)
    Fr. 21.90
  • „Narrative Realitäten“
    von Peter Hoffmann
    Buch (Kunststoff-Einband)
    Fr. 63.90
  • Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering
    von Helmut Balzert
    Buch (gebundene Ausgabe)
    Fr. 73.90
  • DCE: Sicherheit für die Praxis
    von Horst Mehl
    Buch (Taschenbuch)
    Fr. 75.90
  • Friedrich Nietzsche: Jenseits von Gut und Böse
    von Friedrich Nietzsche
    Buch (gebundene Ausgabe)
    Fr. 8.90
  • Francis Bacon (Classic Reprint)
    von R. W. Church
    Buch (Taschenbuch)
    Fr. 37.90

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.

Verfügbarkeit in Ihrer Buchhandlung prüfen

Filialabholung: Ihre Vorteile
  1. Bereits Online prüfen, ob Ihr gewünschtes Buch in der Filiale vorrätig ist
  2. Bestellen Sie Online und lassen Sie Ihre Artikel zur Abholung in die Filiale vor Ort liefern
  3. Artikel, die zur Filialabholung bestellt wurden, können in der Filiale bezahlt werden.
  4. Falsches Buch bestellt? Retournieren Sie ihre gekauften Bücher kostenfrei in der Filiale