广义严格对角占优矩阵的判定

给出了广义严格对角占优矩阵的判定准则，并通过实例加以验证。     

0—1多项式与命题逻辑

本文提出了０－１多项式，并将命题逻辑公式转化为０－１多项式。     

五阶收敛的牛顿迭代改进法

以解非线性方程的牛顿迭代法为基础,利用牛顿定理,给出了一类具有五阶收敛的牛顿迭代改进法,并讨论了它们的收敛性和误差估计.     

拟对角占优矩阵的必要条件

本文给出了拟对角占优矩阵的若干必要条件。     

广义对角占优矩阵和M-矩阵的判定准则

本文给出了广义对角占优矩阵和M-矩阵的判定准则并给出了实例。     

连续命题逻辑及其应用(二)

给出了连续命题逻辑的基础 ,命题逻辑变成了它的特命例 ,并给出了某些应用     

关于负指数的Fermat方程

讨论了某些负指数的Fermat方程的解的情况.     

命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

图的最小覆盖的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．     

数学命题与证明中的数理逻辑

本文应用数理逻辑的方法,证明了数学中的某些问题。