Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
Wenxue li put forward a sufficient condition of conditional extreme value with Lagrange function but his proof is wrong.
摘要李文学用拉格朗日函数提出求条件极值的充分条件，但他的证明却是错误的。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。
In the proof, the tools of the conditional moment generating function and the differentiation on a net for the study on strong limit theorems in the random selection system are applied.
在证明中采用了一种把网微分法与条件矩母函数相结合应用于随机选择系统强极限定理研究的一种途径。
Wenxue Li put forward a sufficient condition of conditional extreme value with Lagrange function, but his proof is wrong.
李文学用拉格朗日函数提出求条件极值的充分条件，但他的证明却是错误的。
Wenxue Li put forward a sufficient condition of conditional extreme value with Lagrange function, but his proof is wrong.
李文学用拉格朗日函数提出求条件极值的充分条件，但他的证明却是错误的。
应用推荐