连续格相关论文
自Turing奖得主Scott发现连续格以来,许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格,其内部结构......
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
自从19世纪七十年代连续格与代数格被发现以后，连续格理论便成为了极为活跃的研究领域，对连续格理论的拓展也逐渐加深.半素理想是Y. ......
完备格上的附加关系在连续格的研究中起着非常重要的作用.首先，基于完备格上的附加关系，本文将附加关系推广到定向完备偏序集中，并在......
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等......
在Domain理论、粗糙集理论和模态逻辑的研究中，序结构、拓扑结构和代数结构是相互渗透和相互影响的.特别地,由于在Domain理论中，拓扑......
