可计算性逻辑中分支切换复用运算研究
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第1章 绪论 | 第16-26页 |
| ·课题背景与意义 | 第16-18页 |
| ·课题的研究背景 | 第16-17页 |
| ·课题的意义 | 第17-18页 |
| ·研究现状 | 第18-19页 |
| ·课题所涉及到的领域基本知识 | 第19-24页 |
| ·图灵机 | 第19-21页 |
| ·经典逻辑 | 第21-24页 |
| ·本文主要内容 | 第24-25页 |
| ·分支切换复用运算静态属性证明 | 第24页 |
| ·新版本分支切换复用运算静态属性证明 | 第24-25页 |
| ·新旧版本的运算等价性 | 第25页 |
| ·论文结构 | 第25-26页 |
| 第2章 可计算性逻辑 | 第26-38页 |
| ·可计算性逻辑介绍 | 第26-29页 |
| ·可计算性逻辑运算 | 第29-38页 |
| 第3章 分支切换复用运算的静态属性 | 第38-46页 |
| ·引言 | 第38页 |
| ·分支切换复用运算 | 第38-41页 |
| ·延迟的定义 | 第38-39页 |
| ·分支切换复用运算定义 | 第39-41页 |
| ·分支切换复用运算静态属性证明 | 第41-45页 |
| ·结论 | 第45-46页 |
| 第4章 新的分支切换复用运算 | 第46-51页 |
| ·引言 | 第46页 |
| ·新的分支切换复用运算定义 | 第46-47页 |
| ·新的分支切换复用运算静态属性证明 | 第47-50页 |
| ·结论 | 第50-51页 |
| 第5章 分支切换复用运算新旧版本的等价性 | 第51-67页 |
| ·引言 | 第51页 |
| ·交互可计算性 | 第51-57页 |
| ·难交互计算模型 | 第51-55页 |
| ·易交互计算模型 | 第55-57页 |
| ·分支切换复用运算的等价性证明 | 第57-65页 |
| ·永真性和一致永真性 | 第58-59页 |
| ·分支切换复用运算的等价性证明 | 第59-65页 |
| ·结论 | 第65-67页 |
| 第6章 结论与展望 | 第67-69页 |
| ·本文总结 | 第67-68页 |
| ·研究展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 致谢 | 第72-73页 |
| 攻读学位期间发表的学术论文目录 | 第73-74页 |
| 攻读学位期间参与科研项目情况 | 第74-75页 |
| 外文论文 | 第75-101页 |
| 学位论文评阅及答辩情况表 | 第101页 |
