说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 命题函子
1.
Research on the Propositional Functor in Propositional Logic of Stoicism
试析斯多葛学派命题逻辑研究中的命题函子理论
2.
Two Nature Propositions of Characteristic Function and the Converse Proposition
特征函数的两个性质命题与其逆命题
3.
Excellent way of constructing auxiliary function in medium-value proposition proving;
中值命题证明中构造辅助函数的方法
4.
Two Propositions and Applications about Dualistic Function s Extremum;
二元函数极值问题的两个相关联命题及其应用
5.
Establishing auxiliary function is the important meth od to testify median proposition.
构造辅助函数是证明中值命题的一种重要途径.
6.
A convex function proposition containing some famous inequalities;
一个蕴含了诸多著名不等式的凸函数命题
7.
On the New Propositions and Apllications of Differential Mean Value Theorem;
关于函数的可微性中值定理的命题及应用
8.
Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions;
微分介值性命题证明中辅助函数构造两法
9.
The Unified Definition of Limit of Simple Function and New Prove of Related Propositions;
一元函数极根的统一定义及有关命题的新证明
10.
Generalized Willmore Functionals of a Submanifold and Related Variational Problems;
子流形的广义Willmore泛函及其变分问题
11.
The Generalization of Kantorovich Operator and the Approach Problems of Functions;
Kantorovich算子推广与函数逼近问题
12.
Boundedness of Commutators Generated by Convolution Operators and Besov Functions;
Besov函数与卷积算子交换子的有界性问题
13.
The Priority of Solving Multi-atom Molecule with Density Function Theory;
利用密度泛函理论处理多原子分子问题的优势
14.
If the function is linearly homogeneous it is possible to derive several propositions of interest.
若函数是线性齐次的,可以推导出一些令人感兴趣的命题。
15.
A Universal Proposition about the Resonance Theorem for a Family of Additive Functionals on a Topological Group
关于拓扑群上加性泛函族共鸣定理的一个普遍性命题
16.
One proposition in theory of functions of real variable and its application in probability theory;
实变函数论中的一个命题及其在概率论中的应用
17.
How to Constitute Auxiliary Functions --An Elementary Introduction to the Proof of the Mean - Value Theorem and Its Related Propositions;
如何构造辅助函数 ——浅谈中值定理及相关命题的证明
18.
Approximation of Linear Operators and Width Problems in Some Function Spaces;
若干函数空间中的线性算子逼近与宽度问题