decidability的意思_decidability的中文翻译|音标|读音|用法|例句

decidability

美：[dɪ´saɪdəblɪtɪ] 英：[dɪ´saɪdəblɪtɪ]

中文翻译

可决定性，可判定性

网络解释

可判断性; 可决定性; 决定性

英文短语

1.decidability problem [数]可判定问题

2.semi-decidability 半可决策性

3.computability decidability 可计算性

4.Decidability and undecidability 可判定下和不可判定性

5.decidability of boolean algebra 布尔代数的可判定性

6.decidability of arithmetic without multiplication 无乘法算术的可判定性

英文例句

1.The concept of algorithm is also used to define the notion of decidability.算法的概念，也用来界定概念的决定性。

2.The decidability of the model is proven and a decidability algorithm is presented.证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

3.We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

4.This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。

5.A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

其他单词翻译

英文单词	中文含义
Callithrix	n.狨属；狨亚属网络解释狨属; 狨亚属; 侏儒狨
Callionymidae	n.衔科网络解释科; 鼠; 鼠科
Callahan	卡拉汉 n.（Callahan）人名；（英）卡拉汉网络解释卡拉汉; 卡拉罕; 卡拉翰
Callitrichaceae	n.[植]水马齿科网络解释水马齿科; 三二水马齿科; 水马齿苋科
Calliope	n. 汽笛风琴，卡利欧琵汽笛；美声女神蜂鸟网络解释卡利俄珀; 卡利俄佩; 史诗
Callander	n.（Callander）人名；（瑞典、英）卡兰德网络解释卡兰德; 卡伦德; 凯灵
Callitriche	n.水马齿属网络解释水马齿属; 水马齿科
Calliophis	丽纹蛇属网络解释丽纹蛇属; 详见丽纹蛇属
Callao	卡亚俄（秘鲁西部港市）网络解释卡亚俄港; 卡亚俄秘鲁; 卡亚俄广场
Callitris	n.澳洲柏属网络解释柏松属; 柏松
Calliopsis	n. 金鸡菊，波斯菊网络解释波斯菊; 梨花小姐; 美葡属
Callaway	[人名] [英格兰人姓氏] 卡拉韦 Calloway的变体；[地名] [美国] 卡勒韦网络解释卡拉威; 卡拉韦; 卡罗韦
Callitroga	n.锥蝇属
Callipallenidae	n.[无脊椎]美岛科网络解释美海蛛科; 美岛科; 海蜘蛛科
Calle	[地名] 街（西班牙语）网络解释街; 卡雷哈; 哥伦比亚
Callo	[人名] 卡洛网络解释加洛; 卡亚俄; 介休港
Calliphora	丽蝇属
Callicebus	青猴属网络解释伶猴属; 二名法
Calliphoridae	n.[昆]丽蝇科网络解释双翅目的丽蝇; 黑蝇科; 丽蝇属
Callorhinchidae	n.[鱼]长吻鱼科网络解释锄吻银鲛科; 长吻鱼科; 制作者误认为叶吻银鲛科