公理化方法相关论文
哪些联盟可以形成以及联盟价值如何在参与者间分配是合作对策研究的基本问题.经典合作对策模型通常假设任意联盟可以形成,仅仅探讨......
本文第一部分将效应代数与模糊结构(模糊集、直觉模糊集/Vague集及软集)相结合,主要研究子效应代数的模糊化,即:直觉模糊子效应代数(简......
同学们已经知道。在同一平面内不重合的两条直线,只有两种位置关系:相交或平行.这个事实早已为我们人类所认识。最早可以追溯到古希......
电脑的发明使人类文明走向了以数字化、网络化和集成化的信息革命时代,计算或算法的观念已经渗透到宇宙学、物理学、生物学乃至经济......
为解决安全科学技术基本概念、基本理论不统一问题,基于公理化方法,阐明危险源、隐患、风险、安全等基本概念的内涵,归纳安全生产......
杰拉德·德布鲁——美国加利福尼亚大学数学和经济学教授,一九八三年诺贝尔经济学奖获得者、西方著名经济学家。 至少二十年来,德......
5000kW以上立式齿轮箱的设计结果要求较高的可靠性,整个过程需要反复计算和校核才能满足设计要求。此外,齿轮箱工程图的绘制工作量较......
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构,并成为函数式程序语言的指称语义.然而,随着计算机与网络......
意识是什么?这是认知科学研究中的一个基本问题。人类对于意识的探索已有数千年的历史,在不同文明的早期哲学中都有关于意识的思考。......
数学文化在法理逻辑构造的过程中具有十分重要的意义。一方面,数学文化对法律文化有着巨大的影响,本文从原因和内容两个视角分别展开......
继《的公理化诠释》的研究之后,对于《孟子》所开展的公理化研究与诠释,其目的是寻求“孔孟之道”的理路,以更好地探究梳理儒学一以贯......
文章综述了课题组继《 的公理化诠释》和《 的公理化诠释》的研究之后,对于《荀子》所开展的公理化诠释之进程. 先秦哲学中最具系......
1957年王革生于中国沈阳。1982在西安电子科技大学获电子工程学士学位;1985年他在中国科学院遥感所获硕士学位;1991~1992年获得美国......
如何培养学生的科研能力,是当前高校教学改革所面临的重要问题.本文基于不确定理论教学和科研的实践,阐述了课堂教学过程中,如何结......
从几何发展的公理化方法而言,一个公理系统满足三个条件:相容性、独立性、完备性.数学抽象的层次主要是直观描述和符号表达.空间几......
现代逻辑以其形式抽象、体系严密、应用广泛和结论精确的特性在促进现代科学技术发展和推动人类文明进步过程中发挥了重要作用,公......
牛顿的科学思想方法集中地表现在采用了公理化方法与对应规则,以实验为基础的分析方法--综合法和数学-物理方法.......
随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公......
本文给出线性代数向量空间子空间理论的RMI模型理论,并且应用关系映射反演思想方法论述向量空间子空间理论的教学思路。......
作者引入了公理P1)~P5),由此建立了一个和分布的舒瓦兹乘积相容的附加分布的乘积系.......
毛泽东思想是个完整、系统的科学理论,公理化方法是自然科学研究中理论构建方法;应用公理化方法研究毛泽东思想理论体系是一种尝试......
合理的投票系统都是操纵的,投票决策形成过程中防操纵问题,属于应用领域的前沿问题。从公理化的方法、计算机辅助证明的方法、设计新......
数学公理化方法是研究数学的重要思想方法,它对于近代数学和其他自然科学的发展起过巨大作用和深远影响。数学公理化的目的,就是把......
公理化方法是数学中一个很重要的思想方法,长期以来,很多学者对这种方法存在着各种不同的看法和理解.正确认识数学中的公理化方法,不仅......
在高校扩招的形势下,结合基础教育改革的背景和高师“初等几何研究”的现状,对高师“初等几何研究”课程整合提出了指导思想和方案......
一、概述 在数学基础研究中,形式主义学派的代表Hilbert认为:数学的真实性必须且只须建立在其公理系统的无矛盾性上,而这公理系统......
给出了行列式定义的公理化方法,并证明了行列式的公理化定义与传统的定义是等价的,同时讨论了行列式定义的教学问题。......
公理化方法是数学中的一个很重要的方法,准确地认识公理化方法,不仅对于数学这门学科的发展有很重要的影响,而且还对其他自然科学学科......
文章以公理化方法作为切入点,把《周髀算经》和《论日月的大小和距离》一东一西两大经典放在一起做个比较,讨论东西文明不同的偏好......
计算机学科是一门发展迅猛的综合学科,掌握其学习方法至为重要.本文总结归纳了学习计算机学科知识的几种典型方法.......
欧几里得<几何原本>自诞生之日起,就肩负着渗透公理化思想的重任.但由于几何内容的改变,公理化方法在中学课本中的地位有所削弱.应......
最近,Puczylowski E.R.用公理化方法建立了外延广泛的代数系统-代数对象类的概念,它包含了大多数已知的代数范畴,并且在特殊的代数......
分析了<高等代数>课程内容中数学方法论的运用和表现,指出了<高等代数>课程的教材编写和教学过程体现数学方法论原则的必要性和重......
在这份报纸,由一条公理的途径,我们建议凸的风险为公事包测量的 comonotonic subadditivity 和 comonotonic 的概念,它是歌和 Yan (20......
In rough set theory, crisp and/or fuzzy binary relations play an important role in both constructive and axiomatic consi......
公理化方法是从尽可能少的不加定义的原始概念(基本概念)和不证自明的命题(基本命题)出发,利用纯逻辑推理法则,把一门学科建立成为演绎......
数学方法在数学两次转折中起的巨大作用.不仅为数学发展规律的研究添砖加瓦,而且说明了研究数学方法论的重要性.......
围绕建构高等教育学理论体系问题,分析了正确处理体系问题,分析了正确处理高等教育研究和建构理论体系的关系,对"公理化方法"和"高......
公理化方法是自然科学的产物,一般用于自然科学领域内,在人文科学领域内用之较少。但是,公理化方法具有其自身的优势,尝试运用公理化方......
1基本情况分析“平面的基本性质”这一节内容是在学生对常见空间几何体有了初步认识的基础上,为了进一步研究空间线面关系,建立立......
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoa......