《大學生數學圖書館》叢書序
引言
第一章 可計算函數、可判定集與可數集
1.可計算函數
2.可判定集
3.可數集
4.可數集與可判定集
5.可數性與可計算性
第二章 通用函數與不可判定性
1.通用函數
2.對角構造
3.可數的不可判定集
4.可數的不可分集
5.單集：Post構造
第三章 編號與運算 《大學生數學圖書館》叢書序
引言
第一章 可計算函數、可判定集與可數集
1.可計算函數
2.可判定集
3.可數集
4.可數集與可判定集
5.可數性與可計算性
第二章 通用函數與不可判定性
1.通用函數
2.對角構造
3.可數的不可判定集
4.可數的不可分集
5.單集：Post構造
第三章 編號與運算
1.Godel通用函數
2.可計算函數的可計算序列
3.Godel通用集
第四章 Godel編號系統(tǒng)的性質
1.編號集
2.舊函數的新編號
3.Godel編號系統(tǒng)的同構
4.函數的可數性
第五章 不動點定理
1.不動點與等價關系
2.打印程序文本的程序
3.系統(tǒng)的技巧：另一個證明
4.幾點附注
第六章 m-可約性與可數集的性質
1.m-可約性
2.m-完全集
3.m-完全性與有效不可數性
4.m-完全集的同構
5.產生集
6.不可分集的對
第七章 Oracle計算
1.Oracle機
2.相對可計算性：等價描述
3.相對化
4.0'-計算
5.不可比集
6.Friedberg-Muchnik定理：構造的一般方案
7.Friedberg-Muchnik定理：勝出條件
……
第八章 算術分層
第九章 Turing機
第十章 可計算函數的算術化
第十一章 遞歸函數
參考文獻
人名表
索引