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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

其他单词翻译

英文单词	中文含义
workplace	n. 工作场所，车间；工厂网络解释车间; 工作地点; 职场
workmanship	n. 技艺，工艺网络解释手工; 技巧; 做工
working-out	n.制订；算出网络解释算出; 制订
workplaces	n. 工作场所，工厂，车间( workplace的名词复数 ) 网络解释主要工作场所; 工作环境; 工场
workmaster	n.监工；工人；监督者网络解释美国沃克; 沃克先生系列; 工作主管
workpoint	n.工分（劳动计酬）网络解释珍贵的宝石; 工作点
workroom	n. 工作间，作业室网络解释工作间; 车间; 连锁机构
workstand	工作台
works	n. [机] 工厂，工场；工程；所有的事物；全套物品；作为（ work的名词复数） v. （使）工作（ work的第三人称单数）；（使）运作；运转；（使）产生效果网络解释作品; 工程; 设计作品
workwoman	n. 劳动妇女，女工网络解释劳动妇女
workstation	n. 工作站网络解释工作站级别; 工作站方式; 工作站电脑
workseat	工件座网络解释工件座
workwomen	n.女工，劳动妇女（workwoman的复数）网络解释劳动妇女
worldful	n.庞大数量；全世界所能容纳之最大容量网络解释世贸网; 全世界容量; 伍和鸿景
workstations	n.工作站；智能终端；工作岗位（workstation的复数）网络解释所有工作站; 一体化工作站; 个人工作站
worksheet	n. 工作表，学习单网络解释工作表; 工作底稿; 工作单
worldward	adv.面向世界(的)；朝着世界(的) adj.面向世界(的)；朝着世界(的)
worldlet	n.小世界网络解释小世界; 局部天地
worland	n.（Worland）人名；（英）沃兰网络解释沃兰; 窝兰; 沃兰德
workstudy	工作效率的研究网络解释工作研究; 工资; 工讀生