“2017级--小班讨论 (第二学期)”的版本间的差异
来自问题求解
小 （→学习周历） |
（→学习周历： +2-2 OT） |
||
| 第40行： | 第40行： | ||
| | | | ||
* Algorithmic Gap | * Algorithmic Gap | ||
| − | # 王腾 | + | # [[Media:OT1-Class1-王腾-AlgorithmicGap.pptx|王腾]] |
| − | # 李顶为 | + | # [[Media:OT1-Class2-李顶为-AlgorithmicGap.pptx|李顶为]] |
| − | # 肖江 | + | # [[Media:OT1-Class3-肖江-AlgorithmicGap.zip|肖江]] |
* Asymptotic Notations | * Asymptotic Notations | ||
| − | # 马常风 | + | # [[Media:OT2-Class1-马常风-AsymptoticNotations.pptx|马常风]] |
| − | # 黄秉焜 | + | # [[Media:OT2-Class2-黄秉焜-AsymptoticNotations.pptx|黄秉焜]] |
| − | # 吕云哲 | + | # [[Media:OT2-Class3-吕云哲-AsymptoticNotations.pptx|吕云哲]] |
| | | | ||
* [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants: Analysis, Classification, and Examples.pdf]] | * [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants: Analysis, Classification, and Examples.pdf]] | ||
2018年3月21日 (三) 10:37的版本
学习周历
| 日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
|---|---|---|---|
| 2018-03-05 |
|
||
|
2018-03-12 |
|
(阅读目的: 了解 Hoare Logic。) | |
|
2018-03-19 |
|
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章，从宏观角度理解循环不变式。 再对照目录，在适当时候阅读相应算法。) |
