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 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
  • 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. 34.90
  • 15800536
    Rekursive Zahlen
    von Gerhard R. Schnell
    Buch (Taschenbuch)
    Fr. 41.90
  • 42169366
    Basiswissen Requirements Engineering
    von Klaus Pohl
    (1)
    Buch (gebundene Ausgabe)
    Fr. 41.90
  • 64103305
    Selbstorganisation braucht Führung
    von Boris Gloger
    Buch (Set mit diversen Artikeln)
    Fr. 49.90
  • 35352450
    Wirtschaftsinformatik für Dummies
    von Stephan Thesmann
    Buch (Taschenbuch)
    Fr. 36.90
  • 32562640
    Basiswissen Softwaretest
    von Andreas Spillner
    (3)
    Buch (gebundene Ausgabe)
    Fr. 52.90
  • 73028136
    SAFe - Das Scaled Agile Framework
    von Christoph Mathis
    Buch (Taschenbuch)
    Fr. 44.90
  • 73199299
    Grundlagen der Informatik
    von Helmut Herold
    Buch (gebundene Ausgabe)
    Fr. 69.90
  • 35351685
    Mathematik für Informatiker
    von Gerald Teschl
    Buch (Taschenbuch)
    Fr. 41.90
  • 42540720
    Kanban in der Praxis
    von Klaus Leopold
    Buch (Set mit diversen Artikeln)
    Fr. 49.90
  • 72224770
    The People's Scrum
    von Tobias Mayer
    Buch (Taschenbuch)
    Fr. 29.90
  • 64102970
    Kanban in der IT
    von Klaus Leopold
    Buch (Set mit diversen Artikeln)
    Fr. 49.90
  • 43628220
    Scrum in der Praxis
    von Sven Röpstorff
    Buch (gebundene Ausgabe)
    Fr. 51.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