Mathematik mit Kalkülen und Maschinen

著者

• Cohors-Fresenborg, E. (Elmar)

書誌事項

Mathematik mit Kalkülen und Maschinen

E. Cohors-Fresenborg

（Logik und Grundlagen der Mathematik, Bd. 20）

Vieweg, 1977

1. Aufl

注記

Bibliography: p. 179-180

Includes index

内容説明・目次

目次

1. Einleitung.- 2. Konstruieren mit Baukasten.- 3. Handrechenmaschinen.- 4. Abstraktion von der Handrechenmaschine zu einer idealen Registermaschine (RM).- 5. RM-Berechenbarkeit.- 6. Unterprogramme fur Registermaschinen.- 7. Verzweigung von Programmen.- 8. Primitiv-rekursive Funktionen.- 9. Primitiv-rekursive Pradikate.- 10. Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen.- 11. Die Rekursivitat der RM-berechenbaren Funktionen.- 12. Universelle Funktionen.- 13. Die Unentscheidbarkeit des Stop-Problems fur RM.- 14. Rekursiv-aufzahlbare Pradikate.- 15. Kompliziertheitsmasse fur Funktionen.- 16. Charakterisierung der primitiv-rekursiven Funktionen.- 17. Kleine universelle Registermaschinen.- 18. Worterzeugende Kalkule.- 19. Induktive Definitionen und Beweise.- 20. Wortverarbeitende Kalkule.- 21. Wortalgorithmen.- 22. Unentscheidbare Wortprobleme.- 23. Legespiele.- 24. Netzwerke von Automaten.- Loesung der UEbungsaufgaben.- Literatur.- Namen- und Sachverzeichnis.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA37990140
• ISBN:
  • 3528083816
• LCCN: 80481424
• 出版国コード: gw
• タイトル言語コード: ger
• 本文言語コード: ger
• 出版地: Braunschweig
• ページ数/冊数: viii, 184 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • LCC : QA267
• 件名:
  • LCSH : Machine theory
  • LCSH : Recursion theory
• 親書誌ID:
  • BA03852055