computability
基本解釋
- n.可算性
英漢例句
- Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.
《可計算性、復雜性和語言》,清華大學出版社，北京，1989。 - This makes classical logic a special fragment of computability logic.
這使經(jīng)典邏輯成為可計算性邏輯的特殊片段。 - Being semantically constructed, as yet computability logic does not have a fully developed proof theory.
正在做著語義構(gòu)造，至今可計算性邏輯仍沒有完全開發(fā)出證明論。 - Models for mathematical (and philosophical) questions of computability (Turing,1936; Post).
數(shù)學或哲學和可計算性問題模型。 - The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability.
真理的經(jīng)典概念轉(zhuǎn)變?yōu)榭捎嬎阈缘奶厥獾牧憬换ザ鹊那闆r。