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，四月底就不为学校及科研单位提高免费的版本了，其他的要收钱使用了。

与decidability相关的网络解释 [注：此内容来源于网络，仅供参考]

decidability：可判定性

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

decidability：可决定性

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

decidability：可决定性/可判定性

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

decidability：可判定性,可决定性

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