Skip to main content
  • Textbook
  • © 1977

Mathematik mit Kalkülen und Maschinen

Part of the book series: Logik und Grundlagen der Mathematik (LGM)

Buy it now

Buying options

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

  1. Front Matter

    Pages I-VIII
  2. Einleitung

    • Elmar Cohors-Fresenborg
    Pages 1-3
  3. Konstruieren mit Baukästen

    • Elmar Cohors-Fresenborg
    Pages 4-7
  4. Handrechenmaschinen

    • Elmar Cohors-Fresenborg
    Pages 7-8
  5. RM-Berechenbarkeit

    • Elmar Cohors-Fresenborg
    Pages 12-16
  6. Unterprogramme für Registermaschinen

    • Elmar Cohors-Fresenborg
    Pages 16-20
  7. Verzweigung von Programmen

    • Elmar Cohors-Fresenborg
    Pages 21-21
  8. Primitiv-rekursive Funktionen

    • Elmar Cohors-Fresenborg
    Pages 22-27
  9. Primitiv-rekursive Prädikate

    • Elmar Cohors-Fresenborg
    Pages 27-30
  10. Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen

    • Elmar Cohors-Fresenborg
    Pages 31-32
  11. Die Rekursivität der RM-berechenbaren Funktionen

    • Elmar Cohors-Fresenborg
    Pages 32-36
  12. Universelle Funktionen

    • Elmar Cohors-Fresenborg
    Pages 37-43
  13. Die Unentscheidbarkeit des Stop-Problems für RM

    • Elmar Cohors-Fresenborg
    Pages 43-45
  14. Rekursiv-aufzählbare Prädikate

    • Elmar Cohors-Fresenborg
    Pages 45-49
  15. Kompliziertheitsmaße für Funktionen

    • Elmar Cohors-Fresenborg
    Pages 49-56
  16. Charakterisierung der primitiv-rekursiven Funktionen

    • Elmar Cohors-Fresenborg
    Pages 56-60
  17. Kleine universelle Registermaschinen

    • Elmar Cohors-Fresenborg
    Pages 60-66
  18. Worterzeugende Kalküle

    • Elmar Cohors-Fresenborg
    Pages 67-70
  19. Induktive Definitionen und Beweise

    • Elmar Cohors-Fresenborg
    Pages 70-77

Authors and Affiliations

  • Fachbereich Mathematik/Philosophie, Universität Osnabrück, Deutschland

    Elmar Cohors-Fresenborg

Bibliographic Information

  • Book Title: Mathematik mit Kalkülen und Maschinen

  • Authors: Elmar Cohors-Fresenborg

  • Series Title: Logik und Grundlagen der Mathematik

  • DOI: https://doi.org/10.1007/978-3-322-85927-3

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1977

  • Softcover ISBN: 978-3-528-08381-6Published: 01 January 1977

  • eBook ISBN: 978-3-322-85927-3Published: 08 March 2013

  • Edition Number: 1

  • Number of Pages: 184

  • Topics: Mathematics, general

Buy it now

Buying options

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