computability

常见例句

Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.
《可计算性、复杂性和语言》,清华大学出版社，北京，1989。
This makes classical logic a special fragment of computability logic.
这使经典逻辑成为可计算性逻辑的特殊片段。
Being semantically constructed, as yet computability logic does not have a fully developed proof theory.
正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。
Models for mathematical (and philosophical) questions of computability (Turing,1936; Post).
数学或哲学和可计算性问题模型。
The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability.
真理的经典概念转变为可计算性的特殊的零交互度的情况。
Computability, rationality and practicality of this approach are explained through practical case studies.
通过应用案例，论证了这一方法的可运算性、合理性和实用性。