“2017级--学期安排 (第二学期)”的版本间的差异
来自问题求解
（+ 考核方法） |
（→学习周历： - 选做） |
||
| 第53行： | 第53行： | ||
| style="width: 140px;" | | | style="width: 140px;" | | ||
* 算法正确性证明与一般数学定理证明的异同 | * 算法正确性证明与一般数学定理证明的异同 | ||
| − | | | + | | |
| − | + | * DH 第5章练习 6, 9, 10, 12 | |
| − | + | * 证明 Euclid (欧几里德) 算法的部分正确性 | |
| − | |||
| − | |||
| | | | ||
* Insertion Sort | * Insertion Sort | ||
| 第80行： | 第78行： | ||
* 从无限与有限的角度正确理解算法复杂度 | * 从无限与有限的角度正确理解算法复杂度 | ||
| | | | ||
| − | * | + | * DH 第6章练习 1, 8, 10, 13, 18 |
| − | |||
| | | | ||
|- | |- | ||
2018年3月14日 (三) 10:18的版本
基本要求
- 理解数据抽象，理解并能够应用常用的数据结构
- 掌握重要算法设计策略以及算法分析的基本方法
- 理解并能够应用支持上述内容的离散数学工具与方法
- 程序设计能力
考核方法
所有形式的考核,均不准抄袭。
- 作业 (10%)
- OJ (10%)
- Open topics (10%)
- 成绩: A (10), B (8), C (6) 三档
- 每人至少做两次
- 少做一次扣 1 分
- 不做计 0 分
- 期末: (70%)
- 机试 (20%)
- 笔试 (50%)
指定教材
- DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
- CS: Clifford Stein et al.: Discrete Mathematics for Computer Scientists, 1st ed. Addison-Wesley, 2010
- TC: Thomas Cormen et al.: Introduction to Algorithms, 3rd ed. MIT, 2009
推荐课外阅读材料
- Kenneth H. Rosen: Discrete Mathematics and Its Applications, 7th ed. McGraw-Hill, 2011
更多阅读材料将随课堂进度添加。
学习周历
| 日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | Open Topics |
|---|---|---|---|---|---|---|
| 2018-03-07 |
|
|
|
|
| |
|
2018-03-14 |
|
|
|
|
||
|
2018-03-xx |
|
|
|
|
|
