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