公理化系统相关论文
程序语言有两类:一类是函数语言,一类是并发语言.相应的计算模型也可以分为两类,顺序计算模型和并发计算模型Pict是一种基于π-演......
该文的主要研究内容和成果包括:1.非对称χ-演算的语法和语义 定义了非对称χ-演算的语法和语义:在语法上,给出了一组算子用以构造......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了1......
采用系统分析法,定义并分析了广义满意度、满意序、满意标准、满意解等基本概念.通过对广义满意度原理公理化系统的构造,分析了广......
首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次，在引入两个新的运算算子的基础上，进一......
<正> 随着我国教育事业的发展及科学技术的突飞猛进,编写好《概率统计》教材以适应形势的发展已经提到议事日程上来了,其中一个有......
