“2017级--小班讨论 (第二学期)”的版本间的差异

• 1-exam.pdf

( 1-exam-handout.pdf)

• 无

• Cantor-Bernstein Theorem@wiki

2018-03-12

• 2-1: 算法的正确性

• Insertion Sort

1. 刘恩萌
2. 姜勇刚
3. 张天昀

• Cyclic Hanoi

1. 李凯旭
2. 郑奘巍
3. 董杨静

• Hoare Logic@wiki: An Axiomatic Basis for Computer Programming (Hoare CACM69).pdf

 (阅读目的: 了解 Hoare Logic。)

2018-03-19

• 2-1: 算法的正确性 (2)

• Algorithmic Gap

1. 王腾
2. 李顶为
3. 肖江

• Asymptotic Notations

1. 马常风
2. 黄秉焜
3. 吕云哲

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

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

2018-03-26

• 程序设计辅导 [[Media: ‎| ]]

• The twelvefold way (1)

1. [[Media: | 高天朗]]
2. 谢逸
3. 何伟

• The twelvefold way (2)

1. 张廷昊
2. 匡舒磊
3. 殷天润

• Twelvefold Way (wiki) Basic Enumeration (尹一通老师 “组合数学” 课程讲义)

 (阅读建议: 每位同学(不仅是做 OT Topics 的同学)都读一读。) 

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

 (阅读建议: 阅读第 390 页。理解什么叫做 "indistinguishable"。)