“2012级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
|||
第52行: | 第52行: | ||
<td> | <td> | ||
<ul> | <ul> | ||
− | <li> | + | <li>UD第1章问题2、3、4、5、6、8</li> |
<li>UD第27章项目1</li> | <li>UD第27章项目1</li> | ||
</ul> | </ul> |
2012年9月25日 (二) 10:14的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
注意:程序设计能力要求贯穿于整个课程,不再单列。
指定教材
- DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理)
- UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 1st ed. Springer, 2003
- WS: Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008
推荐课外读物
- Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | 编程任务 |
---|---|---|---|---|---|---|
9.24--9.28 | 1-1:为什么计算机能解题 |
|
|
|
|
|
10.8--10.12 | 1-2:什么样的推理是正确的 |
|
|
|
|
|
10.15--10.19 | 1-3:常用的证明方法 |
|
|
|
|
|
10.22--10.26 | 1-4:基本的算法结构 |
|
|
|
|
|
10.29--11.2 | 1-5:数据与数据结构 |
|
|
|
|
|
11.5--11.9 | 1-6:算法的描述 |
|
|
|
|
|
11.12--11.16 | 1-7:不同的程序设计方法 |
|
|
|
|
|
11.19--11.23 | 1-8:集合及其运算 |
|
|
|
|
|
11.26--11.30 | 1-9:关系及其基本性质 |
|
|
|
|
|
12.3--12.7 | 1-10:函数 |
|
|
|
|
|
12.10--12.14 | 1-11:算法方法 |
|
|
|
|
|
12.17--12.21 | 1-12:算法正确性 |
|
|
|
|
|
12.24--12.28 | 1-13:有限与无限 |
|
|
|
|
|
12.31--1.4 | 1-14:算法的效率 |
|
|
|
|
|
1.7--1.11 | 1-15:问题的难度 |
|
|
|
|
|
寒假自学 | 基本计算模型与不可计算性 |
|
|
|||
寒假自学 | 并行与并发 |
|
|
|||
寒假自学 | 模算术与费马小定理 |
|
|