Skip to main content
SpringerLink
Log in

Berechenbarkeit

Rekursive und Programmierbare Funktionen

  • Textbook
  • © 1993

Overview

Authors:
  1. Walter Felscher

    1. Universität Tübingen, Tübingen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Walter Felscher
      Pages 1-7

  3. Rekursive Funktionen

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Terminologie und grundlegende Konstruktionen

      • Walter Felscher
      Pages 11-24

    3. Simple Funktionen

      • Walter Felscher
      Pages 25-36

    4. Elementare Funktionen

      • Walter Felscher
      Pages 37-43

    5. Primitiv rekursive Funktionen

      • Walter Felscher
      Pages 44-62

    6. Beschränkte Rekursion

      • Walter Felscher
      Pages 63-75

    7. Die Funktion von PETER

      • Walter Felscher
      Pages 76-86

    8. Universalfunktionen für FPF

      • Walter Felscher
      Pages 87-95

    9. Rekursion und Iteration

      • Walter Felscher
      Pages 96-104

    10. Grundbegriffe über μ-rekursive und partiell μ-rekursive Funktionen

      • Walter Felscher
      Pages 105-115

  4. Back Matter

    Pages 116-153
    Download chapter PDF

  5. Programmierbare Funktionen

    1. Front Matter

      Pages 155-155
      Download chapter PDF

    2. Die Sprache PLA

      • Walter Felscher
      Pages 157-180

    3. Spracherweiterungen

      • Walter Felscher
      Pages 181-192

    4. PLA-programmierbare Funktionen

      • Walter Felscher
      Pages 193-196

    5. Die Sprache PLR und die primitiv rekursiven Funktionen

      • Walter Felscher
      Pages 197-205

    6. Die Schleifenhierarchie

      • Walter Felscher
      Pages 206-218

    7. FLR2 = FEF = FP2 und Konsequenzen daraus

      • Walter Felscher
      Pages 219-227
Back to top

Keywords

About this book

Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge für den Umgang mit Zahlen und Funktionen. Obwohl über eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.

Authors and Affiliations

  • Universität Tübingen, Tübingen, Deutschland

    Walter Felscher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation