查询词典 existential quantifier
- 与 existential 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.
不对存在量词进行消去,可以减少计算精确投影的一些开销,还能表达包含无穷约束元组的线性序约束关系。
-
The former is bound by operator gen and the latter is bound by existential quantifier.
类指性由类指算子gen约束,存在性由存在量词约束。
-
The most plausible suggestion is that Lewis and Unger assign different meanings to the existential quantifier, '' (as well as quantificational phrases like 'there are', 'there is', and 'some').
最合理的建议是,L和U指派了不同的意思给存在量词,""(也就是量词表达"存在"、"有"、"一些"等)。
-
Based on monoid comprehension, we presented an extendable object query translation algorithm which can deal with nested subquery, query with existential and universal quantifier, query with aggregate function, query with sort/group. This algorithm converted the query into joins to the utmost to expect different physical implementations of join to raise execution efficiency.
基于幺群概括,我们提出了一个可扩充的对象查询转换算法,该算法可以处理嵌套子查询、带存在量词和全称量词的查询、带聚集函数的查询、带分组/排序的查询,具有较强的通用性,该算法也体现了我们尽可能地将查询转换成连接以期望用连接的多种物理算法提高执行效率的查询优化思想。
-
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.
同一阶逻辑一样,原子可用通过逻辑算子∧、∨和组合成公式,而且我们可以使用
- 推荐网络例句
-
In the United States, chronic alcoholism and hepatitis C are the most common ones.
在美国,慢性酒精中毒,肝炎是最常见的。
-
If you have any questions, you can contact me anytime.
如果有任何问题,你可以随时联系我。
-
Very pretty, but the airport looks more fascinating The other party wisecracked.
很漂亮,不过停机坪更迷人。那人俏皮地答道。