公理化相关论文
QL指一个命题逻辑系统L的纯量化扩张。克里普克语义学给出了处理命题模态逻辑的一种合理方法（当然也有例外）。但就一阶模态逻辑整体......
公理化真理论（axiomatic theory of truth）兴起于20世纪80年代，其核心思想是把“真”作为一个初始的谓词，直接添加到一种基础理论（base ......
基于对模糊现象的本质及其特征的深入分析,提出了关于模糊现象本质的新认识,建立了隶属度的公理系统,在此基础之上,定义了模糊划分......
基于车车通信的信号系统不仅能适应复杂的运营场景,还能满足大运量需求.在保证运行安全的前提下,信号系统在运行服务方面的可用性......
抽象代数是数学的重要分支，主要研究群、环、域、模、格等数学结构。环论是抽象代数中较为深刻的一部分，按照乘法是否满足交换律，环可......
经济常识计算题是数学在经济学中的具体应用。它要求考生运用数学知识来分析经济学问题，通过数学公理化方法的严格性、简洁性与一般......
德国数学家大卫·希尔伯特是20世纪最伟大的数学家之一.他对数学的贡献是巨大的，他研究的领域涉及代数不变式、代数数域、几何基础......
进入高中后,我们学习的第一个数学概念就是“集合”。研究集合的理论在现代数学中被称为集合论,其基本概念几乎渗透到数学的所有领......
本世纪电脑科学的神速发展正极大地改变着社会。和工业革命使得人类的体力劳动由机械来完成相并行，电脑似乎也能完成人类的大部分智......
【摘 要】 本文比较分析普通高中数学课程标准实验教科书人教A版与北师大版“空间图形的基本关系与公理”这一节内容，揭示两版本教......
20世纪初,概率论经俄罗斯圣彼得堡学派切比雪夫(Chebyshev,1821-1894)、马尔科夫和李雅普诺夫(Aleksandr Mikhailovich Lyapunov,1......
在十多年离散数学本科教学实践基础上，通过时离散数学课程中代数系统模块的研究，本文首先提炼和总结了蕴涵在代数系统中的现代教学思......
本文扩展了王彦晶和谢立民(J.Seligman)所提出的带赋值算子的认知逻辑.该逻辑沿循库伊(B.Kooi)所提出的动态项模态逻辑(dynamic te......
中数教学的目的之一是培养和发展学生的逻辑思维能力,而平面几何在这方面起着特殊的作用。由于平面几何早已形成公理化体系,而中......
运用马克思主义发生学原理 ,对情报学学科建设的理论、方法及动力等问题进行了研究。提出情报学是一种科学的社会意识形态 ,它的发......
数学是生活的一面镜子,它折射出生活中数与形的夺目光芒。无论从数学的产生还是从数学的发展来看,数学与现实生活都有着密不可分的......
高等代数作为一门重要的基础课程,既是中学代数的继续和提高,其观点和方法又与中学代数有着本质上的区别。在中学代数中,无论研究......
机器翻译利用汁算机模拟人的翻译过程,是一种智能处理过程,由于计算机本身没有自动思维能力,很大程度上靠人提供的一套推理机制及......
文章通过语言隐喻性本性的阐述，提出了隐喻同样是人类理性的题中应有之义的思想．并以数学史中逻辑与直觉、精确与模糊的互补性，科学范......
本文概略地介绍我们对汉语词类进行认知研究和模糊划分的操作程序:基于词类是原型范畴(因而属于同一词类的词有典型成员和非典型成......
概率既是构成高中数学内容的一大重要板块，也是高中数学教学中的难点之一。当前，概率教学中存在概念理解不清，知识结n构不明确，过多采......
随着计算机网络的发展,信息安全问题已变得日益重要。信息的安全性已经不是仅仅依赖一个好的加密算法就可以得以解决的问题,它需要......
[摘 要]公理化方法是根据尽可能少的概念和彼此独立的命题，通过严格的逻辑推理得到其他命题及结论，最终实现整个理论系统的构建.公理......
本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,......
<正>传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义,......
培养思维能力,特别是抽象逻辑思维能力是开发智力的关键。高中物理是一门严密的、有着公理化逻辑体系的科学理论,对于高中学生抽象......
一理论是科学理解经验现象的关键。只有当先前的研究工作产生出大量包含有关问题现象的经验概括的信息时,理论才能正常地发展。理......
近代科学产生于欧洲,以其科学实验和严密逻辑分析相结合并予以公理化为特征,为近代科学的规范化和重大发展产生了极为深刻的影响......
探讨“科学理论的本质与结构”一直是科学哲学的核心目标之一。自逻辑经验论的“公认观点”宣布失败后，近年来具有逻辑与分析哲学倾......
1 引言 数学的实用目的就是测量. 据史书记载,平面几何起源于土地测量,人们在测量中发明了几何学. 数学发生发展的历史表明......
欧几里德(约公元前330～公元前275),古希腊数学家。他的巨著是《几何原本》。从1482年到19世纪末,《几何原本》的印刷本用各种文字出......
随着社会的发展,起重机这一机械的应用在建筑等行业越来越广泛。作为建筑工程中最为重要的设备之一,起重机也在不断地发展之中。而......
数学活动有两项基本工作——证明与计算,前者是由于接受了公理化(演绎化)的数学文化传统,后者是由于接受了机械化(算法化)的数学文......
1东西方对数学本质的认知差异 数学家们一般认为： 数学的本质是经验性和演绎性的辩证统一. 数学源于生活，如计算时间、分配物品、......
说出来也许会使你感到惊奇:原来,今天你所读的几何课本中的大部分内容,来自 2300多年前的《几何原本》．这本书的作者,便是被誉为“......
不同于以往宏观经济思想史的“革命一综合”演进逻辑观点，本文从方法论的角度指出，当代经济波动理论经历了“统一一般均衡框架——（放......
《九章算术》(简称《九章》)是一部中国古代数学经典著作,早已为国内外学者所称道。刘徽的《九章算术注》(简称《刘注》)也已成为......
市场信息效率因其重要性和基础性激发了学界的持续研究,大量成果涌现,但是截至目前在系统性和建构性上的努力还很不够,体系松散,脉......
随着全球化的不断的发展,西方经济学在中国的普及,中国政治经济学和西方经济学逐渐被大众认知成为一种相似的经济学理论。西方经济......
