公理化系统相关论文
如何探索建构孙中山先生之思维逻辑公理化系统，首先基於人类认识的模型作为研究与对话的共同基础，在此基础上研究孙学各主要层面：在思......
该文对π-演算和χ-演算上的弱互模拟同余关系的公理化系统进行了系统、深入的研究,主要的贡献有以下五个方面:1.对带不等名测试算......
程序语言有两类:一类是函数语言,一类是并发语言.相应的计算模型也可以分为两类,顺序计算模型和并发计算模型Pict是一种基于π-演......
该文的主要研究内容和成果包括:1.非对称χ-演算的语法和语义 定义了非对称χ-演算的语法和语义:在语法上,给出了一组算子用以构造......
在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了1......
本文从集合论的概念入手，引入了朴素集合论中的著名悖论，从数学的哲学分析，阐明了集合论的两个发展方向－公理化及模糊化处理。......
更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Vel......
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统N和公理化系统AxI的基础上，文章详细证明了系统AxI中的演绎定理，指出系统N与系统Ax......
采用系统分析法,定义并分析了广义满意度、满意序、满意标准、满意解等基本概念.通过对广义满意度原理公理化系统的构造,分析了广......
【正】 《珠数学》一书印数较少,各地新华书店很难买到。本刊1996年1期刊登《珠数学》初评一文后,引起珠算界一些同志的兴味,来信......
本文从促进劳动工具制造、象形文字产生、绘画艺术繁荣、提供学科公理化形式范例、导致思想变革等几个方面论述了几何学的特别功能......
<正> 1931年,有一位二十五岁的奥地利数理逻辑学家发表了一篇论文:《论〈数学原理〉及其相关系统的形式不可判定命题》。这篇长仅......
首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次，在引入两个新的运算算子的基础上，进一......
本文引用一个简单的语言说明如何验证一个程序的正确性，并且给出一个实例来进行验证，并指明了今后的研究方向。......
<正> 随着我国教育事业的发展及科学技术的突飞猛进,编写好《概率统计》教材以适应形势的发展已经提到议事日程上来了,其中一个有......
