英语人>词典>英汉 : decidability的中文,翻译,解释,例句
decidability的中文,翻译,解释,例句

decidability

decidability的基本解释
-

可判定性

更多网络例句与decidability相关的网络例句 [注:此内容来源于网络,仅供参考]

The concept of algorithm is also used to define the notion of decidability.

算法的概念,也用来界定概念的决定性。

The decidability of the model is proven and a decidability algorithm is presented.

证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法。

Finally, a decidability result about LTLC is given.

此结果可用于有穷状态反应系统的自动验证。

Finding PCPs in this project will help define "decidability criteria for bounded PCP classes."

在该项目中寻找PCP将有助于定义:"约束PCP的可判定标准"。

It is intended to be used in situations where very high expressiveness is more important than being able to guarantee the decidability or computational completeness of the language.

推理机采用的是Racer,下载的是RacerPro-1-9-0-Setup,四月底就不为学校及科研单位提高免费的版本了,其他的要收钱使用了。

加载更多网络例句 (19)
更多网络解释与decidability相关的网络解释 [注:此内容来源于网络,仅供参考]

decidability:可判定性

OWL-Full是OWL的三种子语言中表达能力最强的一个,适合在那些需要非常强的表达能力,而不用太关心可判定性(decidability)或是计算完全性的场合下使用. 不过也正是由于表达能力太强这个原因,用OWL-Full表示的本体是不能进行自动推理的.

decidability:可决定性

因此,不可决定性,是可决定性(decidability)的"必要条件"(前引书);然而,当我们在着黑装还是穿佩斯利涡纹旋花呢(paisley)二者之间进行选择时,这并不是真正的难题.

decidability:可决定性/可判定性

decible /分贝/ | decidability /可决定性/可判定性/ | decidable /可决定的/

decidability:可判定性,可决定性

decibelmeter | 分贝计 | decidability | 可判定性,可决定性 | decidable proposition | 可决策命题