1) generalized quantifier theory
广义量词理论
1.
Today\'s generalized quantifier theory restricted to single words or containing the noun phrase qualifier corresponds to the concept of modern logical quantifier, that limit or contain the word itself qualifier with the noun phrase to quantify the significance, and have quantified the meaning of the sentence on the sentence referred to as quantization.
当今的广义量词理论(Generalized Quantifier Theory)把单独的限定词或含有限定词的名词短语对应于现代逻辑的量词概念,认为限定词本身或包含限定词的名词短语具有量化意义,而具有量化意义的句子就称作量化句。
2) generalized quantifiers
广义量词
1.
Tableau methods with generalized quantifiers are very difficulty for computer to implement.
该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法。
3) Generalized Quantifier
广义量词
1.
Soundness Theorem with Generalized Quantifier in LF(X);
LF(X)中带广义量词的可靠性定理
2.
Generalized Quantifier in the L-valued First-order Logic LF(X);
格值一阶逻辑系统LF(X)中的广义量词
3.
α-resolution Principle with Generalized Quantifier Based on First-order Lattice-valued Logic LF(X);
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
4) morphology and semantics
词义理论
1.
His theoretical contributions to morphology and semantics of the Chinese language lie in his insightful understanding of the entity-property .
对于词义之间体用关系的认识,是他在汉语词义理论上的贡献。
5) linear quantum transformation
广义线性量子变换理论
1.
The vibration of linear polyatomic molecule are generally solved utilizing general linear quantum transformation theory and stationary state perturbation theory.
采用键长伸缩和垂直键轴位移为内坐标,多维耦合谐振子、势函数中超过二次幂的项分别为零级近似和微扰的线型多原子分子振动模型,运用广义线性量子变换理论和定态微扰论对线型多原子分子振动进行了普遍求解,将线型多原子分子简谐振动能量本征值和态的求解转化成正定和半正定矩阵的对角化问题,微扰矩阵元、能量和波函数各级修正的计算转换到多维无耦合谐振子的本征表象中进行。
6) generalized tangent modulus theory
广义切线模量理论
补充资料：广义
范围较宽的定义（跟‘狭义’相对）：～的杂文也可以包括小品文在内。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条