1) first order formul
一阶公式
2) first-order predicate expression
一阶谓词公式
1.
This paper studies the modeling of first-order predicate expression by using predicate/transion system.
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。
3) first order and five-point formula
一阶五点公式
1.
The treatment of a group of physical experiment data is down using a first order and five-point formula in the linear sliding method and the result shows that if the pre-treatment is down for the original data obtained from a physical experiment,the accuracy of the experimental data treatment result will be improved and the validation effect of a physical experiment will be enforced.
利用线性滑动方法中的一阶五点公式、处理了一组物理实验数据。
4) order-reducing form ula
降阶公式
1.
A form ula fora specialsolution to nonhom ogeneous linear recurrence equations w ith constant coefficients is derived from a generalorder-reducing form ula presented here.
提出了非齐次线性递归方程的降阶公式,并由此导出了常系数非齐次线性递归方程的特解公式。
5) elevation formula
升阶公式
1.
Furthermore,accurate error bounds are derived for the approximation by using elevation formula and Farin theorem.
给出了区间及三角域上Ｂｅｚｉｅｒ升阶网逼近于对应的Ｂｅｒｎｓｔｅｉｎ多项式的渐近估计，并利用升阶公式与Ｆａｒｉｎ定理得到了Ｂéｚｉｅｒ升阶网收敛速度的较准确的上界
6) bench terraces
一阶式梯
补充资料：一阶公式
| 一阶公式 first order formula 一阶逻辑的合式公式，在形式化的一阶语言中递归地定义的公式。设  是一阶逻辑的一个形式语言， 含逻辑符号和非逻辑符号。 中的非逻辑符号有：关系符号P，Q，R等；函数符号F，G等；常量符号c,d,e等。每个关系符号，函数符号都指定是n元关系或n元函数。 中的逻辑符号有 ：个体变元符号 ，…等；逻辑联词 、→等；量词 ；等号≡；括号)，(。 的项t：t可以是单个个体变元，也可以是单个个体常量 ：如果t1…tm是项，F是L的m元函数符号，则F(t1…tm)是项。 的原子公式：如果t1、t2是 的项，则t1≡t2是 原子公式；如果t1…tn是项，R是L的n元关系符号，则R(t1…tn)是原子公式。 的公式： 的原子公式是公式；设φ、ψ是L的公式，x是 的一个个体变元，则( φ)，(φ→ψ)，( xφ)都是 的公式 。这样定义的语言公式乃至公式的集合统称一阶语言 。只要指出 的非逻辑符号，一阶语言 就被确定。 中其他的联结符，量词都不是原始符号，＾，ˇ，的定义见命题公式，存在量词定义为xφ   x φ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元，不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条