2021级--小班讨论 (第二学期)

学习周历

{ | border=1 ! 日期 ! 论题 ! Open Topics ! 扩展材料 (供感兴趣的同学自学使用) |- | 2022-02-14 | 2-0 期末试题讲解 | 无 | |- | 2022-02-21 | 1-13 布尔代数习题讲解 |

1. 卡诺图

• 杨镇源
• 龚至诚
• 陈子元
• 陈楚安

1. 电路设计

• 缪天顺
• 蔡羽童
• 潘昕田
• 李成蹊

| |- | 2022-02-28 | 2-1 算法正确性 |

1. Insertion Sort and Dafny

• 赵欣玥
• 杨梓宣
• 孙骞

1. Cyclic Hanoi Problem

• 梁子奇
• 刘熹橦
• 陈荣锴

|

• Paper: Loop Invariants: Analysis, Classification, and Examples.pdf

 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章，从宏观角度理解循环不变式。
  再对照目录，在适当时候阅读相应算法。)

|- | 2022-03-07 | 2-2 算法的效率 |

1. Decision Tree

• 黄俊荣
• 李鸿毅
• 徐研

1. Adversary Strategy

• 康一博
• 姜凯
• 吴奕胜

| |- | 2022-03-15 | 2-3 组合与计数 |

1. Sums

• 刘嘉欣
• 周懿添
• 许世泽

1. Binomial Coefficients

• 盖伟业
• 付博

|

• The Art of Computer Programming Vol4A: Combinatorial Algorithms Part 1

 (阅读建议: 学习各种组合对象的生成 (Generating) 算法。)

|- | 2022-03-22 | 2-4 分治法与递归 |

1. Akra-Bazzi Method

• 凌众翔
• 胡皓明

1. Merge-Sort

• 邵钰乾
• 张明轩

|- | 2022-03-29 | 2-5 递归式求解 |

1. Generating Functions

• 鞠哲
• 蔡昊润
• 尹杰
• 林凡琪

|

• Concrete Mathematics. R. Graham, D. Knuth, O. Patashnik.pdf

 (阅读建议: 第七章 (7.2-7.5)。Generating Function。)

|- | 2022-04-2 | 2-6 algorithmic-methods |

1. SAT Problem

• 董睿祺
• 朱家辰

1. alpha-beta Pruning

• 马尧
• 陈卓

|

| |- | 2020-04-14 | 2-7-discrete-probability

• 2-7-discrete-probability
• 2-7-discrete-probability-handout

|

• Monty Hall Problem

1. 吴雨欣
2. 尹嘉恒

• Shuffling Cards

1. 李松原
2. 孙博文

|

• Philosophy of Probability.pdf

 学习哲学有什么用？它的用处在于让你的头脑变得混乱，然后再从混乱走向明晰。

|- }