平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

二元关系传递核的构造

本文对二元关系的一种新运算一核运算，加以完善，给出传递核的构造，同时进行了严格的证明。     

N≤4的哈斯图色性

本文根据色性将n≤4的哈斯图进行了分类,并给出哈斯图与无向简单图比较图表.     

用特征列证明推理的一个方法

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。     

Cartan型模李超代数的环面

通过W(m,n;1)和S(m,n;1)的自同构决定了有限维Cartan型限制模李超代数W(m,n;1)和S(m,n;1)的环面子代数及其环面秩.     

在偏序集上单调函数的一些性质

给出单调函数在偏序集上的一些性质,并给予证明.同时,将全序集上的单调函数与偏序关系中的单调函数进行了比较.     

核运算的矩阵构造

本文在二元关系的一种新运算——核运算的集合构造的基础上,利用矩阵给出了反自反核、对称核、反对称核的构造。     

离散数学与思维训练

本文通过大量的实例,从四个方面说明,离散数学教学与思维训练是分不开的。离散数学的教学过程就是思维训练的过程。通过思维训练,提高计算机专业和软件专业学生的编程能力。     

反传递核的构造

本文在已有的自反核、对称核、反对称核的基础上给出一种新的运算——反传递核。     

模糊自反闭包和对称闭包的运算及性质

本文定义了模糊关系的自反闭包、对称闭包概念,同时给出了模糊关系的自反闭包、对称闭包的运算方法及性质．打破了在原有的模糊关系只有传递闭包的局面．