本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值
设S是环S的一个几乎优扩张,sτ=(s(J),s(F))(τs=((J)s,(F)s))和Rτ=(R(J),R(F))(τR=((J)R,(F)R))分别是左(右)S-模和左(右)R-模的遗传挠理论,在本文中,我们首先证明了:如果
设E和F是Banach空间,B(E,F)表示从空间E到F的有界线性算子全体。当A∈B(B,F)具有有界的广义逆A^+∈B(F,E)时,Nashed和Chen证明了一个很有用的定理:对任意满足||T-A||〈||A^+||^-1的T,若使C^-1(A,A^+,
本文在Wickerhauser和Donoho提出的通过扩散测度最小化的思想,求解最优基选择的方法基础上,构造了一类算法.并利用极大熵方法克服lp≤1测度的非光滑性,同时根据同伦算法构造
本文我们引入双边Smash积概念,主要给出双边Smash积的Maschke定理.
本文对a1,……am∈c,am≠0和满足递推关系un=a1um-1+…+amun-m, n≥m,的序列(un)n=0^∞给出递推关系 un^k=b1un-1^k+…+b-umn-m^-^k,n≥m的系数b1,…bm^-的递推公式,其中k∈z,m^
用Gauss算法和Brochardt算法去考虑Gauss算术平均值和对数平均值的t-更改,得到这些平均值和其他平均值之间的一些不等式.
本文用定性分析的方法讨论了一类具有非线性密度制约的HollingⅡ型功能反应的食饵-捕食者模型,分析了模型的正平衡点性态,得出了模型的极限环不存在与存在的充分条件,以及在
设R为环,M为右R模,n是一个给定的非负整数。若对任意平坦右R模N都有ExtR^n+1(N,M)=0,则称M为n-余挠模。若对任意n-余挠右R-模N都有ExtR^1(M,N)=0则称M为n-平坦模。本文给出了n-余挠模