可计算性理论维基百科,自由的 encyclopedia 在电脑科学中,可计算性理论(Computability theory)作为计算理论的一个分支,研究在不同的计算模型下哪些算法问题能够被解决。相对应的,计算理论的另一块主要内容,计算复杂性理论考虑一个问题怎样才能被有效的解决。 关于对于数理逻辑中的可计算性理论,请见“递归论”。
在电脑科学中,可计算性理论(Computability theory)作为计算理论的一个分支,研究在不同的计算模型下哪些算法问题能够被解决。相对应的,计算理论的另一块主要内容,计算复杂性理论考虑一个问题怎样才能被有效的解决。 关于对于数理逻辑中的可计算性理论,请见“递归论”。