“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 |
|
