关于作者
联系作者
Introduction to Models of Computation
课程简介
第一章 递归函数
习题1.1
习题1.2
习题1.3
习题1.4
习题1.5
习题1.6
习题1.7
习题1.8
习题1.9
习题1.10
习题1.11
习题1.12
习题1.13
习题1.14
习题1.15
习题1.16
习题1.17
习题1.18
习题1.19
习题1.20
习题1.21
习题1.22
习题1.23
习题1.24
习题1.25
第三章 λ-演算
习题3.1
习题3.2
习题3.3
习题3.4
习题3.5
习题3.6
习题3.7
习题3.8
习题3.9
习题3.10
习题3.11
习题3.12
习题3.13
习题3.14
Powered by
GitBook
习题3.1
3.1
证明括号引理:对于任何
M
∈
Λ
M \in \Lambda
M
∈
Λ
,在
M
M
M
中出现的左括号的个数等于在
M
M
M
中出现的右括号的个数。
证明
数学归纳法