Advertisement

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

  • Hans Hermes
Book

Part of the Heidelberger Taschenbücher book series (volume 109)

Table of contents

  1. Front Matter
    Pages I-X
  2. Hans Hermes
    Pages 33-59
  3. Hans Hermes
    Pages 59-95
  4. Hans Hermes
    Pages 114-142
  5. Hans Hermes
    Pages 142-187
  6. Hans Hermes
    Pages 188-240
  7. Back Matter
    Pages 241-248

About this book

Keywords

Algorithmen Berechenbarkeit Entscheidbar Entscheidbarkeit Funktion Minimum Primitiv-rekursive Funktion Prädikate Prädikatenlogik Semi-Thue-System Turing Wortproblem rekursive Funktion rekursive Funktionen Äquivalenz

Authors and affiliations

  • Hans Hermes
    • 1
  1. 1.Abteilung für mathematische LogikMathematisches Institut der Albert-Ludwigs-UniversitätFreiburg i. Br.Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-96070-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1971
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-05334-7
  • Online ISBN 978-3-642-96070-3
  • Series Print ISSN 0072-7830
  • Buy this book on publisher's site