公理系统相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......
李群机器学习(LML)既继承了流形学习的优点,又充分利用了李群的代数结构和几何结构的数学本质,自提出以来就引起了许多研究者的关......
社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡......
进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型，它们不适合处理具有......
作为描述和处理模糊信息的一种重要的数学工具,模糊集合自诞生以来受到了来自数学、工程、经济以及社会学领域众多学者的广泛关注......
运用公理法建立几何学逻辑结构的墓本思想。分析了中学几何教材，论述了欧氏几何公理系统在驾驭中学几何教学中的作用。......
近期读了沈仁广老师的文章《数学评价数学素养数学哲学——由一道中考题及其标准答案引发的思考》(《中学数学教学参考》(初中)20......
18世纪的朝鲜是内部实学思潮和外界西洋文学肆无忌惮地刺激传统学术秩序的时期,这一现象在艺术领域也不例外.同时,燕行,即在北京的......
多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的命题进行了讨论，指出传统逻辑难以处理这类命题，这种观点为多值......
创造性思维与逻辑思维并非是一种对立的关系；形式逻辑作为最古老的公理系统其基本功能就是负载和整理思维及其过程，所以只要分析一下......
因受空间场所的局限，现代企业仅靠电脑端运行办公理系统，已经远远跟不上时代的发展步伐了。该如何企业的办公管理实现即时性和科学化......
在数学上，证明是指在一个特定的公理系统中，根据一定的规则或标准，由公理和定理推导出某些命题的过程.对某些同学来说，数学的证明也许......
《艺术的意味》是现象学美学家莫里茨·盖格尔最全面、最重要的著作，也是现象学美学的第一步严格意义上的理论著作。历来美学不仅没......
愤怒的博弈者是具有攻击性的，为了减少对手的效用，他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态......
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都......
粗集、模糊集均是处理不确定信息的数据分析工具,是数据挖掘的重要方法.由Zadeh首先提出的模糊扩张原理是模糊集理论的最基本的原......
