随机逻辑的词义问题

得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真的     

统计规律的公理性

统计规律一直被认为是统计学的基本研究对象，但是尚未有人对此概念给出一个规范的科学定义，本文通过通过统计规律的数量性质的分析 结论：各类统计规律都可规结为“平均数规律”，并可表 一个大数公理。这种结论进一步表明，对科学真理的实践或实验检验是一个无限的过程。     

拓扑的并或交

■是集X上的拓扑的全体,■的元τ同时表示自己所有的开集所成的族。证明了:①〈τξ|ξ<α〉■■■∩ξ<ατξ∈■。②〈τξ|ξ<α〉■■,满足条件(1)或(2)■∪ξ<ατξ∈■。③命题1:〈A,<〉是有序集(半序或全序),那么埚〈xξ|ξ<α〉≡B■A,满足(ⅰ)μ<ν<α■xμ相似文献   

与罗氏平行公理V^＊等价的命题补充

在文献［１］Ｐ．１４２￣Ｐ．１４３中列举了十五个与罗氏平行公里Ｖ＾＊等价的命题，本文将再列出八个与Ｖ＾＊等价的命题。     

关于主动数据库属性依赖及公理系统的研究

在主动数据库的理论与应用研究中，更新传播算法的应用，保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统，给出了一种更新传播算法，对该算法的正确性、可终止性进行了论证，并进行了时间复杂度分析。     

我学习数学的经历

我上小学并未显露超乎常人的数学天赋，还常常要去做一些不大感兴趣的事情。在13岁那年，情况发生了改变。平面几何的简洁优雅令我怦然心动：从简单的公理可以导出美妙而复杂的定理。于是，我兴致勃勃地开始自己推导几何定理，而且尝试着提出一些有趣的结论。试图根据基本公理证明之。     

几个数学公理系统的独立性

本文证明了:群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。     

公理A自覆盖映射的ζ-函数

ζ-函数是微分动力系统的一个研究课题。Smale猜测公理A微分同胚有有理的ζ-函数,以后Manning使用Markov分解这一手段得出证明。张筑生证明了扩张自映射有有理的ζ-函数(文献[2],定理1)。本文通过公理A~*的使用,证明了:1.公理A自覆盖映射具有“Markov分解”,这是公理A微分同胚相应结果的推广;2.公理A自覆盖映射有有理的ζ-函数,这     

ZY3代数的一个公理系统

本文指出ZY3代数的原公理系统是不独立的,并给出ZY3代数的一个新的公理系统。