Mathematik mit Kalkülen und Maschinen
Autoři
Parametry
Více o knize
Inhaltsverzeichnis1. Einleitung.2. Konstruieren mit Baukästen.3. Handrechenmaschinen.4. Abstraktion von der Handrechenmaschine zu einer idealen Registermaschine (RM).5. RM-Berechenbarkeit.6. Unterprogramme für Registermaschinen.7. Verzweigung von Programmen.8. Primitiv-rekursive Funktionen.9. Primitiv-rekursive Prädikate.10. Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen.11. Die Rekursivität der RM-berechenbaren Funktionen.12. Universelle Funktionen.13. Die Unentscheidbarkeit des Stop-Problems für RM.14. Rekursiv-aufzählbare Prädikate.15. Kompliziertheitsmaße für Funktionen.16. Charakterisierung der primitiv-rekursiven Funktionen.17. Kleine universelle Registermaschinen.18. Worterzeugende Kalküle.19. Induktive Definitionen und Beweise.20. Wortverarbeitende Kalküle.21. Wortalgorithmen.22. Unentscheidbare Wortprobleme.23. Legespiele.24. Netzwerke von Automaten.Lösung der Übungsaufgaben.Literatur.Namen- und Sachverzeichnis.
Nákup knihy
Mathematik mit Kalkülen und Maschinen, Elmar Cohors Fresenborg
- Jazyk
- Rok vydání
- 1977
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Mathematik mit Kalkülen und Maschinen
- Jazyk
- německy
- Autoři
- Elmar Cohors Fresenborg
- Vydavatel
- Vieweg
- Rok vydání
- 1977
- ISBN10
- 3528083816
- ISBN13
- 9783528083816
- Série
- Osnabrücker Schriften zur Mathematik : Reihe U = Materialien zum Mathematikunterricht
- Kategorie
- Matematika
- Anotace
- Inhaltsverzeichnis1. Einleitung.2. Konstruieren mit Baukästen.3. Handrechenmaschinen.4. Abstraktion von der Handrechenmaschine zu einer idealen Registermaschine (RM).5. RM-Berechenbarkeit.6. Unterprogramme für Registermaschinen.7. Verzweigung von Programmen.8. Primitiv-rekursive Funktionen.9. Primitiv-rekursive Prädikate.10. Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen.11. Die Rekursivität der RM-berechenbaren Funktionen.12. Universelle Funktionen.13. Die Unentscheidbarkeit des Stop-Problems für RM.14. Rekursiv-aufzählbare Prädikate.15. Kompliziertheitsmaße für Funktionen.16. Charakterisierung der primitiv-rekursiven Funktionen.17. Kleine universelle Registermaschinen.18. Worterzeugende Kalküle.19. Induktive Definitionen und Beweise.20. Wortverarbeitende Kalküle.21. Wortalgorithmen.22. Unentscheidbare Wortprobleme.23. Legespiele.24. Netzwerke von Automaten.Lösung der Übungsaufgaben.Literatur.Namen- und Sachverzeichnis.