布尔函数的可约性

定义了布尔函数的可约性,给出了布尔函数可约性的一些性质。讨论了布尔函数的可约性与其零化子和代数免疫度之间的关系,并由此给出了判定布尔函数不可约的一个充分条件。     

有限集合上二元关系的关系矩阵

指出了两给定集合之间所有二元关系集合在通常集合的并和交运算下的成一个布尔代数。给出了有限集合上二元关系的关系矩阵行列式和秩的定义,讨论了它们的一些性质,并给出了关系矩阵加法和乘法的定义,证明了有限集合上所有二元关系的关系矩阵集合在上述加法和乘法下构成一个半环。     

一类4——可着色的极大平面图

定义了极大平面图的分离圈和分离带,并讨论了一些简单的平面图的着色问题,又给出了一类４－可着色的极大平面图．     

正多面体的顶点着色公式

通过抽象代数知识,求出所有正多面体的旋转群.利用群对集合的作用,求出其元素的种类及个数.然后代入伯恩塞德公式,求得所有正多面体的顶点着色公式.     

MAX和MIN在初等数论中的应用

给出了max和min的一个等式，并利用这个结果证明了初等数论中的一个等式．     

有限集合上二元关系的关系矩阵

指出了两给定集合之间所有二元关系集合在通常集合的并和交运算下构成一个布尔代数 .给出了有限集合上二元关系的关系矩阵行列式和秩的定义 ,讨论了它们的一些性质 .并给出了关系矩阵加法和乘法的定义 ,证明了有限集合上所有二元关系的关系矩阵集合在上述加法和乘法下构成一个半环 .     

MAX和MIN在初等数论中的应用

给出了max和min的一个等式,并利用这个结果证明了初等数论中的一个等式.     

群关于其子群的相对同调的范畴学描述

本文讨论了群关于其子群的相对同调的函子性质,运用同调代数的办法,证明了它满足同调理论的四条公理。从而使相对同调理论成为一个完整的理论体系。     

条件概率的计算公式

给出了条件概率的乘法、全概率以及贝叶斯计算公式，通过实例说明了条件概率乘法公式在概率论应用的重要性。     

正多面体顶点着色公式的整数性质

利用整数的整除理论，证明了以下结论：在所有正多面体顶点着色公式中，当颜色数取任何一个整数时，这些公式的计算结果仍然是整数．