| 中文摘要 | 第4-6页 |
| 英文摘要 | 第6-7页 |
| 第一章 绪论 | 第9-13页 |
| §1.1 问题的背景和意义 | 第9-11页 |
| §1.2 论文安排及主要成果 | 第11-12页 |
| §1.3 论文创新点 | 第12-13页 |
| 第二章 预备知识 | 第13-17页 |
| §2.1 R_0 代数的相关理论 | 第13-17页 |
| 第三章 R_0 代数上的monadic算子 | 第17-31页 |
| §3.1 R_0 代数上的monadic算子 | 第17-22页 |
| §3.2 Monadic R_0 代数上的monadic滤子 | 第22-26页 |
| §3.3 Monadi R_0 代数上的monadic同余 | 第26-31页 |
| 第四章 R_0 代数上的state算子 | 第31-47页 |
| §4.1 R_0 代数上的state算子 | 第31-34页 |
| §4.2 State R_0 代数上的state滤子 | 第34-37页 |
| §4.3 State local R_0 代数 | 第37-43页 |
| §4.4 R_0 代数上的monadic算子和state算子之间的关系 | 第43-47页 |
| 总结与展望 | 第47-48页 |
| 参考文献 | 第48-52页 |
| 攻读硕士学位期间取得的科研成果 | 第52-53页 |
| 致谢 | 第53页 |