“2012级--学期安排 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第27行： | 第27行： | ||
<th>阅读材料</th> | <th>阅读材料</th> | ||
<th>引导要点</th> | <th>引导要点</th> | ||
| + | <th>书面作业</th> | ||
<th>编程任务</th> | <th>编程任务</th> | ||
</tr> | </tr> | ||
| 第47行： | 第48行： | ||
<ul> | <ul> | ||
<li>简单操作能够解决各种复杂问题的关键是算法</li> | <li>简单操作能够解决各种复杂问题的关键是算法</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li>UD第1章2、3、4、5、6、8</li> | ||
| + | <li>UD第27章1</li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第72行： | 第79行： | ||
<li>计算机解题的关键是正确的推导</li> | <li>计算机解题的关键是正确的推导</li> | ||
<li>其正向是算法的设计，其反向是正确性证明</li> | <li>其正向是算法的设计，其反向是正确性证明</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第98行： | 第110行： | ||
<ul> | <ul> | ||
<li>为什么这些方法逻辑上是正确的</li> | <li>为什么这些方法逻辑上是正确的</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第124行： | 第141行： | ||
<ul> | <ul> | ||
<li>基本结构的组合方式及其正确性</li> | <li>基本结构的组合方式及其正确性</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第150行： | 第172行： | ||
<ul> | <ul> | ||
<li>有结构的数据对于计算以及算法设计的影响</li> | <li>有结构的数据对于计算以及算法设计的影响</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第175行： | 第202行： | ||
<ul> | <ul> | ||
<li>程序设计语言如何体现算法的基本要素与结构</li> | <li>程序设计语言如何体现算法的基本要素与结构</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第200行： | 第232行： | ||
<ul> | <ul> | ||
<li>为什么会出现不同的风范</li> | <li>为什么会出现不同的风范</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第225行： | 第262行： | ||
<ul> | <ul> | ||
<li>集合语言是形式化方法的基础，也是算法问题表述的基本手段</li> | <li>集合语言是形式化方法的基础，也是算法问题表述的基本手段</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第252行： | 第294行： | ||
<ul> | <ul> | ||
<li>对象及其相互之间的关系是所有数学建模的核心概念</li> | <li>对象及其相互之间的关系是所有数学建模的核心概念</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第277行： | 第324行： | ||
<ul> | <ul> | ||
<li>映射与计算机问题求解-从问题空间到解空间</li> | <li>映射与计算机问题求解-从问题空间到解空间</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第302行： | 第354行： | ||
<ul> | <ul> | ||
<li>理解复杂算法背后的简单原理</li> | <li>理解复杂算法背后的简单原理</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第327行： | 第384行： | ||
<ul> | <ul> | ||
<li>算法正确性证明与一般数学定理证明的异同</li> | <li>算法正确性证明与一般数学定理证明的异同</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第353行： | 第415行： | ||
<ul> | <ul> | ||
<li>如何比较无限集合的大小</li> | <li>如何比较无限集合的大小</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第378行： | 第445行： | ||
<ul> | <ul> | ||
<li>从无限与有限的角度正确理解算法复杂度</li> | <li>从无限与有限的角度正确理解算法复杂度</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第404行： | 第476行： | ||
<ul> | <ul> | ||
<li>区分问题的难度与算法的复杂性，特别是上下界的概念</li> | <li>区分问题的难度与算法的复杂性，特别是上下界的概念</li> | ||
| + | </ul> | ||
| + | </td> | ||
| + | <td> | ||
| + | <ul> | ||
| + | <li></li> | ||
</ul> | </ul> | ||
</td> | </td> | ||
| 第427行： | 第504行： | ||
</ul> | </ul> | ||
</td> | </td> | ||
| + | <td></td> | ||
<td></td> | <td></td> | ||
</tr> | </tr> | ||
| 第443行： | 第521行： | ||
</ul> | </ul> | ||
</td> | </td> | ||
| + | <td></td> | ||
<td></td> | <td></td> | ||
</tr> | </tr> | ||
| 第460行： | 第539行： | ||
</ul> | </ul> | ||
</td> | </td> | ||
| + | <td></td> | ||
<td></td> | <td></td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
2012年9月25日 (二) 10:10的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
注意：程序设计能力要求贯穿于整个课程，不再单列。
指定教材
- 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：问题的难度 |
|
|
|
|
|
| 寒假自学 | 基本计算模型与不可计算性 |
|
|
|||
| 寒假自学 | 并行与并发 |
|
|
|||
| 寒假自学 | 模算术与费马小定理 |
|
|
