Titlebook: Mathematik mit Kalkülen und Maschinen; Elmar Cohors-Fresenborg Textbook 1977 Springer Fachmedien Wiesbaden 1977 Beweis.Bifurkation.Funktio

圆柱

FOLD

,Unterprogramme für Registermaschinen,In diesem Abschnitt sollen Programme zur normierten Berechnung von Addition, Subtraktion, Multiplikation und Potenz aufgestellt werden.

Galactogogue

Verzweigung von Programmen,Bisher haben wir Funktionen betrachtet, bei deren Berechnung die Iterationsschleife eine wesentliche Rolle spielte.

无政府主义者

,Primitiv-rekursive Prädikate,In der Einleitung war schon erwähnt worden, daß sich in natürlicher Weise Funktionen und Prädikate entsprechen: Zu jeder Funktion definiert der Graph der Funktion ein Prädikat und jedes Prädikat P definiert seine sogenannte charakteristische Funktion, die wir mit f. bezeichnen wollen.

Infuriate

,Die Rekursivität der RM-berechenbaren Funktionen,Im 10. Kapitel haben wir bewiesen, daß jede primitiv-rekursive Funktion RM-berechenbar ist. Wir wenden uns jetzt der Frage zu, ob auch die Umkehrung gilt.

无可非议