公理系统相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......
李群机器学习(LML)既继承了流形学习的优点,又充分利用了李群的代数结构和几何结构的数学本质,自提出以来就引起了许多研究者的关......
社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡......
进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型，它们不适合处理具有......
作为描述和处理模糊信息的一种重要的数学工具,模糊集合自诞生以来受到了来自数学、工程、经济以及社会学领域众多学者的广泛关注......
运用公理法建立几何学逻辑结构的墓本思想。分析了中学几何教材，论述了欧氏几何公理系统在驾驭中学几何教学中的作用。......
近期读了沈仁广老师的文章《数学评价数学素养数学哲学——由一道中考题及其标准答案引发的思考》(《中学数学教学参考》(初中)20......
18世纪的朝鲜是内部实学思潮和外界西洋文学肆无忌惮地刺激传统学术秩序的时期,这一现象在艺术领域也不例外.同时,燕行,即在北京的......
多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的命题进行了讨论，指出传统逻辑难以处理这类命题，这种观点为多值......
创造性思维与逻辑思维并非是一种对立的关系；形式逻辑作为最古老的公理系统其基本功能就是负载和整理思维及其过程，所以只要分析一下......
因受空间场所的局限，现代企业仅靠电脑端运行办公理系统，已经远远跟不上时代的发展步伐了。该如何企业的办公管理实现即时性和科学化......
在数学上，证明是指在一个特定的公理系统中，根据一定的规则或标准，由公理和定理推导出某些命题的过程.对某些同学来说，数学的证明也许......
《艺术的意味》是现象学美学家莫里茨·盖格尔最全面、最重要的著作，也是现象学美学的第一步严格意义上的理论著作。历来美学不仅没......
愤怒的博弈者是具有攻击性的，为了减少对手的效用，他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态......
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都......
粗集、模糊集均是处理不确定信息的数据分析工具,是数据挖掘的重要方法.由Zadeh首先提出的模糊扩张原理是模糊集理论的最基本的原......
张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性......
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背......
19世纪,数学分析理论的奠基工作,由于本身逻辑基础的不严密,在前进中已日益觉得步履艰难.必然要求建立严格的实数理论.因为没有无......
直言命题可以归结为A、E、I、O四种基本类型。A命题就是全称肯定命题,在日常语言中可以表达为＂所有X是Y＂。A-命题可以推广成An-命题......
双剩余格是t-模、t-余模、模糊剩余蕴涵及其对偶算子的代数抽象，基于格的L-模糊关系是普通模糊关系的推广。作为Pawlak经典粗糙集及......
本文简单介绍了本体的基本概念及其组成结构，详细阐述了使用本体开发工具Protégé构建茶叶病虫害领域本体的方法。针对茶......
数学公理化方法是研究数学的重要思想方法,它对于近代数学和其他自然科学的发展起过巨大作用和深远影响。数学公理化的目的,就是把......
【正】 近几年来,围绕我国高等院校逻辑教学问题,逻辑界的同志提出不少改革方案,进行了有益的争论。笔者不揣冒昧,结合教学实践,也......
一、概述 在数学基础研究中,形式主义学派的代表Hilbert认为:数学的真实性必须且只须建立在其公理系统的无矛盾性上,而这公理系统......
文章先讨论了数学的研究方法和数学分析所基于的公理系统,其次给出了有理指数乘幂的性质的证明.......
文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term ......
关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规......
为采用定理证明的方法对并发及交互式系统进行验证，研究了有穷论域下有穷时间一阶投影时序逻辑（projection temporal logic，简称PTL）的......
提出具有模态词□φ=□1φ∨□2φ的命题模态逻辑，给出其语言、语法与语义，其公理化系统是可靠与完备的，其中，□1与□2是给定的模态词．......
敌友逻辑(van der Hoek, et al., 2018)采用结构平衡理论的视角对社会网络的动态变化进行了刻画。在一个稳定的社会网络中,主体之......
在哲学范畴里研究相对论,针对相对论产生的严重困难--哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相......
面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象......
本文简要介绍了牛顿的生平及其代表作《自然哲学的数学原理》。从物理学、科学哲学和科学史的角度探讨了牛顿力学的形成与发展、牛......
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系......
MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言．为了证明区间时序逻辑程序的正确性，提出了MSVL语言的一个公理......
粗糙集公理化是粗糙集理论研究的一个重要部分,其目的是用可靠且独立的公理组对粗糙集理论进行刻画,从而可以用逻辑和公理系统方法......
经典逻辑是建立在封闭世界预设的基础上的，但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给......
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数....
中国经济生活之所以在数量型发展阶段易于成功，而在质量转型升级方面困难重重，同东方顿悟式思维逻辑和成功模式有关；两者实际上在形态......
