简介：

简介：在结点互异或结点重合时，将函数差商与其导数之间的关系式推广为关于两个函数的情形．

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：考虑了一类非经典反应扩散方程全局吸引子的正则性。利用渐近先验估计证明了系统在H0（Ω）中的全局吸引子A1在D（A）中有界，并进一步获得A1即为系统在D（A）中的全局吸引子A2。

简介：利用梯高分布工具和等价量性质，得到了经典风险模型在调节系数不存在且索赔额分布F∈S^＊（v）（v〉0）时破产概率及其局部渐进解的相关定理，克服了已有文献中十分繁杂的论证过程．作为特例，当索赔额服从广义逆高斯分布时，给出了破产概率及其局部解的渐进结果．最后，对影响破产概率及其局部渐进解的一些参数进行了数值分析。

简介：建立了边值问题w″+k(t)wα=0,w(0)=w(1)=0的一个正解存在定理,其中允许k(t)在[0,1]上改变符号.

简介：讨论了非经典反应扩散方程ut-△ut-△u=f(u)+g(x)当非线性项满足临界指数增长时,该方程在强拓扑空间H2(Ω)∩H10(Ω)中的指数吸引子的存在性.特别的,通过证明指数吸引子的存在性,可知文献[7,12,14]中的强拓扑空间中的全局吸引子有有限的分形维数.

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。