“2017级--小班讨论 (第二学期)”的版本间的差异
来自问题求解
(→学习周历: +学生报告) |
(→学习周历: +2018-03-19 习题课) |
||
第32行: | 第32行: | ||
| | | | ||
* [https://en.wikipedia.org/wiki/Hoare_logic Hoare Logic@wiki]: [[Media:An_Axiomatic_Basis_for_Computer_Programming_(Hoare_CACM69).pdf | An Axiomatic Basis for Computer Programming (Hoare CACM69).pdf]] | * [https://en.wikipedia.org/wiki/Hoare_logic Hoare Logic@wiki]: [[Media:An_Axiomatic_Basis_for_Computer_Programming_(Hoare_CACM69).pdf | An Axiomatic Basis for Computer Programming (Hoare CACM69).pdf]] | ||
+ | (阅读目的: 了解 Hoare Logic。) | ||
+ | |- | ||
+ | | | ||
+ | 2018-03-19 | ||
+ | | | ||
+ | * [[Media:2-1-算法的正确性(2).pdf | 2-1: 算法的正确性 (2)]] | ||
+ | | | ||
+ | * Algorithmic Gap | ||
+ | # 王腾 | ||
+ | # 李顶为 | ||
+ | # 肖江 | ||
+ | * Asymptotic Notations | ||
+ | # 马常风 | ||
+ | # 黄秉焜 | ||
+ | # 吕云哲 | ||
+ | | | ||
+ | * [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants Analysis Classification and Examples.pdf]] | ||
+ | (阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章,从宏观角度理解循环不变式。再对照目录,在适当时候阅读相应算法。) | ||
|} | |} |
2018年3月19日 (一) 17:01的版本
学习周历
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|
(阅读目的: 了解 Hoare Logic。) | |
2018-03-19 |
|
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章,从宏观角度理解循环不变式。再对照目录,在适当时候阅读相应算法。) |