【摘要】本文给出了两类上近似算子是闭包算子时覆盖的刻画,部分地回答了论文[7]中公开提出的有关上近似算子是拓扑算子时覆盖的刻画问题.主要结果如下:定理3.1.1对覆盖近似空间(U,C),上近似算子C4是闭包算子的充要条件是对任意的x,y∈U,若存在C∈C,使得x∈C且y∈/C,则存在C′∈C,使得y∈C′且x∈/C′.定理3.1.2对覆盖近似空间(U,C),C4为闭包算子的充要条件是以C为次基在U […]

【摘要】在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心,起着举足轻重的作用.它以数学为工具,运用符号和公式,并借助函数式程序语言严格地解释了程序设计的语义.自从上世纪70年代D.S.Scott和A.Ers-hov的开创性工作以来,由于其丰富的拓扑和序结构,以及与计算实践的紧密联系,受到计算机科学与数学领域内诸多学者的密切关注.量化Domain理论是Domain理 […]