“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 |
|
|
|
|
|