查看“2019级--小班讨论 (第二学期)”的源代码

== 学习周历 ==

[[Media:2019级问题求解二-分班名单.xlsx | 2019级问题求解课程第二学期-分班名单]]

{| border=1
! 日期
! 论题
! Open Topics
* 1（马）
* 2（魏）
! 扩展材料 
(供感兴趣的同学自学使用)
|-
| 2020-02-18
| 
2019-1-final-exam
* [[Media:2019-1-final-exam-mj.pptx | 2019-1-final-exam-mj.pptx]]
* [[Media:2019-1-final-exam-hfwei.zip | 2019-1-final-exam-hfwei.zip]]
| 
* 无
|
|-
| 2020-02-25
| 1-13-boolean-algebra
* [[Media:2019-1-12-poset-lattice.pdf | 2019-1-12-poset-lattice.pdf]]
* [[Media:2019-1-12-poset-lattice-handout.pdf | 2019-1-12-poset-lattice-handout.pdf]]
* [[Media:2019-1-13-boolean-algebra.pdf | 2019-1-13-boolean-algebra.pdf]]
* [[Media:2019-1-13-boolean-algebra-handout.pdf | 2019-1-13-boolean-algebra-handout.pdf]]
| 
* 卡诺图
# [[Media:1-13-Kmap-王子鉴.pdf | 王子鉴]] 
# [[Media:1-13-Kmap-朱宇博.pdf | 朱宇博]]
* 电路设计
# [[Media:1-13-CircuitDesign-浦亮.pptx | 浦亮]]
# [[Media:1-13-CircuitDesign-林海波.pptx | 林海波]]
|
|-
| 2020-03-03
| 2-1-correctness
*[[Media:习题2-1.pptx | 习题2-1讲解]]
| 
* Insertion Sort
# [[Media:2-1-InsertionSort-曹雨森.pdf | 曹雨森]]
# [[Media:2-1-InsertionSort-彭泽.pptx | 彭泽]]
* Cyclic Hanoi
# 史丰萁
# [[Media:2-1-CyclicHanoi-陈弘毅.pptx | 陈弘毅]]
|
* [[Media:2019-2-1-correctness.pdf ‎| 2019-2-1-correctness.pdf]]
* [[Media:2019-2-1-correctness-handout.pdf ‎| 2019-2-1-correctness-handout.pdf]]

* [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants: Analysis, Classification, and Examples.pdf]]
  (阅读建议: 不必一次性读完 (这也不太现实); 
   先阅读第一章，从宏观角度理解循环不变式。
   再对照目录，在适当时候阅读相应算法。)
|
|-
| 2020-03-10
| 2-2-efficiency
*[[Media:习题2-2.pptx | 习题2-2讲解]]
| 
* Decision Tree Model
# [[Media:2-2-DecisionTree-李晗.pptx | 李晗]]
# [[Media:2-2-DecisionTree-吴煜青.pptx | 吴煜青]]
* Adversary Argument
# [[Media:2-2-AdversaryArgument-张浩宇.zip | 张浩宇]]
# [[Media:2-2-AdversaryArgument-黄泽雨.pptx | 黄泽雨]]
|
*
|-
| 2020-03-17
| 2-3-counting
*[[Media:2-3-counting.pdf|习题2-3讲解]]
| 
* Sums
# [[Media:2-3-Sums-贾林杰.pptx | 贾林杰]]
# [[Media:2-3-Sums-刘闵.pptx | 刘闵]]
* Binomial Coefficients
# [[Media:2-3-BinomialCoefficients-赵超懿.pptx | 赵超懿]]
# [[Media:2-3-BinomialCoefficients-庄泽明.pptx | 庄泽明]]
|
* [[Media:The_Art_of_Computer_Programmin_Volume4A_Combinatorial_Algorithms.pdf | The Art of Computer Programming Vol4A: Combinatorial Algorithms Part 1]]
  (阅读建议: 学习各种组合对象的生成 (Generating) 算法。)
|-
| 2020-03-24
| 2-4-recurrence
* [[Media:2019-2-4-recurrences.pdf | 2019-2-4-recurrences]]
* [[Media:2019-2-4-recurrences-handout.pdf | 2019-2-4-recurrences-handout]]
| 
* AB Method
# [[Media:2-4-ABMethod-马文洁.zip | 马文洁]]
# [[Media:2-4-ABMethod-屈力.zip | 屈力]]
* MergeSort
# [[Media:2-4-Mergesort-曹恒源.zip | 曹恒源]]
# [[Media:2-4-Mergesort-宋天惠.pptx | 宋天惠]]
|
*
|-
| 2020-03-31
| 2-5-solving-recurrence
*[[Media:2-5-recurrence.pdf| 习题讲解2-5]]
| 
* Generating Functions
# 诸高骅
# 高灏 
|
*
|-
| 2020-04-07
| 2-6-algorithmic-methods
*
| 
* Alpha-Beta Pruning
# 姚梦雨
# 张涛
* SAT
# 周晓
#
|
*
|}