可運算性理論

出自維基百科,自由嘅百科全書
Jump to navigation Jump to search

可運算性理論computability theory)係運算理論嘅一個子領域,集中於思考唔同嘅問題係咪可運算嘅(computable)-如果一個問題係可以用電腦解決嘅,噉呢個問題就係可運算嘅,否則呢個問題就係不可運算嘅。