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

其他单词翻译

英文单词	中文含义
lamby	adj. 羔羊似的，多毛如羊的网络解释羔羊似的; 背负快乐; 兰比
lamborn	n.（Lamborn）人名；（英）兰伯恩；（瑞典）兰博恩
lamella	n. 薄层；薄片；瓣；鳃网络解释薄片; 薄层; 壳层
lame	adj. 跛的，瘸的；僵痛的；差劲的，无说服力的；蹩脚的 vi. 变跛 vt. 使跛，使残废；把…弄残废 n. （金属）薄板，薄片；（古代护身甲上的）重叠金属片
lamellae	n. 薄层( lamella的名词复数 )；薄片；瓣；鳃网络解释骨板; 鳃小瓣; 片层
lamellar	adj. 薄片状的，薄层状的；页片状网络解释层状的; 板层状; 鳞甲
lamellibranchiata	n.瓣鳃纲；瓣鳃类软体动物网络解释瓣鳃纲
lamellarly	adv.薄片状地，薄层状地网络解释薄片状的
lamellibranchiate	adj.瓣鳃类的 n.瓣鳃类动物网络解释瓣鳃类的; 瓣鳃类动物
lament	vt.& vi. （为…）哀悼；悲叹；悔恨；痛惜 n. 哀歌，挽歌；悲恸，恸哭；悲痛之情；悼词网络解释哀悼; 悲伤; 悲叹
lamellas	n. 薄层( lamella的名词复数 )；薄片；瓣；鳃网络解释薄层; 薄板; 壳层
laments	n. 悲恸，哀歌，挽歌( lament的名词复数 ) v. （为…）哀悼，痛哭，悲伤( lament的第三人称单数 ) 网络解释叹惜; 哀歌; 哀词
lamellicorn	n. 鳃角类角虫 adj. 鳃鱼的，鳃角类的网络解释鳃角类角虫; 叶状触角; 有液状触角的
lamentable	adj. 可悲的，令人惋惜的网络解释可悲的; 令人惋惜的; 哀伤的
lamellasome	n.片层体网络解释层片体
lamer	adj. 瘸的( lame的比较级 )；站不住脚的；差劲的；蹩脚的
lamentably	adv. 哀伤地，拙劣地网络解释可悲地; 哀伤地; 质量低劣的
lamellicornia	n.鳃角类网络解释鳃角类
lamellate	adj. 有薄层的，薄片形的网络解释鳃片状; 片状胎座; 鳃叶状
lamiae	n. 女怪，妖妇( lamia的名词复数 )