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

其他单词翻译

英文单词	中文含义
outperformance	n.优胜；业绩出色网络解释买进; 卓越绩效
outpaced	v. 超过…速度，赶过( outpace的过去式和过去分词 ) 网络解释超过; 超过…速度; 追过
outmodes	v. 使过时( outmode的第三人称单数 ) 网络解释陈旧; 过时了的; 废弃了的
outpolling	vt.所得选票超过；得票数多于……
outplays	vt.打败；胜过；技术优于…… 网络解释胜过; 打败; 纷飞
outperformed	v. 做得比…更好，胜过( outperform的过去式和过去分词 ) 网络解释资优生
outpaces	v. 超过…速度，赶过( outpace的第三人称单数 ) 网络解释超过; 超过…速度; 追过
outmoding	v. 使过时( outmode的现在分词 ) 网络解释陈旧; 过时了的; 废弃了的
outport	n. 大港外的独立小港网络解释输出端口; 小港; 输出埠
outperforming	v. 做得比…更好，胜过( outperform的现在分词 )
outpocketing	n.外包缝合法
outpacing	v. 超过…速度，赶过( outpace的现在分词 ) 网络解释超过; 超越
outpost	n. 前哨；警戒部队；前哨基地；边区村落网络解释前哨站; 前哨基地; 哨所
outperforms	v.胜过，做得比……好网络解释跑赢大盘; 胜过; 跑赢大市
outpoint	vt. 得分多于…，比…更向逆风航行网络解释得分多; 分数超过对方; 输出点
outpour	v. （使）泻出，（使）流出 n. 倾注，流出物网络解释倾泻; 使泻出
outpointed	v. 得分多于…，比…更向逆风航行( outpoint的过去式和过去分词 ) 网络解释得分多; 点; 分数超过对方
outpouring	n. 倾泄，流出，流露网络解释流出; 流露; 源源不断的
outproduce	vt.在生产上超过
outraces	v. 超过…速度，赶过( outrace的第三人称单数 ) 网络解释超过; 在赛跑中胜过; 装置物外轮