跳转至

计算模型导引 1.4-1.5

计算模型导引

介绍
第一章
第一章
- 递归函数总览
- 第一章证明
  第一章证明
  - 1.1-1.2
  - 1.3
  - 1.4-1.5
- 第一章习题
  第一章习题
  - 1-12
  - 13-20
  - 21-25
第三章
第三章
- λ-演算
- 第三章习题
  第三章习题
  - 1-11
  - 12-18
  - 19-25
第五章
第五章
- Turing 机
- 第五章习题
  第五章习题
  - 1-7
  - 8-14
  - 15-20
杂谈
杂谈

第一章证明（1.4-1.5）¶