| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 第一章 绪论 | 第8-12页 |
| ·可计算理论的发展历史 | 第8-11页 |
| ·本课题研究的基本内容和意义 | 第11-12页 |
| 第二章 预备知识 | 第12-25页 |
| ·图灵机简介 | 第12-13页 |
| ·基本定义和引理 | 第13-18页 |
| ·常见的可计算空间及其性质 | 第18-25页 |
| 第三章 在图灵机上计算一类Cauchy问题任意精度的解 | 第25-34页 |
| ·解的存在唯一性 | 第26-30页 |
| ·解的图灵可计算性 | 第30-34页 |
| 第四章 在图灵机上计算KdV-Burgers型方程任意精度的解 | 第34-43页 |
| ·解的存在唯一性 | 第35-38页 |
| ·解的图灵可计算性 | 第38-43页 |
| 参考文献 | 第43-47页 |
| 致谢 | 第47-48页 |
| 硕士在读期间发表的论文 | 第48页 |