词语
可计算性理论
kě jì suàn xìng lǐ lùn · ㄎㄜˇ ㄐㄧˋ ㄙㄨㄢˋ ㄒㄧㄥˋ ㄌㄧˇ ㄌㄨㄣˋ · 更新 2026-06-29 18:04:11
基本属性
- 拼音字母ke ji suan xing li lun
- 拼音首字母kjsxll
- 注音符号ㄎㄜ ㄐㄧ ㄙㄨㄢ ㄒㄧㄥ ㄌㄧ ㄌㄨㄣ
- 注音首符号ㄎㄐㄙㄒㄌㄌ
词语解释
可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被有效的解决。可计算理论的研究对象有三个 ： ( 1) 判定问题； ( 2) 可计算函数；( 3) 计算复杂性。