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