释
递归论
dì guī lùn · ㄉㄧˋ ㄍㄨㄟ ㄌㄨㄣˋ
修撰于 2026-06-30 12:49:53
音义
| 拼音 | dì guī lùn |
|---|---|
| 字母 | di gui lun |
| 首字母 | dgl |
| 注音 | ㄉㄧˋ ㄍㄨㄟ ㄌㄨㄣˋ |
| 注音符号 | ㄉㄧ ㄍㄨㄟ ㄌㄨㄣ |
广训
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题的可行的计算方法和计算的复杂程度的一门学科，尤其是研究递归函数及其推广。递归论研究的函数主要包括本原函数、原始递归函数、递归半函数和递归全函数或称一般递归函数、可摹状函数等等。