递归集是递归论用语。令A⊆Nn，如果A的特征函数CA(x1，…，xn)是μ-递归函数，则称A为递归集。 递归论又称“递归函数论”、“能行性理论”，指主要用数学方法研究“可构造性”、“能行可计算性”或“能行过程”的学科。各种递归函数本身的构造也是它研究的重要方面。它既属于数理逻辑的一个分支学科，不属于基础数学的一个分支学科。
鸿凯词语词典，专业汉语查询工具。收录海量成语、近义词、反义词及组词，解释详尽，例句丰富。每日更新，助力您的语言学习与创作。