浅谈新课程下初中教材几何公理体系

初中几何是新课改数学教材变化最大的部分。本文以北师大版和浙教版教材为例,研究了中学几何公理公理的处理和方法。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

谈现行中学几何教材公理体系的几个问题

本文在介绍了希尔伯特现代化公理法和现行中学几何教材公理系统异同的基础上，从五 个方面详细地阐述了如何看待中学几何教材的公理化系统问题；最后，又分五个阶段论述了怎样通过几何教学培养提高学生的数学能力问题．     

论Hilbert公理体系的解析结构(Ⅱ)——有序仿射几何与无连续公理欧氏几何的解析结构

本文讨论有序仿射几何与有序体上仿射几何之间的联系,以及无连续公理欧氏几何与pythagoras域上欧氏几何之间的联系。     

仿射几何的公理体系

本文证明了,在欧氏几何Hilbert公理体系中,如果删去合同关系和合同公理,同时把平行公理强化成V’:“在同一平面上已知直线a和线外一点A。则过A点有且仅有一条直线b与a平行。”则得到三维仿射几何的公理体系。     

代数结构与几何基础Ⅲ——射影几何的公理体系

在本文中我们将给出只保留结合公理的几何，并证明：这种几何．同构于域上的射影几何．若添加顺序公理．则得到同构于有序域上的射影几何的几何．     

论Hilbert公理体系的解析结构（Ⅱ）：有序仿射几何与无连续 …

本文讨论有序仿射几何与有序体上仿射几何之间的联系，以及无连续公理欧氏几何与ｐｙｔｈａｇｏｒａｓ域上欧氏几何之间的联系。     

谈中学几何公理的处理

现行中学初等几何教材基本上保持欧几里德几何系统,这就是以公理法为基础而构成的演绎体系。 公理法采用的是三段论式的推理方法,它的大前提一般是公理,公理的科学性与完备性以及独立性构成该学科的基础,作为教材必然关系到这门学科的教学质量。 传统欧氏几何系统,它的公理太少,在推理中往往要借助于图形的直观而默认其正     

用边界公理建立拓扑

首先给出边界公理的定义，然后证明边界公理与开集公里的条件等价，从而证明以从边界公理出发建立拓扑空间的概念。     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

一个几何公理的应用

在所有连接两点的线中,线段最短。这是中学平面几何公理体系中的公理之一。本文就该公理给出了简单、直接的应用。着重讨论了平面几何、立体几何中的最短路线问题,并把所谓的"架桥"选址问题做了一些推广。     

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

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

基于公理化理论的自动装配与焊接系统设计

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架.基于公理设计理论,应用独立公理对多机器人集成焊接系统的结构设计进行了分析和论述,给出了系统的功能需求与设计参数之间的映射关系以及设计流程,然后基于信息公理以上料系统为例,介绍了上料系统设计方案的优化方法.通过对系统进行计算机运动仿真,验证了系统设计的可行性和有效性,该系统已投入实际应用.     

一般原型——模型论的理论体系（Ⅰ）

通过一般原理－模型论的同型公理（及模型公理）对该理论的内容体系作了大致的概括和描述，从而可以显示出一般原型－模型论的广阔研究范围与普适范围。     

物理学中的公理化方法

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

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

ZY3代数的一个公理系统

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

概率论自然公理系统

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