decidability
[di'saidəbliti]
n. 可判定性
decidability
decidability[di,saidə'biləti]n.1.■【数学】可判定性
decidability
decidability
■First you must give details of their Google account, then once loadedtheir calendars to Google is possible to decid...
GSync是Windows Mobile,为同步事件和您的掌上电脑与谷歌日历时间安排工具。
■They wanted to have a plant in it that was easy to take care of, so they decid...
于是,做冬成了一年中一个颇重要的家庭项目。
■An European Company is staffing a Toys Merchandiser in Shenzhen.Responsibilities:-Able to help customer to decid...... ...
公司名称:上海杰迈晶雅人力资源有限公司广州分公司工作地点:广东省深圳市发布时间:2009-6-10
■decidability problem
可判定问题
■At the s ame time, not only economic factor but also traditionally cultural customs decid e the change of the ways that people support the old.
同时,决定养老方式变化的动因不只是经济因素,传统的敬老、养老文化观念也决定着人们养老方式的选择。
■On the aspect of payment standard,dispatching workers participation in negotiation of recompense should be prescribed,and the payment standard should be decid.
在支付标准方面,应规定劳动者参与协商劳动报酬的权利,并以劳动者利益为基础确定支付标准。
■Dynamic context and steady context are decid ed by the variability and steadiness of context factors.
它是与具体的语用行为密切联系的、同语用过程相始终的、对语用活动有重要影响的条件和背景 ;
■we have take a look of the house then decid to rent it or not.
我们必须先查看一下房子再决定租不租.
■In this article, we make a survey on the logical problem of arithmatical sentences, definability and decidability, in paticular.
摘要本文是对算术句型中的逻辑问题做一综览,特别是算术句型的可定义性与可决定性。
■This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
■decidability of virus
病毒可判定性
■Decidability of the dense timed interval temporal logic
稠密时间区间时序逻辑的可满足性判定
■A Definition Framework of Spatial Logic and Decidability
空间逻辑的一个定义框架及其可判定性
■EPISTEMIC LOGIC(4): ON THE DECIDABILITY OF EPISTEMIC LOGIC
认识逻辑(4):关于认识逻辑的可判定性
■The decidability and soundness of the tableau algorithm is proved.The computation complexity is analysised.
证明了表算法的可判定性和可靠性,分析了表算法推理时的时间复杂度;
■The Decidability of Proof Method in the Predicate Logic Inference
谓词逻辑推理中证明方法的判定