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

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

一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。     

关于一类Gδ集的一个注记

讨论了一类称之为强Gδ集的子集，证明了在某些集论公理假设下可分空间不能包含有这样的Gδ子集．以及第一可数、可分空间包含有强Gδ集等价于存在不可度量化的可分、正规Moore空间。     

论安全科学技术学科体系的结构和内涵

安全科学技术学科作为《学科分类与代码》的一个一级学科，有明确的研究对象——事故，其研究目的是事故预防和控制事故损失。该学科以事故的发生发展规律为基础科学，它与不同的研究手段和工具交叉形成了该学科的应用科学体系。根据研究范围的不同，安全学科在不同的领域又形成了一个分支学科体系，但研究方法和工具仍然是相同的。就作者的鉴别能力和学科发展现状来说，安全科学技术学科的结构由至少6个基础概念、3条公理组成，学科的科学结构基本完整。     

概率论自然公理系统

本书是中国学者熊大国对国际公认的Kolmogorov在1933年建立的公理系统的一个挑战。Kolmogorov公理系统建立在测度论基础上，以（Ω，F，P）为研究出发点，其中Ω是初等事件集合，F为σ域，P是F上的测度。作者认为，Kolmogorov的公理系统（KAS）有许多缺点，如：没有考虑现实世界的随机现象，没有讨论KAS条件与概率关系，     

Shapley公理在一体化经济效益评估中应用

一体化经济效益评估是为了获得最佳的效能，通过对系统中各要素进行自身强化和重新组合，优化系统构成，发现并挖掘系统潜在的能力，实现力量联合和信息协调，更好地进行运筹决策、计划组织、协调控制的系统活动。     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.