有限偏序集中Mbius函数的一种计算方法

利用有限偏序集上的Mobius反演,求出该偏序集上的Mobius函数。     

偏序集上的双Scott拓扑

在偏序集上定义了双Scott拓扑,并给出了偏序集上双Scott拓扑的一些性质及其刻画．对于双连续偏序集,一个凸集W∈σ（P）当且仅当驴满足命题1（1）．     

伪差偏序集的公理系统

伪差偏序集已经被引进作为一类新的量子逻辑结牺.本文证明了伪差偏序集定义中的公理(PD6)不是独立的,从而得到了一些较简单的公理系统,证明了伪差偏序集是 D-偏序集的非交换推广,正如伪效应代数是效应代数的非交换推广一样.     

偏序集上的滤子弱极大理想

在偏序集上引入并考察了偏序集上的滤子弱极大理想,证明了偏序集上的滤子弱极大理想的存在性定理和偏序集上弱理想的分解定理,特别地,在满足弱理想降链条件的偏序集上弱理想的一个分解定理.     

试论几类弱连续偏序集的关系

从数学的角度来看,domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究时象。Domain理论研究的一个重要内容是尽可能地将domain理论推广到更一般的格序结构上去。对连续偏序集进行推广,我们得到了拟连续偏序集、广义完全分配偏序集、C-偏序集、拟C-偏序集这几类弱连续偏序集,它们之间的关系值得我们分析和归纳。     

P中与归纳等价的几个条件

本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.     

知识点集及其偏序特性的研究

从知识点的概念、划分方法及其特性出发,运用偏序理论对高校计算机专业部分课程知识点集的偏序特性进行分析,研究表明C语言高级程序设计与数据结构两个知识点集和它们的并集都属于偏序集;并依据前驱和后继知识点、知识点间的直接依赖及知识点链阐述了研究知识点集偏序性的现实意义.     

偏序集上不动点定理的推广

通过介绍定义在偏序集上的不动点映射理论,并给出相应的证明,同时相应地对偏序集上不动点定理的条件进行改进,以及保序映射与连续映射的相互关系,从而推广了这些结论.     

试析对中国信息化水平的基本判断

首先给出偏序集拟阵上秩的概念 ,并由此产生了偏序集拟阵间 (秩 )强映射的概念 ,这种强映射满足交换性质 .然而 ,之后给出的 (平坦 )强映射却不满足交换性质 .说明拟阵间的强映射之交换性质是不能直接推广到偏序集拟阵上 .     

偏序集高斯广义拟阵及其性质

定义了偏序集广义拟阵并给出了偏序集广义拟阵的等价刻画,得到了偏序集广义拟阵基的性质．通过对偏序集高斯广义拟阵的结构分析,由偏序集高斯结构得到了偏序集高斯广义拟阵的性质,并且给出了偏序集高斯广义拟阵的一个等价刻画．