中文摘要 | 第1-5页 |
Abstract | 第5-7页 |
目录 | 第7-9页 |
引言 | 第9-13页 |
第一章 预备知识 | 第13-21页 |
·拓扑空间 | 第13-15页 |
·序与格 | 第15-17页 |
·Domain理论 | 第17-21页 |
第二章 QFS-domain及其Lawson紧性 | 第21-37页 |
·本章预备 | 第21-23页 |
·QFS-domain | 第23-29页 |
·M~*性质和QFS-domain的Lawson紧性 | 第29-33页 |
·一些特殊的QFS-domain | 第33-37页 |
第三章 半连续dcpo其内蕴拓扑 | 第37-45页 |
·本章预备 | 第37-38页 |
·半连续dcpo | 第38-40页 |
·半Scott拓扑和半Lawson拓扑 | 第40-42页 |
·半连续映射 | 第42-45页 |
第四章 自然偏序集及其自然连续性 | 第45-53页 |
·本章预备 | 第45-46页 |
·自然连续性 | 第46-49页 |
·自然Scott收敛 | 第49-53页 |
第五章 粗糙集中的特殊元和序结构 | 第53-69页 |
·本章预备 | 第53-54页 |
·R中的完全紧元和原子 | 第54-58页 |
·概率近似空间与粗糙关系函数 | 第58-61页 |
·概率近似算子 | 第61-64页 |
·概率粗糙集的格结构 | 第64-69页 |
第六章 模态逻辑系统的有限拓扑模型 | 第69-79页 |
·本章预备 | 第69-71页 |
·系统S4和S5的有限模型 | 第71-73页 |
·系统S4和S5的有限拓扑模型 | 第73-79页 |
参考文献 | 第79-84页 |
发表文章目录 | 第84-85页 |
致谢 | 第85-86页 |