递归论的日文

• 再帰理論

• 递归:    さいきリカージョン
• 递归解:    リカーシブ解法リカーシブかいほう
• 左递归规则:    ひだりきのうてききそく
• 有限递归法:    ゆうかいきのうほう
• 相互递归:    そうごかいき

例句与用法

1. 还可以把递归论推广到序数上去。
2. 用递归论方法研究模型论问题产生递归模型论。
3. 他的递归论研究有助于奠定理论电脑科学的基础。
4. 递归论这门学科最早可以追溯到原始递归式的使用。
5. 最主要的是推广到可允许序数上去，称为－递归论。
6. 常见的有有穷类型对象上的递归论和序数上的递归论。
7. 因而，这一部分与分析、实数理论和递归论的关系较为密切。
8. 数理逻辑新近还发展了许多新的分支，如递归论、模型论等。
9. 包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论。
10. 编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。

其他语言

递归论的英语：recursion theory
递归论的法语：Calculabilité
递归论的韩语：계산 가능성 이론
递归论的阿拉伯语：تصنيف:نظرية قابلية الحساب;