可計算性理論維基百科,自由的 encyclopedia 在電腦科學中,可計算性理論(Computability theory)作為計算理論的一個分支,研究在不同的計算模型下哪些演算法問題能夠被解決。相對應的,計算理論的另一塊主要內容,計算複雜性理論考慮一個問題怎樣才能被有效的解決。 關於對於數理邏輯中的可計算性理論,請見「遞迴論」。
在電腦科學中,可計算性理論(Computability theory)作為計算理論的一個分支,研究在不同的計算模型下哪些演算法問題能夠被解決。相對應的,計算理論的另一塊主要內容,計算複雜性理論考慮一個問題怎樣才能被有效的解決。 關於對於數理邏輯中的可計算性理論,請見「遞迴論」。