Mathematik mit Kalklen und Maschinen [Paperback]

1. 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.Springer Book Archives