英语人>网络例句>quantifier 相关的网络例句
quantifier相关的网络例句

查询词典 quantifier

与 quantifier 相关的网络例句 [注:此内容来源于网络,仅供参考]

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士;量词;指号学;索引;逻辑代数;存在图表;等值线

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

The paper studied the query language of linear order constraint with existential quantifier under canonical forms.

本文考察了带存在量词的基于代数的线性序约束查询语言,给出其基本运算的定义和实施算法。

The algorithms of algebraic query operations were given. With existential quantifier, we could reduce the cost of exact projection.

不对存在量词进行消去,可以减少计算精确投影的一些开销,还能表达包含无穷约束元组的线性序约束关系。

P. 71 We will call this thesis—the thesis that there are many meanings for the existential quantifier that are equally natural and equally adequate for describing all the facts—"the doctrine of quantifier variance"(Hirsch 2002b, Sider 2009). What exactly are the candidate meanings in question?

我们会说这个主张(存在量词有多个意思,都同等地自然和足以表达所有事实)是"量词可变"(Hirsch 2002b, Sider 2009)。

The atoms can be combined into formulas, as is usual in first-order logic, with the logical operators ∧,∨ and, and we can use the existential quantifier and the universal quantifier to bind the variables.

同一阶逻辑一样,原子可用通过逻辑算子∧、∨和组合成公式,而且我们可以使用

The quantifier is one of modern Chinese grammar traits and the individual companion quantifier is the most representative one in quantifier system.

量词是现代汉语语法的特点之一,陪伴性个体量词是量词系统中最具有代表性的一类。

Because there are changeful numeral and complex quantifier.There are also many types of phrases consist of numeral and quantifier.

现代汉语中数词千变万化,量词的种类繁多,数量短语的组合方式多样。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似,采用递归子程序分析法。

第1/6页 1 2 3 4 5 6 > 尾页
推荐网络例句

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时,他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了

The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.

世纪伟人邓小平的富民思想,是邓小平经济理论体系中的重要组成部分,是我国经济建设根本任务的一个重要方面。