“2013级--学期安排 (第一学期)”的版本间的差异
来自问题求解
| 第424行： | 第424行： | ||
</td> | </td> | ||
</tr> | </tr> | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
<td>寒假自学</td> | <td>寒假自学</td> | ||
<td>1-15：问题的难度</td> | <td>1-15：问题的难度</td> | ||
2014年2月18日 (二) 16:00的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
注意：程序设计能力要求贯穿于整个课程，不再单列。
指定教材
- 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: 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.30--10.4 | 1-1：为什么计算机能解题 |
|
|
|
|
|
| 10.7--10.11 | 1-2(1)：什么样的推理是正确的 |
|
|
|
|
|
| 10.14--10.18 | 1-2(2)：什么样的推理是正确的 |
|
|
|
|
|
| 10.21--10.25 | 1-3：常用的证明方法 |
|
|
|
|
|
| 10.28--11.1 | 1-4：基本的算法结构 |
|
|
|
|
|
| 11.4--11.8 | 1-5：数据与数据结构 |
|
|
|
|
|
| 11.11--11.15 | 1-6：如何将算法告诉计算机 |
|
|
|
|
|
| 11.18--11.22 | 1-7：不同的程序设计方法 |
|
|
|
|
|
| 12.2--12.6 | 1-8：集合及其运算 |
|
|
|
|
|
| 11.26--11.30 | 1-9：关系及其基本性质 |
|
|
|
|
|
| 12.3--12.7 | 1-10：函数 |
|
|
|
|
|
| 12.24--12.28 | 1-13：有限与无限 |
|
|
|
|
|
寒假自学 | 1-15：问题的难度 |
|
|
|
|
</tr>
| 寒假自学 | 1-16：基本计算模型与不可计算性 |
|
|
|||
| 寒假自学 | 1-17：并行与并发 |
|
|
|||
| 寒假自学 | 1-18：模算术与费马小定理 |
|
|
