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