S-拓扑相关论文
Domain理论由D.Scott在20世纪70年代初建立,其目的是为计算机程序设计语言的指称语义学提供数学模型.其中序与拓扑的相互作用,相互......
本文在完备格上引入—个新的拓扑S-拓扑。进一步讨论了S-拓扑的一些性质以及S-拓扑与Scott拓扑和Lawson拓扑之间的联系和区别,在此......
应用非标准方法研究由内集E上的超实度量d所导出的Q-拓扑与S-拓扑,给出这两种拓扑的一些重要性质:(E,Q)是完全不连通的且其紧子集都是......