主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .     

一种求解合取范式可满足性问题的数学物理方法

给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静电场中是否有使其势函数为零的位置,由于带电质点在静电场中总是沿使其势能下降最快的方向,也就是沿其势函数梯度指引的方向运动,并最终达到势能最低的位置。因此,对一个客观上可满足的合取范式所对应的势函数,使用梯度算法是求使该合取范式成真的赋值的高效算法。     

差别矩阵约简的简化算法的使用误区

差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化算法使用中的常见错误,分析了错误原因,给出了改正方法.     

学一点数理逻辑

正如本文的题目所表明的那样 ,本文的目的在于让理工科的大学生们学一点数理逻辑 .如果说数理逻辑是一门艰深、抽象甚至有点枯燥的学科的话 ,那么除了很少一些从事数理逻辑研究的专家会反对而外 ,恐怕大多数人 (包括大多数数学家在内 )都会同意这种说法的 .事实上 ,早在数理逻辑还未发展到像今天这样深入的年代 ,德·摩根 (De Morgan)就说过 :“我们知道 ,数学家对于逻辑不如逻辑学家对于数学那样关心” (见 M. Kline著《古今数学思想》,第 4册 ) .不久以前 ,A.G.哈密尔顿 (Hamilton)在他的《数学家的逻辑学》一书的前言中也明确指出了存…