首页 > 英语词汇正文

computability是什么意思

2026-08-01 英语词汇
【摘要】:英语音标英式:[kəmˈpjʊtəbɪlɪtɪ]美式:[kəmˈpjʊtəbɪlɪtɪ]英语翻译n.可算性英语例句MatinD.Davis,Computabil

英语音标

英式:[kəmˈpjʊtəbɪlɪtɪ]
美式:[kəmˈpjʊtəbɪlɪtɪ]

英语翻译

n.可算性

英语例句

MatinD.Davis,Computability,Complexity,andLanguages,AcademicPress,1983.《可计算性、复杂性和语言》,清华大学出版社,北京,1989。

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

Beingsemanticallyconstructed,asyetcomputabilitylogicdoesnothaveafullydevelopedprooftheory.正在做着语义构造,至今可计算性逻辑仍没有完全开发出证明论。

Modelsformathematical(andphilosophical)questionsofcomputability(Turing,1936;Post).数学或哲学和可计算性问题模型。

Theclassicalconceptoftruthturnsouttobeaspecial,zero-interactivity-degreecaseofcomputability.真理的经典概念转变为可计算性的特殊的零交互度的情况。


本文链接:http://www.pqxf.cn/yych/43c40c278cc372a2ff5e2016db0b3b41.html

上一篇:hooped是什么意思

下一篇:返回列表

Copyright © 2024 英汉词典 版权所有 京ICP备13028492号 网站地图