第二章 可计算函数 1 1、原语言 1 2、可计算函数 1 第三章 递归函数 3 1、算子 3 2、原始递归函数 3 3、原始递归谓词 3 4、受囿取极小 4 5、递归与可计算性 5 习 题 5 第四章 POST-TURING程序和TURING机 8 1、P-T程序 8 2、Turing机 9 3、P-T程序编码 10 4、一些定理 10 习 题 11