decidable是什么意思   decidable怎么读

decidable单词基本解析：

decidable变化用词：

decidable英英释义：

decidable中文词源：

decidable用法和例句：

decidable

First you must give details of their Google account, then once loadedtheir calendars to Google is possible to decid...

GSync是Windows Mobile，为同步事件和您的掌上电脑与谷歌日历时间安排工具。

P is also known to be at least as large as L , the class of problems decidable in a logarithmic amount of memory space.

P 也已知至少大于L 一个可在对数量级的记忆体空间上决定的问题的类别。

decidable subclause

[计] 可判定子句

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

partially decidable problem

半可判定问题

decidable proposition

可决策命题

decidable formula

可判定公式

decidable subclass

可判定子类

decidable problem

可判定的问题

decidable set

可判定集

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.

它是与具体的语用行为密切联系的、同语用过程相始终的、对语用活动有重要影响的条件和背景 ;

For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity.

对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。

we have take a look of the house then decid to rent it or not.

我们必须先查看一下房子再决定租不租.

A decidable algorithm for inclusion of quasi-algebraic varieties

拟代数簇包含关系的判定算法

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。

Description logics are fragments of the first-order logic，which contain concepts，roles，and concept and role constructors；and have features of strong expressivity and decidable reasoning.

摘要描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

effectively decidable problem

有效可判定问题

First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable.

然后在限定属性值范围和无生成策略的条件下，说明了安全问题的确定性；

In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.

相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。

recursively decidable

递归可判定性

partially decidable

部分可判定