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

  • 37860656
    Computermathematik - Gander
    Computermathematik
    von Gander
    Buch (Taschenbuch)
    Fr. 76.90
  • 15131972
    Echtzeitsysteme - Dieter Zöbel
    Echtzeitsysteme
    von Dieter Zöbel
    Buch (Taschenbuch)
    Fr. 35.90
  • 11066156
    Graphenbasierte Funktionsdarstellung - Bernd Becker, Rolf Drechsler
    Graphenbasierte Funktionsdarstellung
    von Bernd Becker
    Buch (Taschenbuch)
    Fr. 95.90
  • 39305405
    Der bibelfeste Mörder / Sherlock Holmes - die neuen Fälle Bd.14 - Eric Niemann
    Der bibelfeste Mörder / Sherlock Holmes - die neuen Fälle Bd.14
    von Eric Niemann
    Hörbuch (CD)
    Fr. 17.90
  • 3252124
    Neuronale Lernregeln und andere Methoden - Christos Karakas
    Neuronale Lernregeln und andere Methoden
    von Christos Karakas
    Buch (Kunststoff-Einband)
    Fr. 21.90
  • 26981899
    „Narrative Realitäten“ - Peter Hoffmann
    „Narrative Realitäten“
    von Peter Hoffmann
    Buch (Kunststoff-Einband)
    Fr. 63.90
  • 15793747
    Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering - Helmut Balzert
    Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering
    von Helmut Balzert
    Buch (gebundene Ausgabe)
    Fr. 73.90
  • 3096815
    DCE: Sicherheit für die Praxis - Horst Mehl
    DCE: Sicherheit für die Praxis
    von Horst Mehl
    Buch (Taschenbuch)
    Fr. 75.90
  • 66254976
    Friedrich Nietzsche: Jenseits von Gut und Böse - Friedrich Nietzsche
    Friedrich Nietzsche: Jenseits von Gut und Böse
    von Friedrich Nietzsche
    Buch (gebundene Ausgabe)
    Fr. 8.90
  • 43312580
    Francis Bacon (Classic Reprint) - R. W. Church
    Francis Bacon (Classic Reprint)
    von R. W. Church
    Buch (Taschenbuch)
    Fr. 37.90
  • 15800536
    Rekursive Zahlen - Gerhard R. Schnell
    Rekursive Zahlen
    von Gerhard R. Schnell
    Buch (Taschenbuch)
    Fr. 51.90
  • 42169366
    Basiswissen Requirements Engineering - Klaus Pohl, Chris Rupp
    Basiswissen Requirements Engineering
    von Klaus Pohl
    (1)
    Buch (gebundene Ausgabe)
    Fr. 41.90
  • 47662310
    Scrum mit User Stories - Ralf Wirdemann, Johannes Mainusch
    Scrum mit User Stories
    von Ralf Wirdemann
    Buch (Set mit diversen Artikeln)
    Fr. 45.90
  • 48029413
    Agiles Coaching - Judith Andresen
    Agiles Coaching
    von Judith Andresen
    Buch (Set mit diversen Artikeln)
    Fr. 45.90
  • 72222928
    UML 2 in 5 Tagen - Heide Balzert
    UML 2 in 5 Tagen
    von Heide Balzert
    Buch (Taschenbuch)
    Fr. 27.90
  • 94536962
    Bitcoin & Blockchain - Grundlagen und Programmierung - Andreas M. Antonopoulos
    Bitcoin & Blockchain - Grundlagen und Programmierung
    von Andreas M. Antonopoulos
    Buch (Taschenbuch)
    Fr. 57.90
  • 46876267
    Praxishandbuch BPMN - Jakob Freund, Bernd Rücker
    Praxishandbuch BPMN
    von Jakob Freund
    Buch (Set mit diversen Artikeln)
    Fr. 49.90
  • 72224771
    Collaborative UX Design - Toni Steimle, Dieter Wallach
    Collaborative UX Design
    von Toni Steimle
    (1)
    Buch (gebundene Ausgabe)
    Fr. 43.90
  • 35351685
    Mathematik für Informatiker - Gerald Teschl, Susanne Teschl
    Mathematik für Informatiker
    von Gerald Teschl
    Buch (Taschenbuch)
    Fr. 41.90
  • 64102853
    VMware vSphere 6.5 - Thomas Joos
    VMware vSphere 6.5
    von Thomas Joos
    Buch (Set mit diversen Artikeln)
    Fr. 69.90

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Rekursive Funktionen - Heinz Lüneburg

Rekursive Funktionen

von Heinz Lüneburg

Buch (Taschenbuch)
Fr. 33.90
+
=
Schreib- und Gestaltungsregeln für die Textverarbeitung

Schreib- und Gestaltungsregeln für die Textverarbeitung

Buch (Taschenbuch)
Fr. 21.90
+
=

für

Fr. 55.80

inkl. gesetzl. MwSt.

Alle kaufen

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