说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一阶公式
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.
给出了区间及三角域上Bezier升阶网逼近于对应的Bernstein多项式的渐近估计,并利用升阶公式与Farin定理得到了Bézier升阶网收敛速度的较准确的上界
6)  bench terraces
一阶式梯
补充资料:一阶公式
一阶公式
first order formula

   一阶逻辑的合式公式,在形式化的一阶语言中递归地定义的公式。设!!!Y0692_1是一阶逻辑的一个形式语言,!!!Y0692_2含逻辑符号和非逻辑符号。!!!Y0692_3中的非逻辑符号有:关系符号PQR等;函数符号FG等;常量符号c,d,e等。每个关系符号,函数符号都指定是n元关系或n元函数。!!!Y0692_4中的逻辑符号有  :个体变元符号!!!Y0692_5,…等;逻辑联词!!!Y0692_6、→等;量词!!!Y0692_7;等号≡;括号),(。!!!Y0692_8的项tt可以是单个个体变元,也可以是单个个体常量  :如果t1tm是项,FLm元函数符号,则F(t1tm)是项。!!!Y0692_9的原子公式:如果t1t2!!!Y0692_10的项,则t1t2是 原子公式;如果t1tn是项,RLn元关系符号,则R(t1tn)是原子公式。!!!Y0692_11的公式:!!!Y0692_12的原子公式是公式;设φψL的公式,x!!!Y0692_13的一个个体变元,则(!!!Y0692_14φ),(φψ),(!!!Y0692_15xφ)都是!!!Y0692_16的公式  。这样定义的语言公式乃至公式的集合统称一阶语言!!!Y0692_17。只要指出!!!Y0692_18的非逻辑符号,一阶语言!!!Y0692_19就被确定。!!!Y0692_20中其他的联结符,量词都不是原始符号,^,ˇ,的定义见命题公式,存在量词定义为xφ!!!Y0692_21!!!Y0692_22!!!Y0692_23x!!!Y0692_24φ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元,不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条