“2019级--学期安排 (第二学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→学习周历) |
||
第77行: | 第77行: | ||
*[[http://oj.problemoverflow.top/2019-2/2/ 布尔代数与算法正确性]] | *[[http://oj.problemoverflow.top/2019-2/2/ 布尔代数与算法正确性]] | ||
|- | |- | ||
− | | style="width: | + | | style="width: 90px;" | 2020-02-27 |
− | | | + | | style="width: 200px;" | |
* [[Media:计算机问题求解-2020-02-27-算法正确性.pptx | 2-1: 算法的正确性]] | * [[Media:计算机问题求解-2020-02-27-算法正确性.pptx | 2-1: 算法的正确性]] | ||
− | | | + | | style="width: 280px;" | |
* 理解并能够区分算法错误与程序错误 | * 理解并能够区分算法错误与程序错误 | ||
* 理解算法正确性的概念及其证明方法 | * 理解算法正确性的概念及其证明方法 | ||
| | | | ||
* DH第5章 | * DH第5章 | ||
− | | style="width: | + | | style="width: 180px;" | |
* 循环不变式 | * 循环不变式 | ||
− | | | + | | style="width: 200px;" | |
* [[Media:2-1-correctness.zip | 2-1-correctness]] | * [[Media:2-1-correctness.zip | 2-1-correctness]] | ||
− | | | + | | style="width: 200px;" | |
* [[http://oj.problemoverflow.top/2019-2/1/ 热身专题]] | * [[http://oj.problemoverflow.top/2019-2/1/ 热身专题]] | ||
|- | |- | ||
第95行: | 第95行: | ||
2020-03-05 | 2020-03-05 | ||
| | | | ||
+ | * 2-2:算法的效率 | ||
* [[Media:2019-2-2-efficiency.pdf | 2019-2-2-efficiency]] | * [[Media:2019-2-2-efficiency.pdf | 2019-2-2-efficiency]] | ||
* [[Media:2019-2-2-efficiency-handout.pdf | 2019-2-2-efficiency-handout]] | * [[Media:2019-2-2-efficiency-handout.pdf | 2019-2-2-efficiency-handout]] |
2020年3月5日 (四) 13:49的版本
基本要求
- 理解数据抽象,理解并能够应用常用的数据结构
- 掌握重要算法设计策略以及算法分析的基本方法
- 理解并能够应用支持上述内容的离散数学工具与方法
- 程序设计能力
考核方法
所有形式的考核,均不准抄袭。
考核形式 | 分值 |
---|---|
作业 | 15 |
OT | 10 |
OJ | 15 |
机试 | 10 |
笔试 | 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
- MA: Manoochehr Azmoodeh. Abstract Data Types and Algorithms, Macmillan Education, UK, 1990
推荐课外阅读材料
(可参照习题课扩展材料部分所给出的阅读建议)
- Kenneth H. Rosen: Discrete Mathematics and Its Applications, 7th Edition. McGraw-Hill, 2011
- Donald E. Knuth: The Art of Computer Programming Vol4A: Combinatorial Algorithms Part 1, 2011
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik: Concrete Mathematics: A Foundation for Computer Science, 2nd Edition, 1994.
- Jon Bentley: Programming Pearls, 2nd Edition, 1999.
- Robert Sedgewick, Philippe Flajolet: Book: An Introduction to the Analysis of Algorithms, 2nd Edition, 2012.
- Martin Aigner: Book: Proofs from THE BOOK, Fifth Edition, 2014.
更多阅读材料将随课堂进度添加。
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | 编程作业 |
---|---|---|---|---|---|---|
2020-02-20 |
|
|
|
|||
2020-02-27 |
|
|
|
| ||
2020-03-05 |
|
|
|
|||
2020-03-12 |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|
||
2019-xx-xx |
|
|
|
|