ostracize 发表于 2025-3-23 10:26:49

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

勤勉 发表于 2025-3-23 15:31:58

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

基因组 发表于 2025-3-23 21:42:14

Textbook 1993 für den Umgang mit Zahlen und Funktionen. Obwohl über eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.

放逐某人 发表于 2025-3-24 00:16:56

0937-7433 k, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden

退潮 发表于 2025-3-24 05:28:18

Bernhard C. Geiger,Gernot Kubinnen aus der kleinsten .-rekursiv abgeschlossenen Menge . nenne ich die . ich habe sie bereits am Schluß des Kapitels 6 erwähnt und die Funktion von Peter als Beispiel einer .-rekursiven, aber . primitiv rekursiven Funktionen gefunden.

Extemporize 发表于 2025-3-24 09:59:22

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

tangle 发表于 2025-3-24 13:45:45

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

Neutropenia 发表于 2025-3-24 14:50:47

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

公式 发表于 2025-3-24 20:00:42

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

ESPY 发表于 2025-3-25 00:53:54

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