| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 符号 | 第10页 |
| 第1章 绪论 | 第10-14页 |
| ·课题的研究意义及发展概况 | 第10-12页 |
| ·本文主要工作及创新点 | 第12-14页 |
| 第2章 逻辑信息结构 | 第14-25页 |
| ·Domain、信息系统、形式Context | 第14-18页 |
| ·并半格的理想 | 第18-19页 |
| ·逻辑信息结构 | 第19-25页 |
| 第3章 信息系统与信息Domain | 第25-39页 |
| ·拟信息系统与信息Domain | 第25-33页 |
| ·尾关系和点 | 第33-39页 |
| 第4章 偏序集的代数完备 | 第39-50页 |
| ·代数完备 | 第39-46页 |
| ·单调映射的扩张 | 第46-50页 |
| 第5章 FSB-偏序集的Cartesian闭范畴 | 第50-62页 |
| ·△-理想空间 | 第50-54页 |
| ·有上界的偏序集 | 第54-62页 |
| 第6章 群的Domain模型 | 第62-73页 |
| ·群上的循环群拓扑 | 第62-66页 |
| ·群上的连续偏序结构 | 第66-73页 |
| 结论 | 第73-74页 |
| 参考文献 | 第74-81页 |
| 致谢 | 第81-82页 |
| 附录 攻读博士学位期间完成和发表论文目录 | 第82页 |