简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。
简介：在[3]中，给出了一类奇异性方程组Ax=b的唯一解x=Adb的Cramer法则，本文将其推广到带W-权Drazin逆Ad,w,得到如下结果：奇异线性方程组Ax=b的唯一解x=WAd,wWb的分量xj可表示成xj=det[(WA)(j→Wb)UV(j→0）0]/det[WAUV0]j=1,2,…,n，其中A∈Cm×n,W∈C^n×m，Ind（WA）=k1,Ind(AW)=k2,rank(WA)^k1=r
简介：本文给出多元函数的柯西公式,并利用它建立多元函数的洛必大法则。为书写简单起见,文中采用向量表示法。
简介：记D（x）是使得TD（x，n）存在的最小的数．本文给出D（x）的一个上界．
论谓词逻辑推理中的量词加免法则
一类奇异线方程组的Cramer法则
多元函数的柯西公式和洛必大法则
两两正交拉丁方最大数目的新上界
