可计算-一流百科

编号 (可计算性理论)

编号（可计算性理论）在可计算性理论中，编号是将自然数分配给一组对象，例如函数、有理数、图形或某种形式语言中的单词。编号可用于将最初使用可计算函数定...

词条百科

递归集合

递归集合在可计算性理论中，一组自然数被称为可计算的、递归的或可判定的，如果有一种算法将一个数字作为输入，在有限的时间（可能取决于给定的数字）后终止...

词条百科

递归可枚举集合

递归可枚举集合在可计算性理论中，一组自然数 S 被称为可计算可枚举 (c.e.)、递归可枚举 (r.e.)、半可判定、部分可判定、可列出、可证明或图灵可识别，如果：...

词条百科

可计算数

可计算数在数学中，可计算的数字是可以通过有限的终止算法计算到任何所需精度的实数。它们也被称为递归数、有效数或可计算实数或递归实数。可以使用 μ 递归...

词条百科

可计算函数

可计算函数可计算函数是可计算性理论研究的基本对象。可计算函数是算法直观概念的形式化模拟，从某种意义上说，如果存在可以完成函数工作的算法，则函数是可...

词条百科

可计算性

可计算性可计算性是有效解决问题的能力。它是数理逻辑中可计算性理论领域和计算机科学中计算理论领域的一个关键课题。问题的可计算性与解决问题的算法的存...

词条百科