Mathematik mit Kalkülen und Maschinen
Autoren
Parameter
Mehr zum Buch
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.
Buchkauf
Mathematik mit Kalkülen und Maschinen, Elmar Cohors-Fresenborg
- Sprache
- Erscheinungsdatum
- 1977
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Mathematik mit Kalkülen und Maschinen
- Sprache
- Deutsch
- Autor*innen
- Elmar Cohors-Fresenborg
- Verlag
- Vieweg
- Erscheinungsdatum
- 1977
- ISBN10
- 3528083816
- ISBN13
- 9783528083816
- Reihe
- Osnabrücker Schriften zur Mathematik : Reihe U = Materialien zum Mathematikunterricht
- Kategorie
- Mathematik
- Beschreibung
- 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.