“2017级--小班讨论 (第二学期)”的版本间的差异
来自问题求解
小 (→学习周历) |
小 (→学习周历) |
||
第23行: | 第23行: | ||
| | | | ||
* Insertion Sort | * Insertion Sort | ||
− | # 刘恩萌 | + | # [[Media:OT1-Class1-刘恩萌-InsertionSort.pptx | 刘恩萌]] |
# [[Media:OT1-Class2-姜勇刚-插入排序的正确性证明.pptx | 姜勇刚]] | # [[Media:OT1-Class2-姜勇刚-插入排序的正确性证明.pptx | 姜勇刚]] | ||
# [[Media:OT1-Class3-张天昀-插入排序正确性证明.pdf | 张天昀]] | # [[Media:OT1-Class3-张天昀-插入排序正确性证明.pdf | 张天昀]] |
2018年3月26日 (一) 20:28的版本
学习周历
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|
(阅读目的: 了解 Hoare Logic。) | |
2018-03-19 |
|
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章,从宏观角度理解循环不变式。 再对照目录,在适当时候阅读相应算法。) | |
2018-03-26 |
|
|
(阅读建议: 每位同学(不仅是做 OT Topics 的同学)都读一读。) (阅读建议: 阅读第 390 页。理解什么叫做 "indistinguishable"。) |