查看“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
# 曹雨森
# 彭泽
* Cyclic Hanoi
# 史丰萁
# 陈弘毅
|
* [[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
*
| 
* Decision Tree Model
# 李晗
# 吴煜青
* Adversary Argument
# 张浩宇
# 黄泽雨
|
*
|-
| 2020-03-17
| 2-3-counting
*
| 
* Sums
# 贾林杰
# 刘闵
* Binomial Coefficients
# 赵超懿
# 
|
*
|}