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

其他单词翻译

英文单词	中文含义
impediography	超声阻抗描记术
impeccability	n. 无罪，无缺点网络解释无罪性; 不可犯罪性; 定力
impend	vi. 进行威胁，即将发生网络解释即将发生; 进行威胁; 悬挂
impediment	n. 妨碍，阻止；口吃，结巴；障碍物；法定婚姻的障碍网络解释障碍物; 阻止; 发展过程中的障碍
impedance	n. 阻抗，全电阻；电阻抗网络解释输入阻抗; 特性阻抗; 阻抗值
impeditive	adj. 阻碍的，妨碍的网络解释阻碍的
impeccable	adj. 无缺点的，无瑕疵的；不会做坏事的 n. 不会作坏事的人；毫无缺点的人网络解释没有缺点的; 无暇的; 无懈可击的
impended	v. 进行威胁，即将发生( impend的过去式和过去分词 ) 网络解释即将发生; 进行威胁; 迫近
impedimenta	n. 重负，累赘；行李（尤指军队的）网络解释障碍重重; 障碍重重障碍咒; 包袱
impel	vt. 推动、推进或敦促某人做某事网络解释驱使; 推动; 推进
impedancemeter	阻抗计网络解释阻抗计
impeccably	完美地；毋庸置疑地；无瑕疵地网络解释无瑕疵地; 一丝不苟
impendence	n.迫切；危急网络解释阻抗; 输入阻抗; 危急
impedimental	adj.妨碍的，阻碍的网络解释妨碍的
impelled	v. 推动、推进或敦促某人做某事( impel的过去式和过去分词 ) 网络解释推进; 迫使
impedances	n.[电]阻抗
impeccance	n.无误；无罪网络解释无罪
impendent	adj. 迫近的，即将发生的网络解释迫近的; 阻抗
impediments	n. 妨碍、阻碍某事物进展或活动的人或物( impediment的名词复数 )；身体上的某类残疾，缺陷网络解释妨碍; 的障碍
impellent	adj. 推动的网络解释推动力; 推的; 推进的