Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2002

Rekursive Funktionen

Authors:

  1. Heinz Lüneburg

    1. Fachbereich Mathematik, Universität Kaiserslautern, Kaiserslautern, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Kompakte Darstellung der Rekursiven Funktionen
  • Abrundung der theoretischen Informatik vom mathematischen Standpunkt
  • Includes supplementary material: sn.pub/extras

Part of the book series: Springer-Lehrbuch (SLB)

Sections

Buy it now

eBook USD 19.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 24.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (17 chapters)

  1. Front Matter

    Pages i-2
    PDF

  2. Partiell rekursive Funktionen

    • Heinz Lüneburg
    Pages 2-5

  3. Beispiele und erste Sätze

    • Heinz Lüneburg
    Pages 5-13

  4. Beispiele aus der Zahlentheorie

    • Heinz Lüneburg
    Pages 13-16

  5. Wertverlaufsrekursion

    • Heinz Lüneburg
    Pages 16-19

  6. Die cantorsche Abzählung von N0 x N0

    • Heinz Lüneburg
    Pages 19-24

  7. Die Gödelfunktion

    • Heinz Lüneburg
    Pages 24-25

  11. Partiell rekursive Funktionen

    • Heinz Lüneburg
    Pages 34-40

  12. Worthalbgruppen

    • Heinz Lüneburg
    Pages 40-44

  13. Wortmengen und Wortfunktionen

    • Heinz Lüneburg
    Pages 44-49

  14. Rekursive Wortfunktionen

    • Heinz Lüneburg
    Pages 50-58

  15. Kennzeichnung der rekursiven Wortfunktionen

    • Heinz Lüneburg
    Pages 58-63

  16. Turingmaschinen

    • Heinz Lüneburg
    Pages 63-67

  17. Programme

    • Heinz Lüneburg
    Pages 67-74

  18. Finale

    • Heinz Lüneburg
    Pages 74-81

  19. Back Matter

    Pages 83-86
    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Authors and Affiliations

  • Fachbereich Mathematik, Universität Kaiserslautern, Kaiserslautern, Germany

    Heinz Lüneburg

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 19.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 24.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation