computability

基本解釋

• n.可算性

同根派生

• 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.
  正在做著語義搆造，至今可計算性邏輯仍沒有完全開發(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.
  真理的經典概唸轉變爲可計算性的特殊的零交互度的情況。

• computability更多例句