orellfuessli.ch

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 158
Auflage 2002.
Buch (Taschenbuch)
Fr. 32.40
inkl. gesetzl. MwSt.
Versandfertig innert 6 - 9 Tagen
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. 64.90
  • 11066156
    Graphenbasierte Funktionsdarstellung
    von Bernd Becker
    Buch (Taschenbuch)
    Fr. 64.90
  • 3252124
    Neuronale Lernregeln und andere Methoden
    von Christos Karakas
    Buch (Kunststoff-Einband)
    Fr. 16.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. 68.90
  • 15800536
    Rekursive Zahlen
    von Gerhard R. Schnell
    Buch (Taschenbuch)
    Fr. 37.40
  • 42169366
    Basiswissen Requirements Engineering
    von Klaus Pohl
    (1)
    Buch (gebundene Ausgabe)
    Fr. 39.50
  • 35352450
    Wirtschaftsinformatik für Dummies
    von Stephan Thesmann
    Buch (Taschenbuch)
    Fr. 36.90
  • 32321961
    Grundlagen der Informatik
    von Helmut Herold
    Buch (gebundene Ausgabe)
    Fr. 62.00
  • 43806378
    Wirtschaftsinformatik
    von Kenneth C. Laudon
    Buch (gebundene Ausgabe)
    Fr. 79.00

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. 32.40
+
=
Schreib- und Gestaltungsregeln für die Textverarbeitung

Schreib- und Gestaltungsregeln für die Textverarbeitung

Buch (Taschenbuch)
Fr. 21.90
+
=

für

Fr. 54.30

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