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