伽罗瓦联络相关论文
Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位......
本文研究了拓扑空间上的连续映射扩充的问题.利用格论方法,获得了值域为局部紧Hausdorff空间的连续映射从稠密子空间连续扩充到整个......