公理化模糊集合的特征及其分类

基于模糊划分和公理化模糊集合的定义，研究公理化模糊集合的特征和分类．定义公理化模糊集合的2种规范形式：模交模糊集范式和模并模糊集范式，并证明带Zadeh算子、强否定算子的公理化模糊集合的规范形式存在定理．在此基础之上，给出带Zadeh算子、强否定算子的公理化模糊集合隶属函数的特征定理，依据特征定理给出公理化模糊集合的一种分类方式，最后分析在此分类下的类之间的关系．     

关于数学公理化方法

关于数学公理化方法郭一卫，谢桦公理化方法是自然科学，特别是数学的重要逻辑演绎工具。长期以来人们对公理化方法研究不止，存在不同的看法和争议，并由此而不断产生新的科学分支。从这个意义上讲，公理化方法研究总是充满生机的。本文结合（几何基础》、《高等几何》和...     

物理学中的公理化方法

讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要求。     

行列式定义的公理化方法

给出了行列式定义的公理化方法，并证明了行列式的公理化定义与传统的定义是等价的，同时讨论了行列式定义的教学问题。     

"公理化"或"拟公理化"及其认识论意义

“公理化”是几何学的精髓,随着数学乃至科学的发展,“公理化”正在或已经走向“拟公理化”,结合《普通高中数学课程标准(实验)》,本文谈谈“公理化”的数学认识论意义。     

论代数公理化体系与中小学数学教学

数学公理化方法是研究数学的重要方法,代数公理体系是数学公理体系中的子系统.代数系统是集合连同满足某个公理体系的运算合称.中小学数学中处处体现公理化思想,因此在中小学数学教学中讲授代数公理化体系必要且可行.本文从公理化方法、代数公理体系、中小学代数教育及代数公理化在中小学教学中的作用几个方面来阐述.     

论数学公理化方法的作用及其局限性

数学公理化方法是研究数学的重要思想方法,它对于近代数学和其他自然科学的发展起过巨大作用和深远影响。数学公理化的目的,就是把一门数学表述为—个演绎系统,这个系统的出发点则是一组基本概念和若干基本命题,基本概念必须是对数学实体的高度纯化和抽象,而基本命题则是对基本概念相互关系的制约和规定。数学家们在评论波及全球的“新数”运动时,已指出数学公理化方法的局限性,事实上,数学家在解决一个数学难题时,总是首先从现有数学宝库中去索搜适宜的微观数学方法,而不是先求助于数学公理系统。     

"公理化"或"拟公理化"的数学教育方法论意义

“公理化”几乎是建立一切自然科学的金钥匙,随着数学真理观的发展,结合《普通高中数学课程标准（实验）》,本文谈谈“公理化”或“拟公理化”的数学教育方法论价值与意义。     

经典电动力学基础电荷、通量和度规

本书以新颖的公理化形式阐述了经典电动力学的基本结构。公理化经典电动力学的形式结构最早出现于上世纪初。它企图在几个公理的基础上，发展经典电动力学的理论体系，理解为什么麦克斯韦方程组会有它独特的形式。本书作者认为这种表述方法优于通常由费曼、     

经典粗糙近似的一个公理化刻画

公理化方法是粗糙集理论研究的一种重要方法,用公理化方法研究粗糙集问题能够抓住问题的数学本质.研究经典粗糙近似算子的公理化刻画.首先,通过概括经典粗糙近似算子的性质给出经典粗糙上、下近似算子的一个公理化定义;其次,针对经典粗糙上、下近似算子提出两个新的公理组,每组公理独立地刻画所对应的经典粗糙近似算子,利用公理导出算子的其他性质,并证明新公理组与近似算子公理化定义中公理组的等价性;最后,用公理化方法研究非对偶的经典粗糙上、下近似算子复合运算的一些性质.     

多模态公理化系统的可分离性研究

多模态逻辑包含两种或两种以上模态算子,且算子间不可归约。多模态公理化系统的可分离性是指已知任意多模态公理化系统及其语言中的任意算子O,能否得到与O相关的子公理化系统?或者,具有何种性质的多模态逻辑系统可以看作是多个(单)模态逻辑系统的叠加?通过考察多模态公理化系统及其子系统的性质,表明不包含交互作用的多模态公理化系统是可分离的。     

电磁学的公理化体系

由八个基本原理出发，建立了电磁学公理化的理论体系。     

合作对策的σ值和τ值与协商解的一致性

通过对合作对策构造公理化协商模型和参考点协商模型，证明了合作对策的σ值和τ值与所构造的协商模型的Ｒａｉｆｆａ协商解及参考点Ｒａｉｆｆａ协商解的一致性。从而使合作对策理论与公理化协商方法在一定范围内得到了统一。     

Vague集之间的相似度量分析

Vague集的相似度量是Vague集在各个应用领域中的关键技术．本文根据相似工程学原理，指出一个相似度量必须满足的约束条件，提出一种改进的Vague集相似度量公理化定义，然后引入一种新的Vague集相似度量方法，并证明它满足这些公理化条件，最后，用实例说明其应用以及该方法的有效性和直观性.     

形式背景下粗糙集近似算子的公理化方法

给出了在形式概念分析中粗糙集近似算子的一种新的定义方式,并给出了它们的公理化刻画。同时也给出了作者Shao提出的另外一对形式概念分析中粗糙集近似算子的公理化刻画。公理化方法有助于理解近似算子的数学结构特征。     

论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比较研究.     

对集合论公理化方法悖性的审思

公理化集合论理论的创立,解决了康托尔素朴集合论因其概括原则的前提预设而导致的一系列悖论。在公理化集合论中人们没有发现新的悖论,学界因此而视其为成功的解悖方案。公理化的本质是重构集合论的演绎系统,演绎方法具有保真性,能够导出可靠知识。公理化集合论的两个准等价的系统却是从相互矛盾的前提建构得来的。如果这两个公理系统导出的结论是可靠的,就说明可靠知识可以由不可靠的公理化方法导出的。这就对公理化方法的可靠性构成了质疑。     

论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

行列式的若干等价定义

应用公理化方法给出了行列式定义的等价形式，从而使行列式基本性质的证明简化。     

一个与Euclid—Hilbert几何公理系统等价而又简化了的公理系统

引言从Euclid开始,经过Arichimedes、Pasch等人的修改和扩充,最后由Hilbert完善的Euclid几何学公理体系,是历史上第一个用公理化方法解决一个数学分支的逻辑基础的例子,是现代数学公理化方法的典范。由于它的问世,“不仅公理化方法进入数学的其它各个