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

其他单词翻译

英文单词	中文含义
perpendicular	adj. 垂直的，成直角的；直立的，险陡的；[建]垂直式的；〈谑〉直站着的 n. 垂直线，垂直面；直立，直立姿势，廉直；垂直测器，锤规；[建]垂直式建筑，绝壁网络解释垂线; 正交的; 垂足
perpetrator	n. 做坏事者；犯罪者；加害者；行凶者网络解释肇事者; 罪犯; 加害者
peroxydase	n.过氧化物酶网络解释过氧化物
perplexity	n. 困惑；混乱；复杂；困难网络解释混乱; 窘困; 困惑度
perpetuator	n.永久保存的人网络解释永久保存的人; 加害者
perpendicularly	adv.垂直地；直立地网络解释垂直地; 与……垂直地; 垂直度
perpetrators	n 犯罪者网络解释犯罪者; 作恶者; 肇事者
peroxydasis	n.过氧化酶作用网络解释过氧化酶作用
perplication	n.穿壁封闭术；血管摺闭网络解释血管摺闭
perpetuity	n. 永久，永恒，永远网络解释永续年金; 永恒; 永久
perpends	n.砖石砌体的垂直缝；竖缝网络解释竖缝; 砖石砌体的垂直缝; 表面接缝
perpetual	adj. 永久的；不断的；无期限的；四季开花的网络解释永久的; 永恒的; 永远的
peroxydol	n.过硼酸钠网络解释过硼酸钠
perprolate	adj.超长球形的网络解释超长球形的; 超长球形
perphenazine	n.[药]奋乃静（镇定剂）；[药]羟哌氯丙嗪网络解释羟哌氯丙嗪; 佩吩嗪; 奋乃近
perpent	vt.仔细考虑；深思（等于perpen） vi.注意；思考（等于perpend） n.穿墙石；控石（等于perpend）
perpetually	adv. 永恒地；终身地；不断地网络解释永恒地; 持久地; 终身地
peroxyl	n.过氧化氢（等于hydrogenperoxide）网络解释过氧化氢
perquadrat	加大样方网络解释加大样方
perplex	vt. 使迷惑，使混乱；使复杂化网络解释难住; 使迷惑; 使费解