查看“2021级--学期安排（第二学期）”的源代码

== 基本要求 ==

* 理解数据抽象，理解并能够应用常用的数据结构
* 掌握重要算法设计策略以及算法分析的基本方法
* 理解并能够应用支持上述内容的离散数学工具与方法
* 程序设计能力

== 考核方法 ==

所有形式的考核,均不准抄袭。

{| class="wikitable"
|-
! 考核形式 !! 分值
|-
| 作业 || 20
|-
| OT || 10
|-
| OJ || 15
|-
| 机试 || 15
|-
| 笔试 || 40
|}

== 指定教材 ==
* '''SM''': Seymour Lipschutz and Marc Lipson: [[Media:Schaum's_Outlines_-_Discrete_Mathematics,_3rd_Ed._by_Seymour_Lipschutz.pdf | Theory and Problems of Discrete Mathematics]], 3rd ed.
* '''DH''': David Harel et al.: [[Media:Algorithmics-the_Spirit_of_Computing,_3rd_by_David_Harel.pdf | Algorithmics - The Spirit of Computing]], 3rd ed. Addison-Wesley, 2004
* '''CS''': Clifford Stein et al.: [[Media:Discrete_Mathematics_for_Computer_Scientists.pdf | Discrete Mathematics for Computer Scientists]], 1st ed. Addison-Wesley, 2010
* '''TC''': Thomas Cormen et al.: [[Media:CLRS_Introduction_to_Algorithms_(3rd_Edition,_2009).pdf ‎| Introduction to Algorithms]], 3rd ed. MIT, 2009
* '''MA''': Manoochehr Azmoodeh. [[Media:Abstract_Data_Types_and_Algorithms,_by_Manoochehr_Azmoodeh.pdf ‎| Abstract Data Types and Algorithms]], Macmillan Education, UK, 1990

== 推荐课外阅读材料 ==
'''''(可参照习题课扩展材料部分所给出的阅读建议)'''''

* Kenneth H. Rosen: Discrete Mathematics and Its Applications, 7th Edition. McGraw-Hill, 2011

* '''[TAOCP-4A]''' Donald E. Knuth: [[Media:The_Art_of_Computer_Programmin_Volume4A_Combinatorial_Algorithms.pdf | The Art of Computer Programming Vol4A: Combinatorial Algorithms Part 1]], 2011

* '''[GKP]''' Ronald L. Graham, Donald E. Knuth, Oren Patashnik: [[Media: Concrete_Mathematics_-_R._Graham,_D._Knuth,_O._Patashnik.pdf | Concrete Mathematics: A Foundation for Computer Science]], 2nd Edition, 1994.

* '''[PP]''' Jon Bentley: [[Media:Programming_Pearls_(Second_Edition_Jon_Bentley).pdf | Programming Pearls]], 2nd Edition, 1999.

* '''[AoA]''' Robert Sedgewick, Philippe Flajolet: [[Media:An_Introduction_to_the_Analysis_of_Algorithms_(2nd_Edition_Robert_Sedgewick,_Philippe_Flajolet).pdf | Book: An Introduction to the Analysis of Algorithms]], 2nd Edition, 2012.

* '''[TheBook]''' Martin Aigner: [[Media:Proofs_from_THE_BOOK_(Fifth_Edition_2014).pdf | Book: Proofs from THE BOOK]], Fifth Edition, 2014.

* '''[MCS]''' Eric Lehman, F Thomson Leighton, Albert R Meyer: [[Media:Mathematics for Computer Science (MCS; MIT, 2018).pdf | Mathematics for Computer Science]], MIT, 2018.

更多阅读材料将随课堂进度添加。

== 学习周历 ==

{| border=1
! 日期
! 论题
! 学习目的
! 阅读材料
! 引导要点
! 书面作业
! 编程作业
|-
|
2022-02-16
|
* [[Media:计算机问题求解-2022-02-16-布尔代数.pptx|1-13: 布尔代数]]
|
* 理解布尔代数基本概念
* 理解布尔代数与格的联系与区别
* 布尔代数表达式的化简
|
* SM第15章
|
* 布尔代数
|
* [[Media:2021-1-13-boolean-algebra.zip|1-13-boolean-algebra.zip]]
| 
*
|-
| 2022-02-23
|
* [[media:计算机问题求解-2022-02-23-算法正确性.pptx|2-1：算法正确性]]
| style="width: 280px;" |
* 理解并能够区分算法错误与程序错误
* 理解算法正确性的概念及其证明方法
| style="width: 150px;" |
* DH第5章
| style="width: 180px;" |
* 循环不变式
| style="width: 200px;" |
* [[media:2021-2-1-correctness.zip|2-1-correctness.zip]]
| style="width: 200px;" |
* 
|-
| 
2022-03-02
|
2-2：算法的效率
* [[Media:2019-2-2-efficiency.pdf | 2019-2-2-efficiency]]
* [[Media:2019-2-2-efficiency-handout.pdf | 2019-2-2-efficiency-handout]]
|
* 理解算法的时间复杂性的概念与渐近表示方式
|
* DH第6章
* TC 2.1节, 2.2节
* TC 第3章
|
* 如何做算法复杂度分析
|
* [[media:2021-2-2-efficiency.zip|2-2-efficiency.zip]]
|
*
|-
| 
2022-03-09
|
2-3：组合与计数
* [[Media:2019-2-3-counting.pdf | 2019-2-3-counting]]
* [[Media:2019-2-3-counting-handout.pdf | 2019-2-3-counting-handout]]
|
* 掌握在算法分析中常用的计数原理与方法
|
* CS第1章
|
* 组合计数技巧与常见形式
|
* [[media:2021-2-3-counting.rar|2021-2-3-counting.rar]]
|
*
|-
| 
2022-03-16
|
* [[Media:2-4-计算机问题求解-2022-03-19-分治法与递归.pptx | 2-4: 分治法与递归]]
|
* 掌握利用分治法设计算法的思路
* 深入理解递归在算法设计中的作用
|
* TC 第2.3节
* TC 第4章
|
* 算法设计中的分治思想
|
* 
|
*
|-
| 
2022-03-23
|
* [[Media:2-5-递归及其数学基础(part-1).pptx |2019-2-5-linear-recurrences (马)]]
* [[Media:2019-2-5-linear-recurrences.pdf | 2019-2-5-linear-recurrences (魏)]]
* [[Media:2019-2-5-linear-recurrences-handout.pdf | 2019-2-5-linear-recurrences-handout (魏)]]
|
* 进一步理解递归的数学基础
* 更深入地掌握递归算法的分析方法
|
* CS第4章 4.1-4.5 节
|
* 如何解递归式
|
* 
|
*
|-
| 
2022-03-30
|
* [[Media:2-6-计算机问题求解-2022-04-02-算法方法.pptx | 2-6: 算法方法]]
|
* 通过具体示例了解算法设计的基本策略
|
* DH第4章
|
* 理解复杂算法背后的简单原理
|
* 
|
*
|-
| 
2022-04-06
|
* [[Media:2-7-计算机问题求解-2022-04-09-离散概率基础.pptx | 2-7: 离散概率基础]]
|
* 理解离散概率的基本概念
* 掌握简单离散概率计算的基本方法
|
* CS第5章: 5.1, 5.2, 5.3, 5.4 节
|
* 正确理解“期望”的概念，为理解平均情况时间复杂度分析建立基础
|
* 
|
*
|-
| 
2022-04-13
|
* [[Media:2-8-计算机问题求解-2022-04-16概率和随机算法.pptx | 2-8: 概率分析与随机算法]]
|
* 理解概率在算法设计中的作用
* 掌握基于概率的算法分析的基本方法
|
* TC第5章
* CS第5章: 5.6, 5.7节
|
* 随机变量在算法分析中的意义
|
* 
|
*
|-
| 
2022-04-20
|
* [[Media:2-9-sorting and selection.pdf | 2019-2-9-sorting and selection.pdf]]
*[[media:2-9-sorting_and_selection(handout).pdf|2019-2-9-sorting_and_selection(handout).pdf]]
|
* 深入理解快速排序算法的设计思想与分析方法
* 通过排序理解问题复杂度的下界，并探索一些线性排序算法
* 掌握以中位数为代表的统计算法
|
* TC第7、8、9章
|
* 如何证明问题复杂度的下界
|
* 
|
*
|-
| 
2022-04-27
|
* [[Media:2-10-计算机问题求解-2022-04-30-基本数据结构.pptx | 2-10: 基本数据结构]]
|
* 掌握堆栈、队列、链表、指针、根树的概念、实现以及在算法设计中的应用
|
* TC第10章
* MA第2, 3章
|
* 基本数据结构
|
* 
|
*
|-
| 
2022-05-04
|
* [[Media:2-11_Heap&HeapSort.pdf ‎ | 2019-2-11_Heap&HeapSort ‎]]
|
* 理解并掌握堆的结构、实现以及算法应用
* 通过堆的应用与实现理解抽象数据类型的基本概念以及分层抽象的思想
|
* TC第6章
|
* 从数据结构到抽象数据类型的思想发展
|
* 
|
*
|-
| 
2022-05-11
|
* [[media:2019-2-12_Hashing.pdf |2-12: Hashing方法]]
|
* 掌握Hashing方法的原理、处理冲突的方法以及分析方法
|
* TC第11章
* CS第5章第5节
|
* Hashing方法中的冲突处理
|
* 
|
*
|-
| 
2022-05-18
|
* [[Media:2-13-搜索树-2022-05-21.pptx | 2-13：搜索树]]
|
* 掌握利用树结构存储与搜索数据的方法
|
* MA 第4.1节
* TC第12章
|
* 搜索树的结构与操作
|
* 
|
*
|- 
| 
2022-05-25
|
* [[media:计算机问题求解-2022-05-28-B树.pptx | 2-14：B 树]]
|
* 掌握 B 树的基本性质及其操作
|
* TC第18章
|
* 如何在经典数据结构的基础上，针对应用特征，优化设计，提高效率
|
* 
|
*
|- 
| 
2022-06-01
|
* [[Media:红黑树.pptx | 2-15: 红黑树]] 
|
* 掌握红黑树数据结构的基本性质及其操作
|
* TC第13章
|
* 红黑树的概念
|
* 
|
|- 
| 
*
|
* 
|
* 
|
* 
|
* 
|
* 
|
|}