公理系统相关论文
<正> 为了实现把数学还原为逻辑这一逻辑主义的基本纲领,弗雷格发明了一种表意文字,并用这种文字建立了一个表达逻辑规律和推理规......
<正> 知识逻辑(Epistemic Logics)研究知识的内在逻辑规律,它属于哲学逻辑的一个分支。近年来,知识逻辑在经济学,语言学,计算机科......
<正> 逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必......
<正> 梅纳德·凯恩斯(John Maynard Keynes,1883—1946)是以他的经济学说闻名于世的学者,同时是现代归纳逻辑的创立者。本文准备从......
在日常生活中,一个有效的推理通常可以用形式表示为“如果p,那么q;p,所以q”。也可以用符号表示为(p→q)Ap→q。这种有效式在逻辑中又......
1975年,Goodenough和Gerhart在研究软件测试能否保证软件的正确性时首次提出了软件测试理论的中心问题是软件测试充分性问题,即如......
中学平面几何采用的是欧几里得公理系统.这个公理系统,从一些基本概念和公理出发,推出了一系列的定理.其中每一个定理,都是依据基......
多目标协商问题是协商理论的一个新的研究领域.本文讨论了由Bronisz和Krus提出的多目标协商模型和Bronisz-Krus-协商解概念,构造了由Bronisz-Krus多目标协商模型诱导的单目......
虽然大多数学生都有机会去证明定理,但是却很少让他们看到获得这些定理的真实的过程。这种过程,或者说探索方法,包括以下几个步骤......
现行六年制重点高中数学课本《立体几何》在《多面体与旋转体》这一部份,把重点放在研究立体图形的直观图的画法及有关的度量计算......
人类认识世界的历史,就是由特殊到一般,再由一般到特殊,从而从相对走向绝对的历史。在历史发展的不同时期,因生产的需要而产生并......
基于集合论的概念和方法渗透到数字的一切领域,在构成现代数字基础上的重要性,本文着重介绍集论基础中以下几个问题:(1)集合概念;(......
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
自然语言处理是信息时代的产物,它的主要研究对象为人—机语言交流问题。计划语言是为了解决人—人语言交际困难,而提出的人造语言系......
本论文针对王彦晶提出的“知道如何”的模态算子提出了一种新的语义。与原来的语义相比,我们的语义比较弱但是却更容易实现。根据......
模态逻辑是在命题逻辑或一阶逻辑的基础上加入模态词□而得到逻辑,命题模态逻辑有K,D,B,S4与S5等公理系统.给定S5公理系统的等价框架或......
与LTL、CTL以及PDL等较简单的时序与模态逻辑相比,μ-演算由于含有不动点算子,拥有非常强大的表达能力,因而付出的代价是其可满足性的......
李群机器学习(LML)既继承了流形学习的优点,又充分利用了李群的代数结构和几何结构的数学本质,自提出以来就引起了许多研究者的关......
社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡......
命题模态逻辑是命题逻辑增加模态算子后的扩充,常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变,为......
进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型,它们不适合处理具有......
运用公理法建立几何学逻辑结构的墓本思想。分析了中学几何教材,论述了欧氏几何公理系统在驾驭中学几何教学中的作用。......
17世纪牛顿、莱布尼兹创立了微积分以后,在近一二百年的时间里,微积分一直缺乏一个严格的逻辑基础,它的一些基本概念的的表述,还有......
近期读了沈仁广老师的文章《数学评价数学素养数学哲学——由一道中考题及其标准答案引发的思考》(《中学数学教学参考》(初中)20......
对于函数依赖、多值依赖都建立了正确(sound)、完备的(complete)公理系统.对于嵌入型多值依赖的正确、完备的公理系统问题,Sagir、......
二十余年来,对于设计方法论的研究总有人抱怀疑态度。认为“方法论”不过是一种特殊的描述和严格对待问题的手段。尤其是建筑界,......
数学公理化方法,是数学发展一定阶段的产物,自欧几里得的时代开始,就已成为一种有效的科学方法。首先,公理化方法是加工、整理数......
在对国内企业信息化建设的采访中,信息技术主管们是我的采访对象。每每问及在企业内搞信息化建设会遇到哪些问题?这些 IT 部门的......
二十世纪之初,数学家对于数学之基本问题曾致深湛之注意,例如如何使数学合理化,数学之象是什么等问题乃当时众目之的。于时乃有所......
通过评析几何基础的历史、内容、方法和意义,论述了几何基础对中学几何教学的指导意义
Through the analysis of the history, con......
说到推理,人们首先想到的是几何推理;而说起几何推理,往往又是指演绎推理. 实际上,“推理”一词有着广泛的意义,目前,一个普遍的看法是:任......
最近,有媒体报道,一批来自英国小学的数学教师与上海的基地学校教师在展开教学交流时,发现彼此间重大的差异,“英国老师教学时更发......
理性力学(rational mechanics)的概念由来已久。早在1743年,达朗贝尔(D’Alembert)就提出:“1.象几何学一样,理性力学必须建立在......
组合优化是一门讨论某些离散型最优化问题的学问.但是众多问题之间,迄今所得结果和方法尚未“组合”起来,显得过分“离散”了一些.近几......
公理学是系统地研究数学和逻辑结构的标准工具。公理学在现代科学理论研究中,发挥着越来越显著的作用,因此它具有极其重要的科学方法......
在基础教育中,数学占有重要地位,作为现代社会的一个公民,必须具有一定的数学素质,其中包括若干必备的数学知识和技能,接受过逻辑......
数学证明是数学研究和学习中非常重要的一部分.对于考生来说,把要证明的题目会用已知条件和有关数学概念、公理、定理来逐步地推出......