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