可数逼近偏序集相关论文
Domain理论属于理论计算机科学的重要内容之一,其目的是为程序语言的语义学奠定数学基础,是计算机科学与数学研究工作者共同感兴趣......
Domain理论属于理论计算机科学的重要内容之一，其目的是为程序语言的语义学奠定数学基础，是计算机科学与数学研宄工作者共同感兴趣的......
无论从计算机科学和纯数学方面，Domain理论研究的一个重要方面是尽可能地将连续格(Domain)理论推广到更为一般的偏序结构上去.本文......
可数逼近偏序集是连续偏序集的一种推广，讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质，结果表明：可数逼近偏序集具有......
讨论可数定向偏序集P上的Cσ（P）的一些性质。主要结果有：（1）每个Cσ（P）都是可数C-连续的;（2）完备格M与Cσ（其中P是可数定向完备半格）同构当且......
