Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

关系数据模式中属性集闭包和FD集闭包的性质

本文主要给出了关系模式中两个重要概念——属性集闭包及ＦＤ集闭包的若干性质及其相互关系．     

关于完全二分3-超图的Hamilton圈分解

超图是离散数学中最一般的结构，无圈超图已被证明在数据库设计中非常有用，笔者在文[4]所建立的超图的公理系统基础上，用巧妙而构造性方法分别给出了完全二分3－超图H^3(p,p)(p是素数）的Hamlton图分解和完全二分3－超图H^3(p,p)(2|p)的Hamilton图分解，并提出猜想：当p为素数且p≡1（mod4）时，H^4(p,p)可以Hamilton圈分解。     

关于数学分析教学中的一些体会

章先讨论了数学的研究方法和数学分析所基于的公理系统，其次给出了有理指数乘幂的性质的证明。     

不同形式假言易位之差异

假言易位4种表现形式在句法结构上有着相似之处，但是在作为推理规则或公理时所表现出来的推理能力确实迥异。在经典命题逻辑中，它们之间的推理能力差异在形式上表现为双重否定，而深层的原因是否定词在条件句中前后件的位置不同，即否定与实质蕴涵的条件句之间的复杂关系造成的。     

双F—拓扑中的分离性

介绍在双F拓扑中的T0－，T1－，T2－，T3－，T4－分离性，并且给出了它们之间的一些等价关系。     

(～P(x),(∪.),(∩.),-)逻辑的语义问题

本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.     

模型C中的选择公理

在文献[1]中,Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理(AC)。本文将发展一公理系统ZFC~*,在ZFC~*工作中,我们能够证明C满足选择公理。