麻省理工18年春软件构造课程阅读01“静态检查” 1
需积分: 0 57 浏览量
2022-08-03
13:01:49
上传
评论
收藏 744KB PDF 举报
本
⽂
内
容
来
⾃
MIT_6.031_sp18: Software Construction
课
程
的
Readings
部
分
，
采
⽤
CC BY-SA 4.0
协
议
。
由
于
我
们
学
校
（
哈
⼯
⼤
）
⼤
⼆
软
件
构
造
课
程
的
⼤
部
分
素
材
取
⾃
此
，
也
是
推
荐
的
阅
读
材
料
之⼀
，
于
是
打
算
做
⼀
些
翻
译
⼯
作
，
⾃
⼰
学
习
的
同
时
也
能
帮
到
⼀
些
懒
得
看
英
⽂
的
朋
友
。
另
外
，
该课
程
的
阅
读
资
料
中
有
许
多
练
习
题
，
但
是
没
有
标
准
答
案
，
所
给
出
的
答
案
均
为
译
者
所
写
，
有
错
误
的
地
⽅
还
请
指
出
。
译
者
：
李
秋
豪
王
⼀
航
审
校
：
李
秋
豪
V1.0 Thu Mar 1 00:49:04 CST 2018
Reading 1:
静
态
检
查
今
天
课
程
的⽬
标
：
学
习
静
态
类
型
了
解
好
的
软
件
应
该
具
有
的
三个
属
性
冰
雹
序
列
作
为⼀个
运
⾏
⽰
例
，
我
们
先
来
了
解
⼀下
“
冰
雹
序
列
”
，
它
是
这
样
定
义
的
：
从
正
整数
n
开
始
，
如
果
n
是
偶
数
，
则
下⼀个
数
是
n/2
，
否
则
下⼀个
数
是
3n+1
，
直
到
n
等
于
1
。
这
⾥
有
⼏
个
例
⼦
：
由
于
存
在
3n+1
这
种
变
化
，
所
以
序
列
元
素
的
⼤
⼩
可
能
会
忽
⾼
忽
低
——
这
也
是
“
冰
雹
序
列
”
名
称
的
来
历
，
冰
雹
在
落
地
前
会
在
云
层
中
忽
上
忽
下
。
那
么
所
有
的
序
列
都
会
最
终
“
落
地
”
变
到
1
吗
？（
这
个
猜
想
称
为
考
拉
兹
猜
想
，
现
在
还
没
有
⼀个
好
的
解
决
⽅
法
。
）
计
算
冰
雹
序
列
为
了
计
算
冰
雹
序
列
⾥
的
元
素
，
我
们
可
以
在
java
和
python
中
分别
这
样
写
：
2, 1
3, 10, 5, 16, 8, 4, 2, 1
4, 2, 1
2n, 2n-1 , … , 4, 2, 1
5, 16, 8, 4, 2, 1
7, 22, 11, 34, 17, 52, 26, 13, 40, …? (
会
停
⽌
吗
？
)
剩余12页未读，继续阅读
番皂泡
- 粉丝: 21
- 资源: 320
最新资源
- chromedriver-linux64.zip 是一个用于在 Linux 系统上运行 Chrome 浏览器的驱动程序
- 基于Python和PyTorch框架完成的一个手写数字识别实验源码(带MINIST手写数字数据集)+详细注释(高分项目)
- 基于Matlab在MNIST数据集上利用CNN完成手写体数字识别任务，并实现单层CNN反向传播算法+源代码+文档说明(高分项目)
- NVIDIA驱动、CUDA和Pytorch及其依赖
- html动态爱心代码一（附源码）
- c40539bc-071a-486c-9d52-9d0c18d62dac 4.html
- 基于物理的非视域成像（NLOS）算法，利用了nerf+python源码+文档说明
- yuluer知更鸟.7z(1).001
- python课程设计-基于tensorflow实现的图文生成程序，数据集flickr30k-images+源代码+文档说明+截图
- python作业-基于Flickr30k数据集实现图像文本跨模态搜索python源码+数据集+测试界面+项目说明(高分课程设计)
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论0