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.

無可非議