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

其他单词翻译

英文单词	中文含义
coprosterin	粪甾醇
copunctal	共点的网络解释共同的，共同的
coptine	n.黄连次碱
copydesk	n.编辑者用的办公桌网络解释复制桌; 编辑者用的办公桌; 编辑台下
copulates	v. 性交，交配，交尾( copulate的第三人称单数 ) 网络解释交配; 性交; 接合
coprosterone	[化] 粪酮；粪甾酮；[医] 粪甾烷酮，粪甾酮
copunctual	共点的网络解释共点的
coptisine	黄连碱网络解释黄连硷; 硫酸黄连碱; 甲基黄连碱
copyedit	n.对作文字编辑工作；修改网络解释审稿; 简单修改编辑标准
copulating	v. 性交，交配，交尾( copulate的现在分词 ) 网络解释性交; 接合; 交尾
copy	n. 复制品；一份；（报刊等的）稿件；准备排印的书面材料 vt.& vi. 复制；抄写；容许复制的 vt. 模仿；仿造…的样式或图案；抄写；复制网络解释拷贝; 副本; 抄写
coptography	剪影艺术网络解释剪影艺术
copyfile	n.拷贝文件；复制文件网络解释复制文件; 复制文件夹下同一类型文件; 调用方法复制文件
copulation	n. 性交，交配，交尾网络解释性交; 交尾; 交媾
copybook	adj. 〈英〉典范的，样板的网络解释抄写本; 习字簿; 字帖
copyfit	vt.根据版面容量组排(稿件) 网络解释根据版面容量组排; 拷贝适应技术
copyboy	n.送稿件的勤务工网络解释送稿件工友; 送稿件的工友; 出版社的小工友
copyfitting	n.版面调整；统版网络解释组排文字; 组排; 版面调整
copygraph	n. 油印机网络解释补写器; 复写器
copyhold	n.（英律）享有的不动产权 adj.享有的不动产权的网络解释关于公簿持有制; 经官册登记的土地; 经官册登记的不动产