共查询到18条相似文献,搜索用时 62 毫秒
1.
2.
叶瑞芬 《华东理工大学学报(自然科学版)》1992,(1)
朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。 相似文献
3.
4.
5.
对数理逻辑中命题逻辑公理系统独立性证明做了探讨,给出了算术解释的一种规律,并应用这种规则证明了3个命题演算公理系统的独立性。 相似文献
6.
R0代数公理系统的简化与独立性 总被引:13,自引:4,他引:13
裴道武 《陕西师范大学学报(自然科学版)》2002,30(3):5-9
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公理系统的简化问题,得到R0代数的两个特征定理,并证明了这两个特下定理中条件的独立性,由此得到R0代数两个独立的公理系统,研究结果表明,R0代数类和弱R0代数类都构成代数簇,即等式代数类,因而这两个代数类关于子代数、同态像以及直积是封闭的。 相似文献
7.
8.
9.
本文将采用近代公理法思想来分析中学几何(包括初中平面几何与高中立体几何)中所出现的公理,论述其公理系统,使读者能居高临下地领会大纲与教材,从而正确理解中学几何公理系统的结构、特点以及欠缺情况,用以指导中学几何的教学。 相似文献
10.
刘晓东 《大连海事大学学报(自然科学版)》1996,22(2):96-99
提出了关于模糊集与系统的一个新的数学公理系统,给出了意识场的概念,得到了模糊概念在给定的意识场中的表示,解决了隶属函数的数学严密性及统一性。 相似文献
11.
陈勇 《西安交通大学学报》1995,29(10):114-117,126
通过引入丛集、带集、带空间等概念,证明了任何非Hausdorff线性拓扑空间都是带空间,其拓扑结构由零点集的闭包(子空间)决定,是具有固定形式的,随后作为特例,讨论了有限维非Hausdorff空间,给出了更强的结果。 相似文献
12.
文献[1]所给出的概率内积空间上的拓扑结构的性质要依赖于一个较强的条件(PI—6),本文减弱了这个条件并使其拓扑结构仍具有较好的性质。 相似文献
13.
Heilbronn问题的一些结果及其推广 总被引:1,自引:0,他引:1
给定平面上 n 个点的点集 S,用 D(S) 和d(S)表示这些点的最大距离和最小距离,Heilbronn问题是求 D(S)/d(S)的下确界λ_n 通过计算机辅助证明,证明了λ_8=1/2CSCπ/(14) ,并把Heilbronn 问题推广到高维空间。 相似文献
14.
李振国 《内蒙古师范大学学报(自然科学版)》1999,28(1):22-24
V(F,n)表示数域F上的n维线性空间.给出几种性质P,证明V(F,n)的具有性质P的子空间的个数等于F,并猜想,对于任意一种给定的性质P,结论均成立 相似文献
15.
本文采用[1]中fuzzy线性泛函的定义,证明了fuzzy拓扑线性空间上fuzzy线性泛函连续性的几个等价命题和fuzzy线性泛函的Hahn-Banach延拓定理。给出了fuzzy拓扑线性空间上存在非零连续fuzzy线性泛函的一个充要条件,并证明了非平几的分离的局部凸fuzzy拓扑线性空间上存在足够多的非零连续fuzzy线性泛函。 相似文献
16.
17.
瞿维建 《杭州师范学院学报(自然科学版)》1998,(6)
本文主要给出了欧氏环R上的线性方程组有解的充要条件及其解的结构。同时从文中定理的构造性证明中还可获得一种解欧氏环R上的线性方程组的有效方法. 相似文献
18.
赵一仑 《浙江师范大学学报(自然科学版)》2007,30(2):225-228
皮亚杰通过研究儿童的拓扑空间、射影空间和欧氏空间概念,提出了儿童空间概念发展的拓扑首位论点.心理学家对皮亚杰的研究工作进行了一系列的验证研究,对皮亚杰的研究进行了修正和扩展,从发生认识论的观点及知识是逐步建构起来的2个方面对拓扑首位论点进行了评述. 相似文献