“2012级--学期安排 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第104行： | 第104行： | ||
<li>WS第2章PP14</li> | <li>WS第2章PP14</li> | ||
<li>WS第3章PP1</li> | <li>WS第3章PP1</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | </tr> | ||
| + | <tr> | ||
| + | <td>10.22--10.26</td> | ||
| + | <td>1-4：基本的算法结构</td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li>理解基本的算法结构：顺序、分支、循环、子程序、递归</li> | ||
| + | <li>理解程序最基本单元的正确性概念</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li>DH第2章第1、2单元</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li>基本结构的组合方式及其正确性</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li>WS第3章PP10</li> | ||
| + | <li>WS第3章PP11</li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
2012年9月24日 (一) 12:23的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
注意：程序设计能力要求贯穿于整个课程，不再单列。
指定教材
- 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：基本的算法结构 |
|
|
|
|
