File tree Expand file tree Collapse file tree 23 files changed +181
-0
lines changed
Expand file tree Collapse file tree 23 files changed +181
-0
lines changed Original file line number Diff line number Diff line change 1+ # Week1
2+
3+ ## 课程结构
4+
5+ 计算导论
6+
7+ - 计算机的基本原理
8+ - 计算机的发展趋势
9+ - 程序运行的基本原理
10+
11+ C程序设计
12+
13+ - 感性认识C程序
14+ - 理性认识C程序
15+ - 结构化的程序——函数
16+ - 更多的数据结构
17+
18+ ## 计算机的基本原理
19+
20+ 三大数学危机
21+
22+ - 一切数均可表成整数或整数之比(引入无理数)
23+ - 微积分的无穷小(引入极限与实数理论)
24+ - 集合论的罗素悖论(哥德尔不完备性定理,说明数学彻底形式化是不可能的)
25+
26+ 可计算问题
27+
28+ - 定义:设函数f的定义域是D,值域是R,如果存在一种算法,对D中任意给定的x,都能计算出f(x)的值,则称函数f是可计算的
29+ - 研究思路:为计算建立一个数学模型,然后证明,凡是这个计算模型能够完成的任务,就是可计算的任务
30+
31+ ## 图灵机的基本构成
32+
33+ ![ img] ( http://wiki.swarma.net/images/8/87/Screen_Shot_2015-12-02_at_5.35.46_PM.png )
34+
35+ ### 图灵机的构成
36+
37+ - 一条存储带
38+ - 双向无限延长
39+ - 上有一个个小方格
40+ - 每个小方格存储一个数字/字母
41+ - 一个控制器
42+ - 包含一个读写头
43+ - 可以接受设定好的程序语句
44+ - 可以存储当前自身的状态
45+ - 可以变换自身的状态
46+ - 可以沿存储带移动
47+
48+ ### 运作机理
49+
50+ 1 . 准备
51+ 1 . 存储带上符号初始化
52+ 2 . 控制器设置好自身当前状态
53+ 3 . 控制器置于起始位置
54+ 4 . 准备好工作程序
55+ 2 . 反复执行以下工作直到停机
56+ 1 . 读写头读出存储带上当前方格中的字母/数字
57+ 2 . 根据自身当前状态和所读到的字符,找到相应的程序语句
58+ 3 . 根据相应程序语句,执行
59+ 1 . 在当前存储带方格上写入一个相应的字母/数字
60+ 2 . 变更自身状态
61+ 3 . 读写头向左或向右移一步
62+
63+ ### 示例
64+
65+ 图灵机实现加法
66+
67+ ![ img] ( /img/1.png )
68+
69+ ![ img] ( /img/2.png )
70+
71+ ![ img] ( /img/3.png )
72+
73+ 停机表示计算完毕,表示当前存储带上保留的就是计算结果!
74+
75+ 对于一个问题的输入A,如果能找到一个图灵机,得出对应的符号序列B,那么从A到B就是可计算的,否则不可计算。
76+
77+ ### 意义
78+
79+ 图灵机三大特性:简单,强大,可实现
80+
81+ 意义
82+
83+ - ** 可计算性的判定**
84+ - 给出了一个可实现的通用计算模型
85+ - 引入了通过“读写符号”和“改变状态”进行运算的思想
86+ - 证实了基于简单字母表完成复杂运算的能力
87+ - 引入了存储区、程序、控制器等概念的原型
88+
89+ ## 数的二进制表示
90+
91+ ![ img] ( /img/4.png )
92+
93+ ## 二进制的布尔运算
94+
95+ 布尔代数
96+
97+ - 基本逻辑运算:与、或、非
98+ - 复合逻辑运算:同或、异或、与非、或非、与或非
99+
100+ ![ img] ( /img/5.png )
101+
102+ 加法运算
103+
104+ - 本位:异或
105+ - 进位:与
106+
107+ 半加器
108+
109+ ![ img] ( /img/6.png )
110+
111+ 全加器
112+
113+ ![ img] ( /img/7.png )
114+
115+ 以上简单的布尔运算都可通过电路实现!
Original file line number Diff line number Diff line change 1+ # Week2
2+
3+ ### 历史上的计算设备
4+
5+ ![ img] ( /img/8.png )
6+
7+ 差分机
8+
9+ ![ img] ( /img/10.png )
10+
11+ 制表机
12+
13+ ![ img] ( /img/11.png )
14+
15+ 第一台电子计算机:ENIAC
16+
17+ EDVAC是世界上第一台存储程序计算机,是所有现代计算机的原型和范本
18+
19+ ### 从电子管到云计算
20+
21+ ![ img] ( /img/12.png )
22+
23+ ![ img] ( /img/13.png )
24+
25+ ![ img] ( /img/14.png )
26+
27+ ![ img] ( /img/15.png )
28+
29+ ![ img] ( /img/16.png )
30+
31+ ![ img] ( /img/17.png )
32+
33+ ![ img] ( /img/18.png )
34+
35+ ![ img] ( /img/19.png )
36+
37+ 新型计算模式——云计算
38+
39+ ### 未来的计算——从摩尔定律到量子计算机
40+
41+ 过去计算机发展的规律:摩尔定律
42+
43+ 摩尔定律下的苦难
44+
45+ - ** 散热**
46+ - 晶体管大小限制
47+ - 电泄露
48+
49+ #### 量子计算机的基本原理
50+
51+ ![ img] ( /img/20.png )
52+
53+ 经典计算:
54+
55+ - 一个比特某一时刻只能保持一种状态(e.g. 0/1)
56+ - n比特存储$2^n$个数中的一个
57+ - 接受一个输入数据,完成一次运算,输出一个结果
58+
59+ 量子计算:
60+
61+ - 一个量子比特可以同时保持多种状态
62+ - n比特同时存储$2^n$个数
63+ - 同时接受$2^n$个输入数据,同时完成$2^n$次运算,输出$2^n$个结果
64+
65+ ![ img] ( /img/21.png )
66+
You can’t perform that action at this time.
0 commit comments