特黄三级爱爱视频|国产1区2区强奸|舌L子伦熟妇aV|日韩美腿激情一区|6月丁香综合久久|一级毛片免费试看|在线黄色电影免费|国产主播自拍一区|99精品热爱视频|亚洲黄色先锋一区

序列擬連續(xù)domain的廣義有界理想

  • 打印
  • 收藏
收藏成功


打開文本圖片集

摘 要：domain理論是計算機程序語言的理論基礎(chǔ)，為計算機函數(shù)式程序提供了數(shù)學(xué)模型。擬連續(xù)domain是domain理論的重要推廣。本文以鏈為主要研究對象，對一般的擬連續(xù)domain進行了推廣，定義了序列擬連續(xù)domain、序列擬基及其廣義有界理想，并證明了序列擬基可以嵌入到其廣義有界理想中。同時，本文指出廣義有界理想的集合是序列擬連續(xù)domain。（剩余7275字）

monitor