查询词典 propositional variable

53 The general propositional form is a variable.

4.53 一般的命题形式是变项。

127 The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.

4.127 命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。

constant ; propositional variable ; generalized literal ;α-resolution field

文献[1]中给出的α-归结方法，是一种半可判定算法，能够归结出一类格值

Weconjecture that in the canonical basis there must be enough polynomial ele-ments in multiple variable, which include independent multiple variable anddependent multiple variable.

我们猜测：在典范基中一定存在足够多的多变量的多项式元素，包括独立多变量的多项式元素和相关多变量的多项式元素。

Function and limit, one-variable calculus and its application, ABC of progression and multiple-variable calculus, determinant, matrix and its calculation, system of linear equations and quadratic form, probability of occurrence, chance variable, law of large numbers and central limit theorem, sample and

本课程主要介绍函数和极限，一元微积分和它的应用，ABC级数和多元微积分，行列式和矩阵的应用，线性方程和二次方程式，事件的概率，偶然性变量，大数定律和中心极限定理，样本和参数估计，方差分析，回归分析。

Function and limit, one-variable calculus and its application, ABC of progression and multiple-variable calculus, determinant, matrix and its calculation, system of linear equations and quadratic form, probability of occurrence, chance variable, law of large numbers and central limit theorem, sample and parametric estimation, variance analysis, regression analysis.

Advanced Mathematics 1 [Course Code 1040008 MAT114] 本课程主要介绍函数和极限，一元微积分和它的应用，ABC 级数和多元微积分，行列式和矩阵的应用，线性方程和二次方程式，事件的概率，偶然性变量，大数定律和中心极限定理，样本和参数估计，方差分析，回归分析。

As for continuous random variable, the connection of distribution function between random variable and its function -- a new random variable can be obtained first according to the definition of distribution function, then the connection between distribution densities can be obtained by derivation; thus the distribution density is solved.

对于连续型随机变量ξ来说，可由分布函数的定义先求出随机变量ξ和它的函数η=f这个新的随机变量的分布函数之间的联系，然后通过求导，得到密度函数之间的联系，从而求得η的分布密度。

As to the risk model with random premium rate, we concerned with discrete random variable, continuous random variable and general random variable. We derive the formula of ruin probability, the extreme during the total duration of negative surplus and the joint distribution of the surplus immediately before ruin and the deficit at ruin.

对于保费率为随机变量的一类风险模型，本文就离散的随机变量、连续的随机变量、一般的随机变量三个方面进行讨论，运用概率方法和风险理论的方法推导出破产概率、末离前最大盈余分布、破产前瞬时盈余与破产赤字的联合分布等精算量分布的一般公式。

The characteristic function of the probability density function of response variable is obtained by the high efficient multidimensional numerical integration method or convolution integral based on response surface method. Then the discrete probability density function of response variable is calculated using the fast Fourier inverse transform technique, at last the cumulative distribution function of the response variable can be quantitatively determined.

首先利用高效多维数值积分方法或基于响应面法的卷积积分求解功能函数的分布函数的特征函数，也就是进行Fourier正变换；然后利用快速Fourier逆变换数值求解功能函数的概率密度函数，进而求得失效概率。

In the model investment, pavement distress and transportation capacity are selected as the decision variable, the state variable and the output variable, respectively.

基于投资决定路况、路况决定运力这一事实，以投资、路况和运力分别为控制变量、状态变量和输出变量，建立了道路系统的状态空间模型。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。