| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 第一章 绪论 | 第8-12页 |
| ·可计算理论的发展历史 | 第8-9页 |
| ·图灵机和TTE简介 | 第9-11页 |
| ·本课题研究的主要内容和意义 | 第11-12页 |
| 第二章 预备知识 | 第12-23页 |
| ·基本概念 | 第12-15页 |
| ·常见空间的可计算结构 | 第15-23页 |
| 第三章 组合KdV方程解算子的可计算性 | 第23-32页 |
| ·解的有界性 | 第23-27页 |
| ·解算子的可计算性 | 第27-32页 |
| 第四章 四阶非线性薛定谔方程解算子的可计算性 | 第32-42页 |
| ·解的分析性质 | 第32-35页 |
| ·解的图灵可计算性 | 第35-42页 |
| 第五章 实矩阵的可计算性 | 第42-48页 |
| ·矩阵的表示 | 第42-43页 |
| ·矩阵的可计算性 | 第43-48页 |
| 结束语 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-54页 |
| 硕士在读期间发表的论文 | 第54页 |