包邮计算机模型导引

**章 递归函数§1.1 数论函数§1.2 配对函数§1.3 初等函数§1.4 原始递归函数§1.5 递归函数§1.6 结论习题第二章 算盘机§2.1 算盘机的定义§2.2 算盘机可计算函数§2.3 算盘机的计算能力习题第三章 γ演算§3.1 γ-演算的语法§3.2 转换§3.3 归约§3.4 Church-Rosser定理§3.5 不动点定理§3.6 递归函数的γ-可定义性§3.7 与递归论对应的结果习题第四章 组合逻辑§4.1 组合子的形式系统§4.2 弱归约§4.3 CL与氲亩杂习题第五章 Turi