摘要 | 第1-8页 |
Abstract | 第8-14页 |
引言 | 第14-22页 |
第一章 Hausdorff拓扑及Scott拓扑的对偶 | 第22-32页 |
§1.1 预备知识 | 第22-24页 |
§1.2 Hausdorff拓扑的对偶 | 第24-28页 |
§1.3 Scott拓扑的对偶 | 第28-32页 |
第二章 有限偏序集的Cartesian积的收缩 | 第32-40页 |
§2.1 预备知识 | 第32-34页 |
§2.2 Plotkin猜想的证明 | 第34-36页 |
§2.3 有限偏序集所生成空间 | 第36-40页 |
第三章 近似算子刻画与Rough集范畴 | 第40-58页 |
§3.1 预备知识 | 第40-42页 |
§3.2 近似算子刻画 | 第42-49页 |
§3.3 Rough集范畴 | 第49-58页 |
第四章 Domain的Rough概念格表示 | 第58-70页 |
§4.1 预备知识 | 第58-60页 |
§4.2 Rough概念格 | 第60-63页 |
§4.3 Domain与Rough可逼近概念格 | 第63-70页 |
参考文献 | 第70-79页 |
作者攻读博士学位期间的工作目录 | 第79-81页 |
致谢 | 第81页 |