“2017级--小班讨论 (第二学期)”的版本间的差异
来自问题求解
(→学习周历: +open topics 分班表) |
(→学习周历: +2-1 习题课) |
||
第20行: | 第20行: | ||
2018-03-12 | 2018-03-12 | ||
| | | | ||
− | * 2-1: | + | * [[Media:2-1-correctness.pdf | 2-1: 算法的正确性]] |
| | | | ||
− | * | + | * Insertion Sort |
+ | # 刘恩萌 | ||
+ | # [[Media:OT1-Class2-姜勇刚-插入排序的正确性证明.pptx | 姜勇刚]] | ||
+ | # [[Media:OT1-Class3-张天昀-插入排序正确性证明.pdf | 张天昀]] | ||
+ | * Cyclic Hanoi | ||
+ | # [[Media:OT2-Class1-李凯旭-CyclicHanoi.pptx | 李凯旭]] | ||
+ | # 郑奘巍 | ||
+ | # [[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]] | ||
|} | |} |
2018年3月12日 (一) 18:56的版本
学习周历
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|