公理化相关论文
基于车车通信的信号系统不仅能适应复杂的运营场景,还能满足大运量需求.在保证运行安全的前提下,信号系统在运行服务方面的可用性......
抽象代数是数学的重要分支，主要研究群、环、域、模、格等数学结构。环论是抽象代数中较为深刻的一部分，按照乘法是否满足交换律，环可......
经济常识计算题是数学在经济学中的具体应用。它要求考生运用数学知识来分析经济学问题，通过数学公理化方法的严格性、简洁性与一般......
德国数学家大卫·希尔伯特是20世纪最伟大的数学家之一.他对数学的贡献是巨大的，他研究的领域涉及代数不变式、代数数域、几何基础......
进入高中后,我们学习的第一个数学概念就是“集合”。研究集合的理论在现代数学中被称为集合论,其基本概念几乎渗透到数学的所有领......
本世纪电脑科学的神速发展正极大地改变着社会。和工业革命使得人类的体力劳动由机械来完成相并行，电脑似乎也能完成人类的大部分智......
【摘 要】 本文比较分析普通高中数学课程标准实验教科书人教A版与北师大版“空间图形的基本关系与公理”这一节内容，揭示两版本教......
本文概略地介绍我们对汉语词类进行认知研究和模糊划分的操作程序:基于词类是原型范畴(因而属于同一词类的词有典型成员和非典型成......
[摘 要]公理化方法是根据尽可能少的概念和彼此独立的命题，通过严格的逻辑推理得到其他命题及结论，最终实现整个理论系统的构建.公理......
<正>传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义,......
近代科学产生于欧洲,以其科学实验和严密逻辑分析相结合并予以公理化为特征,为近代科学的规范化和重大发展产生了极为深刻的影响......
1 引言 数学的实用目的就是测量. 据史书记载,平面几何起源于土地测量,人们在测量中发明了几何学. 数学发生发展的历史表明......
市场信息效率因其重要性和基础性激发了学界的持续研究,大量成果涌现,但是截至目前在系统性和建构性上的努力还很不够,体系松散,脉......
机器会思维。这并不是一个可简单证实或证伪的命题。在一九九六年第七期《电脑有无意识》一文中，尽管原文有“电脑有无意识的问题…......
1945年,一份长达101页题为“关于EDVAC的报告草案”的报告公之于众,报告中广泛而具体地介绍了制造电子计算机和程序设计的新思想,......
孔多塞（M．Cowhrcet）最早发现了“投票悖论”，经由布莱克（D．Black）的研究重新引起理论界重视。投票理论的深入研究发现了政治投票作为一种......
一、几个“傻问题”为什么要相信学生?“以人为本”是什么意思?什么是教育教学规律?……这也许是会被很多人嘲笑的傻问题,而我认为......
粗糙集理论是一种新的处理不确定性知识的数学工具,是由波兰科学家Pawlak在1982年首先提出的.目前已发展成为人工智能的一个重要研......
Fodor公理化定义是目前文献中最为广泛的模糊偏好结构定义方法，该定义包含三个重要的特例，其中特例二与特例三已被一些研究者进行了......
本文在非标准扩大模型下，给出了拓扑的非标准定义，并在此基础上对拓扑空间的多种概念、绪论进行了描述和刻画，从非标准分析的角度研究......
一、近年高考动态分析 立体几何是采用公理化的方法研究空间的点、线、面的各种位置关系，并进而讨论简单几何体的性质和相......
数学是人类文化的重要组成部分,它对人们的观念、精神、思维方式的形成产生了重要的影响.特别是人类文明的重大成果——欧几里得几......
一、斯密的“经济人”假说的思想渊源与其形成 经济人假设作为经济学的逻辑起点和核心假设，它不仅以系统的观念为基础，同时必须具......
数学的发展有三大动力:与生产、生活及科学发展的密切联系;公理化思想和方法;数学家的直觉.但三大动力的根本还在于数学和生产、生......
在高中物理教学中以提高学生抽象逻辑思维能力，特别是理论型逻辑思维能力，是需要也是可能的。 首先，高中生无论是升学还是就业，随着......
鲍博尼等人（P. Balbiani et al.,[2]）提出了任意公开宣告逻辑（AP AL）。它是普拉策（J. Plaza，[7]）公开宣告逻辑的扩展，加入了关于宣告的量词......
对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上.对象比一般意义下的动态实体具......
给出不完备信息系统中知识粒度的公理化定义,在此基础上提出一系列知识粒度度量方法.其中有不带参数的具体度量,也有带参数的一般......
这篇论文结合了两种信念收缩的AGM框架的推广，分别为：（1）基础生成收缩，其中信念集的变化是从某个信念基的变化生成的；（2）多元收缩，其中几个......
<正> '悖论'(paradox)一词常见诸报端,其字面意思为'荒谬的理论或自相矛盾的话'。从逻辑上看,悖论性的语句具有这......
为克服Shannon熵的局限性,修改了Shannon熵的公理,用公理化的方法,推导出具有有限分布列的离散型随机变量的信息量系.并且将它推广......
在此引入了数加模糊集和模糊关系外合成运算两个概念，讨论了它们的性质，给出了模糊下近似算子的一个简洁的公理组，并利用模糊矩阵这一......
在ｃｈｉ进程间互模拟格的基础上，利用Ｌ－互模拟的开刻划，给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关......
本节序言课以公理化方法为指导思想,帮助学生形成以逻辑推理为核心的立体几何学习认知结构.课后学生反馈表明,这样的教学取得了良......
本论述通过讨论公理法的三个条件,线性方程组有唯一解的条件,KCL、KVL方程的独立性、完备性这几个步骤,叙述了将公理法的三个条件......
在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义。这简化了Fan and van Ditmarsch(20......
本文考察了强可能性和弱必然性这两种真势模态的逻辑性质。称一个命题是强可能的,当且仅当它在某个可及的但非现实的可能世界中成......
粗集是知识发现领域的基础理论 ,该文在 L in等工作的基础上对粗集的公理化进行了深入的研究 ,去除了以往文献中给出的粗集公理组......
一、问题的提出近几十年，中国内地和香港学者都有个共识，变式（东西方都不约而同研究变式，而双方都同意研究结果相类似，本文则泛指“变中......
覆盖广义粗糙集是经典粗糙集的一种理论和应用上有意义的推广。针对覆盖广义粗集边界过于粗糙及运算公理化定义难以得到的不足,首......
傅种孙为著名数学家、数学教育家,为数学教育一代宗师.然而由于种种原因,对其数学教育思想及数学方法论的观点研究不够深入.在他著......
