说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 拟受囿存在量词
1)  quasi-limited existential quantifier
拟受囿存在量词
2)  bound variable
受囿变量
3)  existential quantifier
存在量词
1.
The Syntactic and Semantic Analysis of Scope Ambiguity of Universal and Existential Quantifiers in Mandarin Chinese and English;
中英全称和存在量词的辖域歧义问题的句法和语义分析
2.
Taking three relations for example, applyin some relevant theories to discrete mathematics, this article converses the query of the universal quantifier problem into the query of equivalent existential quantifier, then to achieve it in SQL.
以三个关系为例,应用离散数学的有关理论,把具有全称量词的查询问题转换成等价的存在量词的直询问题,并用SQL语言予以实现
4)  existentially quantified variable
存在量词化变元
5)  unit quantifier
有界存在量词
6)  n-ary existential quantifier
n-元存在量词
1.
Aiming at the insufficiency of the MSC inference in DLs which can not deal with n-ary existential quantifier,the MSC inference for the DL with n-ary existential quantifier εL(n)is studied,where n-ary existential quantifier is a new concept constructor in DLs.
针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题。
补充资料:变量与变量值
可变的数量标志和所有的统计指标称作变量。变量的数值表现称作
变量值,即标志值或指标值。变量与变量值不能误用。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条