computability

computability 基本解释

[计] 可计算性

词组短语

1、computability theory [计] 可计算性理论

2、feasible computability [计] 可行可计算性

3、partial computability [计] 部分可计算性

4、practical computability [计] 实用可计算性

5、Turing computability [计] 图灵机可计算性

computability 用法和例句

1、The traditional theory of computability is based on Turing machines.

传统的可计算性理论以图灵机为基础模型。

2、This makes classical logic a special fragment of computability logic.

这使经典逻辑成为可计算性逻辑的特殊片段。

3、Matin D. Davis,Computability,Complexity,and Languages,Academic Press,1983.

可计算性 复杂性和语言，清华大学出版社，北京，1989。

4、This includes computability theory, computational complexity theory, and information theory.

这包括可计算性理论，计算复杂性理论，信息理论。