第一章 基本概念

1 字母、字母表与字

2 首尾与出现

3 替换与代入

4 独立系及转换

5 映照

第二章 演算与算法

1 演算

2 算法

3 等价与嵌入

4 规则与字母表的化归

5 文法与语言

6 机器算法

7 关于机器的一些讨论

8 演算与算法的应用

第三章 算法的合成与嵌入

1 换中算法的例子

2 首尾算法的例子

3 机器算法的例子

4 算法的典型化

5 算法的合成(上)

6 算法的合成(下)

7 各种算法集的互相等价互相嵌入

8 关于算法的各种约定

9 通用算法

第四章 演算的合成与嵌入

1 一些特殊的演算

2 演算的嵌入

3 组合演算化归为换中演算

4 演算与算法的互相嵌入

5 通用演算

6 演算间的各种对应关系

7 与演算有关的集合

8 演算的合成

第五章 判定问题以及与递归函数的关系

1 可判性与半可判性

2 可判定性的初步性质

3 在孤一字母表中的可判定性

4 一般字母表中有关算法的判定

5 一般字母表中有关演算的判定(上)

6 一般字母表中有关演算的判定(下)

7 演算与算法化归于递归函数

8 递归函数用算法来计算

9 丘吉杜灵论题