GoL1系统的空间复杂性分析
| 摘要 | 第8-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 引言 | 第12-15页 |
| 1.1 研究背景 | 第12-13页 |
| 1.2 研究意义 | 第13页 |
| 1.3 本文的组织结构 | 第13-14页 |
| 1.4 本章小结 | 第14-15页 |
| 第二章 可计算性逻辑基础 | 第15-28页 |
| 2.1 基本概念 | 第15-16页 |
| 2.2 博弈的形象化表示 | 第16-19页 |
| 2.3 CoL1的逻辑运算 | 第19-25页 |
| 2.3.1 CoL运算符简介 | 第19-23页 |
| 2.3.2 CoL1的逻辑运算实例 | 第23-25页 |
| 2.4 交互计算模型 | 第25-27页 |
| 2.4.1 HPM | 第25-26页 |
| 2.4.2 EPM | 第26-27页 |
| 2.5 本章小结 | 第27-28页 |
| 第三章 CoL1 | 第28-34页 |
| 3.1 CoL1的逻辑基础 | 第28页 |
| 3.2 CoL1系统 | 第28-30页 |
| 3.3 CoL1的可靠性及完备性 | 第30-32页 |
| 3.4 CoL1中的定理介绍 | 第32-33页 |
| 3.5 本章小结 | 第33-34页 |
| 第四章 CoL1的复杂性分析 | 第34-48页 |
| 4.1 CoL1的可判定性 | 第34-37页 |
| 4.2 CoL1的空间复杂性 | 第37-47页 |
| 4.2.1 无量词的布尔公式 | 第37-43页 |
| 4.2.2 有量词的布尔公式 | 第43-47页 |
| 4.3 本章小结 | 第47-48页 |
| 第五章 总结与展望 | 第48-50页 |
| 5.1 总结 | 第48页 |
| 5.2 展望 | 第48-50页 |
| 参考文献 | 第50-52页 |
| 致谢 | 第52-53页 |
| 攻读硕士期间发表的学术论文目录 | 第53-54页 |
| 学位论文评阅及答辩情况表 | 第54页 |
