摘要随着计算机科学的迅速发展,关于计算机科学的数学基础研究越来越受到人们的重视,已成为数学和计算机科学研究者共同关注的领域......

Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一......

自Turing奖得主Scott发现连续格以来,许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格,其内部结构......

偏序集理论在数学、逻辑与计算机科学等相关学科的研究中占有十分重要的地位,受到了国内外学者的广泛关注,并已发展成为了一个较为......

产生于上个世纪70年代初的Domain理论和80年代的Quantale理论是格上拓扑学的两个重要分支,它们各自独立发展,但从共同的数学基础来......

上世纪70年代初产生的Domain理论是理论计算机科学中程序设计语言指称语义学的数学基础,具有理论计算机科学和纯粹数学的双重研究......

Quantale作为特殊的序半群,是在1986年由C.J.Mulvey提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的......

Quantale理论产生于上世纪80年代,其目的是为了给量子力学建立新的数学模型.自1990年D.NYetter揭示了Girard的线性逻辑与Quantale......

本学位论文进一步拓展模糊Domain理论，主要研究了Z-模糊半连续格，模糊半连续格及特殊元的一些性质.本学位论文全文总共有四章内容：　......

Domian理论是计算机函数式程序语言的数学基础，在理论计算科学中发挥着重要的作用，而对它的量化研究是其得到更广泛应用的基础．目前，模......

Domain理论具有理论计算机科学与纯数学的双重研究背景，它是计算机程序设计语言的指称语义学的数学基础，它与拓扑、逻辑、代数、范畴......

　　基于完备剩余格，本文在模糊完备格中，引入模糊Prime元概念。给出了模糊Prime元的等价刻画，证明了所有的模糊Prime元构成的模糊集......

主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexa......