Mathematik mit Kalkülen und Maschinen

Front Matter....Pages I-VIII
Einleitung....Pages 1-3
Konstruieren mit Baukästen....Pages 4-7
Handrechenmaschinen....Pages 7-8
Abstraktion von der Handrechenmaschine zu einer idealen Registermaschine (RM)....Pages 9-12
RM-Berechenbarkeit....Pages 12-16
Unterprogramme für Registermaschinen....Pages 16-20
Verzweigung von Programmen....Pages 21-21
Primitiv-rekursive Funktionen....Pages 22-27
Primitiv-rekursive Prädikate....Pages 27-30
Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen....Pages 31-32
Die Rekursivität der RM-berechenbaren Funktionen....Pages 32-36
Universelle Funktionen....Pages 37-43
Die Unentscheidbarkeit des Stop-Problems für RM....Pages 43-45
Rekursiv-aufzählbare Prädikate....Pages 45-49
Kompliziertheitsmaße für Funktionen....Pages 49-56
Charakterisierung der primitiv-rekursiven Funktionen....Pages 56-60
Kleine universelle Registermaschinen....Pages 60-66
Worterzeugende Kalküle....Pages 67-70
Induktive Definitionen und Beweise....Pages 70-77
Wortverarbeitende Kalküle....Pages 77-82
Wortalgorithmen....Pages 83-87
Unentscheidbare Wortprobleme....Pages 87-92
Legespiele....Pages 92-109
Netzwerke von Automaten....Pages 109-127
Back Matter....Pages 128-184