释
递归集
dì guī jí · ㄉㄧˋ ㄍㄨㄟ ㄐㄧˊ
修撰于 2026-06-30 05:47:52
音义
| 拼音 | dì guī jí |
|---|---|
| 字母 | di gui ji |
| 首字母 | dgj |
| 注音 | ㄉㄧˋ ㄍㄨㄟ ㄐㄧˊ |
| 注音符号 | ㄉㄧ ㄍㄨㄟ ㄐㄧ |
广训
递归集是递归论用语。令A⊆Nn，如果A的特征函数CA(x1，…，xn)是μ-递归函数，则称A为递归集。 递归论又称“递归函数论”、“能行性理论”，指主要用数学方法研究“可构造性”、“能行可计算性”或“能行过程”的学科。各种递归函数本身的构造也是它研究的重要方面。它既属于数理逻辑的一个分支学科，不属于基础数学的一个分支学科。