- 博客(2)
- 收藏
- 关注
翻译 哈工大软件构造阅读材料之MIT6.031(1)
阅读1:静态检查今天课程的目标今天的课程有两个主题:静态类型优秀软件的主要三个属性冰雹序列首先我们介绍一个例子:冰雹序列。它的定义如下:以数字n开始,如果n为偶数,则下一个数为n/2,否则n为奇数时,下一个数为3n+1,如此反复直到出现1为止。这里是一些例子:...
2020-02-18 20:15:34 387
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
阅读1:静态检查今天课程的目标今天的课程有两个主题:静态类型优秀软件的主要三个属性冰雹序列首先我们介绍一个例子:冰雹序列。它的定义如下:以数字n开始,如果n为偶数,则下一个数为n/2,否则n为奇数时,下一个数为3n+1,如此反复直到出现1为止。这里是一些例子:...
2020-02-18 20:15:34 387
TA创建的收藏夹 TA关注的收藏夹
TA关注的人