| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 第一章 引言 | 第7-9页 |
| 第二章 Type-2 Theory of Effectivity | 第9-16页 |
| ·康托空间上的可讨算性 | 第9-12页 |
| ·命名系统 | 第12-15页 |
| ·命名系统及其诱导的可计算性 | 第12-14页 |
| ·可计算度量空间的命名 | 第14-15页 |
| ·Admissible命名系统 | 第15-16页 |
| 第三章 计算复杂性 | 第16-29页 |
| ·康托空间上的计算复杂性 | 第16-19页 |
| ·R中的复杂性 | 第19-24页 |
| ·实空间的命名系统以及复杂度的定义 | 第19-22页 |
| ·一些实函数的复杂度 | 第22-24页 |
| ·可计算度量空间上的复杂性 | 第24-29页 |
| ·可计算度量空间中紧集的表示 | 第24-25页 |
| ·proper admissible representation | 第25-26页 |
| ·Time和Lookahead | 第26-29页 |
| 第四章 康托空间中紧集上的计算复杂性 | 第29-34页 |
| 参考文献 | 第34-37页 |
| 致谢 | 第37-38页 |