“2017级--小班讨论 (第二学期)”的版本间的差异
来自问题求解
小 (→学习周历) |
(→学习周历: +学生报告) |
||
第28行: | 第28行: | ||
* Cyclic Hanoi | * Cyclic Hanoi | ||
# [[Media:OT2-Class1-李凯旭-CyclicHanoi.pptx | 李凯旭]] | # [[Media:OT2-Class1-李凯旭-CyclicHanoi.pptx | 李凯旭]] | ||
− | # 郑奘巍 | + | # [[Media:OT2-Class2-郑奘巍-CyclicHanoi.pdf | 郑奘巍]] |
# [[Media:OT2-Class3-董杨静-CyclicHanoi.pdf | 董杨静]] | # [[Media:OT2-Class3-董杨静-CyclicHanoi.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]] | * [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]] | ||
|} | |} |
2018年3月16日 (五) 19:34的版本
学习周历
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|