简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。
简介：在[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
简介：本文给出多元函数的柯西公式,并利用它建立多元函数的洛必大法则。为书写简单起见,文中采用向量表示法。
简介：探究教学是以知识为载体，让学生在教师的指导下，通过自主、合作探究，尝试、体验、实践，主动发现问题，解决问题，获取知识，形成能力的学习活动．一般来说，新的概念、法则对于学生来说都是陌生的．传统的教学模式是先给概念或法则，然后是练习、辨析，再变式训练，以达到掌握的目的．显然这样的教学模式忽略了知识的发生、发展的过程，不能让学生很好的理解知识的本原性，
论谓词逻辑推理中的量词加免法则
一类奇异线方程组的Cramer法则
多元函数的柯西公式和洛必大法则
新课程背景下概念法则课的教学探析
