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

Berechenbarkeit

Rekursive und Programmierbare Funktionen

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)

Sections

Buy it now

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

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

Table of contents (31 chapters)

  1. Front Matter

    Pages i-xi
    PDF

  2. Einleitung

    1. Einleitung

      • Walter Felscher
      Pages 1-7

  3. Rekursive Funktionen

    1. Front Matter

      Pages 9-9
      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

  4. Back Matter

    Pages 116-153
    PDF

  5. Programmierbare Funktionen

    1. Front Matter

      Pages 155-155
      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

    6. Die Schleifenhierarchie

      • Walter Felscher
      Pages 206-218

    7. FLR2 = FEF = FP2 und Konsequenzen daraus

      • Walter Felscher
      Pages 219-227
Back to top

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

Keywords

Back to top

Authors and Affiliations

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

    Walter Felscher

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 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

Search

Navigation