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

其他单词翻译

英文单词	中文含义
interleaf	n. 插入的空白纸，插页网络解释中间层; 插页; 衬纸
interlamination	n.层间网络解释层间
interleukins	n.[生化]白介素（interleukin的复数）；[生化]白细胞介素网络解释白细胞介素; 介白素; 白介素
interlaces	vt. 使交错，使交织（interlace的第三人称单数形式）网络解释交错; 隔行扫描; 交错式
interlines	vt. 插写进去，印刷于行间，写在行间（interline的第三人称单数形式）网络解释联航协定
interleave	vt. 插入纸网络解释交错; 交织; 交叉因子
interlachen	因特拉肯（位于佛罗里达州）网络解释因特拉肯; 因特尔臣
interlanguage	n.中介语；人工辅助语言 adj.不同语言间的网络解释语际语; 中间语言; 过渡语
interlibrary	adj.（图书馆）馆际的网络解释馆际的
interlingual	adj.中介语的网络解释中介语; 语际错误; 语言之间的
interleaved	adj. 交叉存取的，隔行扫描的 v. 插入纸( interleave的过去式和过去分词 ) 网络解释交错; 交叉; 交叉存取
interlicked	[计] 互锁的
interlap	vt.互相交搭；相互重叠网络解释互相交搭; 内覆盖; 相互重叠
interlinguistics	n.[语]语际语言学网络解释语际语言学; 国际语语言学
interleaver	n.衬垫；分界网络解释交错器; 梳状分波器; 交织器
interligamentary	韧带间的网络解释韧带内的
interlining	n. 夹层 v. 插写进去，印刷于行间，写在行间( interline的现在分词 ) 网络解释夹层; 朴; 衬料
interligamentous	韧带间的
interlink	vt. 连结 n. 连环网络解释连结; 互连; 链接
interlinked	adj. 互连的 v. 连结( interlink的过去式和过去分词 ) 网络解释相通; 互连的; 连环