Skip to main content
SpringerLink
Log in
Book cover

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

  • Textbook
  • © 1978

Overview

Authors:
  1. Hans Hermes

    1. Abteilung für mathematische Logik und Grundlagen der Mathematik, Mathematisches Institut der Albert-Ludwigs-Universitä, Freiburg i. Br., Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Heidelberger Taschenbücher (HTB, volume 87)

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Einführende Betrachtungen über Algorithmen

    • Hans Hermes
    Pages 1-32

  3. Turingmaschinen

    • Hans Hermes
    Pages 33-59

  4. µ-Rekursive Funktionen

    • Hans Hermes
    Pages 59-95

  5. Die Äquivalenz von Turing-Berechenbarkeit und µ-Rekursivität

    • Hans Hermes
    Pages 95-114

  6. Rekursive Funktionen

    • Hans Hermes
    Pages 114-142

  7. Unentscheidbare Prädikate

    • Hans Hermes
    Pages 142-187

  8. Verschiedenes

    • Hans Hermes
    Pages 188-252

  9. Back Matter

    Pages 253-260
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Abteilung für mathematische Logik und Grundlagen der Mathematik, Mathematisches Institut der Albert-Ludwigs-Universitä, Freiburg i. Br., Deutschland

    Hans Hermes

Bibliographic Information

  • Book Title: Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

  • Book Subtitle: Einführung in die Theorie der rekursiven Funktionen

  • Authors: Hans Hermes

  • Series Title: Heidelberger Taschenbücher

  • DOI: https://doi.org/10.1007/978-3-642-95327-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1978

  • Softcover ISBN: 978-3-540-08869-1Published: 29 August 1978

  • eBook ISBN: 978-3-642-95327-9Published: 13 March 2013

  • Series ISSN: 0073-1684

  • Edition Number: 3

  • Number of Pages: XIV, 260

  • Topics: Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation