Nur bis Sonntag: Fr. 30.- Rabatt auf (fast) alles ab einem Einkauf von Fr. 100.-*

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) 235/155/5 mm
Gewicht 162
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
    von Gander
    Buch (Taschenbuch)
    Fr. 76.90
  • 11066156
    Graphenbasierte Funktionsdarstellung
    von Bernd Becker
    Buch (Taschenbuch)
    Fr. 95.90
  • 15131972
    Echtzeitsysteme
    von Dieter Zöbel
    Buch (Taschenbuch)
    Fr. 35.90
  • 39305405
    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
    von Christos Karakas
    Buch (Kunststoff-Einband)
    Fr. 21.90
  • 26981899
    "Narrative Realitäten"
    von Peter Hoffmann
    Buch (Kunststoff-Einband)
    Fr. 63.90
  • 15793747
    Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering
    von Helmut Balzert
    Buch (gebundene Ausgabe)
    Fr. 73.90
  • 3096815
    DCE: Sicherheit für die Praxis
    von Horst Mehl
    Buch (Taschenbuch)
    Fr. 75.90
  • 43312580
    Francis Bacon (Classic Reprint)
    von R. W. Church
    Buch (Taschenbuch)
    Fr. 37.90
  • 15800536
    Rekursive Zahlen
    von Gerhard R. Schnell
    Buch (Taschenbuch)
    Fr. 51.90
  • 42169366
    Basiswissen Requirements Engineering
    von Klaus Pohl
    (1)
    Buch (gebundene Ausgabe)
    Fr. 41.90
  • 73199299
    Grundlagen der Informatik
    von Helmut Herold
    Buch (gebundene Ausgabe)
    Fr. 69.90
  • 29392784
    Lehrbuch der Objektmodellierung
    von Heide Balzert
    (1)
    Buch (Taschenbuch)
    Fr. 29.90
  • 32974985
    Scrum - kurz & gut
    von Rolf Dräther
    Buch (Taschenbuch)
    Fr. 24.90
  • 43712640
    Datenbanksysteme
    von Alfons Kemper
    Buch (Taschenbuch)
    Fr. 68.00
  • 46876267
    Praxishandbuch BPMN
    von Jakob Freund
    Buch (Set mit diversen Artikeln)
    Fr. 49.90
  • 73028136
    SAFe - Das Scaled Agile Framework
    von Christoph Mathis
    Buch (Taschenbuch)
    Fr. 44.90
  • 38542247
    Mathematik für Informatiker
    von Gerald Teschl
    Buch (Taschenbuch)
    Fr. 41.90
  • 37408527
    Prüfungsvorbereitung für IT-Berufe
    von Manfred Wünsche
    Schulbuch (Taschenbuch)
    Fr. 31.90
  • 64103305
    Selbstorganisation braucht Führung
    von Boris Gloger
    Buch (Set mit diversen Artikeln)
    Fr. 49.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