摘要 | 第1页 |
关键词 | 第5-6页 |
Abstract | 第6页 |
Key words | 第6-7页 |
1 引言 | 第7-9页 |
2 预备知识 | 第9-14页 |
·格与Domain理论的基本知识 | 第9-10页 |
·R-偏序集中的基本概念与记号 | 第10-14页 |
3 R-偏序集上的cpo,代数cpo与连续cpo | 第14-18页 |
·R-偏序集上的格与cpo | 第14-16页 |
·R-偏序集上的代数cpo和连续cpo | 第16-18页 |
4 R-偏序集上的Scott不动点 | 第18-20页 |
·Scott不动点定理回顾 | 第18页 |
·不动点同一性定理 | 第18页 |
·不动点逼近定理 | 第18-20页 |
5 R-偏序集上Scott拓扑的比较 | 第20-23页 |
·主要结果及其证明 | 第20-21页 |
·应用 | 第21-23页 |
6 参考文献 | 第23-24页 |
7 致谢 | 第24-25页 |