2) soundness theorem
可靠性定理
1.
Soundness Theorem with Generalized Quantifier in LF(X);
LF(X)中带广义量词的可靠性定理
2.
Furthermore, the fuzzy first－ order logic system is constructed and the soundness theorem is proved.
并且证明了相应的可靠性定理 。
3) theorem of solvability
可解性定理
1.
The theorem of solvability of the above probplems is obtained.
研究二阶非线性一致椭圆型方程组在多连通区域上的非线性斜微商边值问题 ,给出该问题的可解性定
2.
From this,the theorem of solvability for the RH problems is obtained.
提出２ｎ个未知函数的变态Ｒｉｅｍａｎｎ－Ｈｉｌｂｅｒｔ边值问题，建立了此边值问题解的积分表示式与先验估计，用Ｓｃｈａｕｄｅｒ不动点定理证明了此边值问题解的存在性，进而导出了满足某些条件下的２ｎ个未知函数的一阶椭圆组的Ｒｉｅｍａｎｎ－Ｈｉｌｂｅｒｔ边值问题的可解性定理。
4) viabilitiy theory
可行性定理
5) integral-ability theorem
可积性定理
6) trasitivity theorem
可迁性定理
1.
A new trasitivity theorem of the general linear group GL n(F q) is proved.
给出一般线性群的一个新的可迁性定理，构造了一类新的ＰＢＩＢ设计。
补充资料：函数逼近，正定理和逆定理
函数逼近，正定理和逆定理
approximation of functions, direct and inverse theorems
函数逼近，正定理和逆定理〔叩p川心m丽皿of加n比拙，山比Ct and inve瑰the.陀ms;.聊痴叫的日.此中加.欲浦、娜旧M“el.倾阵I‘eT印碑袖I」 描述被逼近函数的差分微分性质与各种方法产生的逼近误差量(及其特征)之间关系的定理和不等式.正定理借助于函数f的光滑性质(具有给定的各阶导数，f或其某些导数的连续模等)，给出f的逼近误差估计.利用多项式进行最佳逼近时，Jaekson型定理及其多种推广均是众所周知的正定理，见J以滋s佣不等式(J ackson inequality)和Ja改涨扣定理(Jackson theo-化m).逆定理则是根据最佳逼近或任何其他类型逼近的误差趋于零的速度来刻画函数的微分差分性质.5.N.Bernste几首次提出并在某些场合下解决了函数逼近中的逆定理问题，见[21，比较正逆定理，有时就可以利用，例如，最佳逼近序列来完全刻画具有某种光滑性质的函数类. 周期情形下正逆定理之间的关系最为明显.令C为整个实轴上周期为2二的连续函数空间，其范数定义为}}训:m。‘加川. 趁、 石(户7丁)，nf}{厂甲1}、 价任了。为至多。次的允多项J处J’‘“间l对矛中函数f的最不}遍近，。仃一川记二厂的连续模，产r(产一12一)是若;，，I率个实轴上·次连续。f微的函数集‘户，二矛);卜定理f山。‘c、，the(〕re，1”J片出如果.了。厂、则 M{_‘l 从“，，蕊奋一“甲’、万 月l、2、、厂幼，!_.少川1常数M，。。一。又.「JJ以构造矛。‘;矛中函数八，)相关的多项式序列织(_人t):不使得对产三乙，(l)的右端.叮作为误差卜厂一仁〔户一的}界，这是较(I)更强的结果.1兰定理(，n、。r、。the‘)rem)指日:对，。矛勿J果 可。，、M了岁E“，;;)，。、二 月二】(其，「，阿是绝对常数l}了司是l厂户的整数部分)日一对某个i「一整数r‘级数 艺。r一’E以讯一1) 月二1收敛.则可推得了‘〔’‘类似戈2)田(/、)，l/。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条