intangibility 发表于 2025-3-28 16:45:42

Bernhard C. Geiger,Gernot Kubinellige (im Allgemeinen nur partielle) Funktion .R. der unbeschränkten Minimierung . zu F gehört, falls sie total (i.e. falls R. voll) ist. Die Funktionen aus der kleinsten .-rekursiv abgeschlossenen Menge . nenne ich die . ich habe sie bereits am Schluß des Kapitels 6 erwähnt und die Funktion von Pe

anesthesia 发表于 2025-3-28 21:17:48

http://reply.papertrans.cn/19/1836/183544/183544_42.png

忘恩负义的人 发表于 2025-3-29 02:30:28

http://reply.papertrans.cn/19/1836/183544/183544_43.png

collagenase 发表于 2025-3-29 05:59:52

http://reply.papertrans.cn/19/1836/183544/183544_44.png

Valves 发表于 2025-3-29 08:15:09

http://reply.papertrans.cn/19/1836/183544/183544_45.png

抑制 发表于 2025-3-29 13:29:45

Primitiv rekursive Funktionenmöge a, r. definiert, wenn für alle ihre Argumente die . . oder . gelten. (SPR.) reduziert sich auf (SPR), sofern die konstanten Funktionen c(math) und Superpositionen zur Verfügung stehen: ist f. vermöge a und r. definiert und definiere ich f. vermöge c. und r. = r.°<p., p.>, so erhalte ich f. als f.°<c., p.>.

边缘带来墨水 发表于 2025-3-29 18:39:30

http://reply.papertrans.cn/19/1836/183544/183544_47.png

INCH 发表于 2025-3-29 21:42:02

Die Schleifenhierarchietung zweier Programme habe als Schleifengrad das Maximum der Schleifengrade der verketteten Programme; ein Programm, das durch Einschließen eines anderen in eine Schleife (der in der jeweiligen Sprache zulässigen Art) entsteht, habe als Schleifengrad den um 1 vergrösserten Schleifengrad des eingeschlossenen Programms.

CESS 发表于 2025-3-30 00:10:34

http://reply.papertrans.cn/19/1836/183544/183544_49.png

江湖郎中 发表于 2025-3-30 07:33:19

http://reply.papertrans.cn/19/1836/183544/183544_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Berechenbarkeit; Rekursive und Progra Walter Felscher Textbook 1993 Springer-Verlag Berlin Heidelberg 1993 Berechenbarkeit.Beweis.Funktion.