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

其他单词翻译

英文单词	中文含义
mixobiosis	n.混合共生网络解释混合共生
mixer-settlers	n.[核]混合澄清槽；混合沉降器
mixovariation	[医] 混合变异
mixup	n 混音网络解释混淆; 弄混; 弄乱
mixometer	n.拌和计时器网络解释拌和计时器
mixochimaera	混合嵌合体网络解释混合嵌合体
mixers	n.[电影][广播]混合器；混音器；混炼机（mixer的复数）网络解释调音台; 混合器; 搅拌机
mixoviromycin	n.粘病毒霉素
miyagawa	宫川网络解释宫川; 宮川; 宫川达彦
mixon	n.（Mixon）人名；（英）米克森网络解释米诗琪; 杰夫· 高布伦
mixochromosome	n.偶合染色体
mixes	v. 混合( mix的第三人称单数 )；（使）结交；相容；平安相处网络解释组合; 混音通道; 混合曲目
mixt	mix的过去式及过去分词网络解释合剂; 表示合剂; 混合物
mizar	n.开阳（大熊星座中的一星）网络解释北斗六; 北斗七星中开阳; 开阳星
mixonephridium	n.混合肾管
mixocoel	混合体腔网络解释混合体腔
mixter	n.米克斯特（德国电脑黑客）；米克斯特（男子名）网络解释混音器; 特尔; 克斯特
mixoploid	n.[遗]混倍体网络解释混倍体
mixtion	调料媒介物用于在木上贴金的媒染剂
mizel	n.米泽尔网络解释米泽尔奥雷里昂