| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| Chapter 1 Introduction | 第7-13页 |
| ·Overview | 第7页 |
| ·Motivation | 第7-8页 |
| ·Computable Analysis | 第8页 |
| ·Type-2 Theory of Effectivity | 第8-13页 |
| ·Type-2 Turing machine | 第9-11页 |
| ·Naming system | 第11-13页 |
| Chapter 2 Preliminaries | 第13-16页 |
| ·Multi-representation | 第14-15页 |
| ·Canonical notations and representations | 第15-16页 |
| Chapter 3 Element Computable Topology | 第16-23页 |
| ·Computable topological spaces | 第16-19页 |
| ·The robustness property | 第19-20页 |
| ·Continuous functions | 第20-21页 |
| ·Examples of computable operators | 第21-23页 |
| Chapter 4 Computable Separation in Topology | 第23-30页 |
| ·Axioms for computable separation | 第23-25页 |
| ·Relations between axioms | 第25-27页 |
| ·Functional separation property | 第27-30页 |
| References | 第30-32页 |
| Acknowledgements | 第32-33页 |
