方舟
发表于 2025-3-25 03:35:59
http://reply.papertrans.cn/83/8261/826073/826073_21.png
果仁
发表于 2025-3-25 10:39:33
http://reply.papertrans.cn/83/8261/826073/826073_22.png
ear-canal
发表于 2025-3-25 12:07:44
,Die Gödelfunktion,Die folgende Funktion . und Satz 1 findet sich in Gödel 1931, S. 192/93.
飞行员
发表于 2025-3-25 16:22:37
,Rekursive und rekursiv aufzählbare Teilmengen von N,Den cantorschen Index von . bezeichnen wir hier einfach mit . und erschließen seine Stelligkeit aus dem zusammenhang. Die mit c zusammenhängenden Funktionen ., ., …, ., . bezeichnen wir mit ., ., …, .. Dann ist also.(. , …, .) = .und.(.(.), ….(.)) = ..
tympanometry
发表于 2025-3-25 22:00:10
http://reply.papertrans.cn/83/8261/826073/826073_25.png
aptitude
发表于 2025-3-26 03:04:40
http://reply.papertrans.cn/83/8261/826073/826073_26.png
暂时休息
发表于 2025-3-26 04:53:05
Kennzeichnung der rekursiven Wortfunktionen,Es sei . ein endliches Alphabet und . sei eine Wortfunktion über .*. Man nennt ., wenn . aus den Anfangsfunktionen ., . und . durch Substitution und primitive Wortrekursion entsteht. F heißt ., wenn auch noch Wortminimierung zur Erzeugung zugelassen wird.
行业
发表于 2025-3-26 09:14:15
Programme,Wir werden nun Programme aufstellen, um gewisse Funktionen zu berechnen, die es uns am Ende dann gestatten werden zu zeigen, dass alle partiell rekursiven Funktionen berechenbar sind.
minimal
发表于 2025-3-26 15:07:42
Finale,In diesem letzten Abschnitt wollen wir nun zeigen, dass alle partiell rekursiven Wortfunktionen Turing-berechenbar sind. Dazu zeigen wir, dass die Startfunktionen es sind und dass primitive Wortrekursion und Wortminimierung aus Funktionen, die Turing-berechenbar sind, ebensolche macht.
aerobic
发表于 2025-3-26 18:31:34
Heinz LüneburgKompakte Darstellung der Rekursiven Funktionen.Abrundung der theoretischen Informatik vom mathematischen Standpunkt.Includes supplementary material: