| 释义 |
1 [数]?递归理论 ... recursion theorem 递归定理 recursion theory 递归理论 recursive algorithm 递归算法 ... 2 ?递归论 ...递归论(Recursion theory)是数理逻辑的重要分支之一，研究解决问题的可行的计算方法和计算的复杂程度的一门学科，尤其是研究递归涵数及其推广。
- 1
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science. 现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。 - 2
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory. 数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。 - 3
In these foundations, the recursion theory of depth first traversal, database technology and visual programming technology are employed to computer memory, which is expressed to node relations. 在此基础上，采用深度优先遍历的递归理论和数据库技术，实现了流域节点间关系的计算机存储。
|