Actually we could prove inductively that it holds, but how do we know it stops?
这是一种归纳型的定义,事实上我们能够归纳性地证明它?
麻省理工公开课 - 计算机科学及编程导论课程节选
应用推荐
模块上移
模块下移
不移动