2017级--小班讨论 (第二学期)
来自问题求解
学习周历
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|
(阅读目的: 了解 Hoare Logic。) | |
2018-03-19 |
|
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章,从宏观角度理解循环不变式。再对照目录,在适当时候阅读相应算法。) |
日期 | 论题 | Open Topics
(分班表) |
扩展材料 |
---|---|---|---|
2018-03-05 |
|
||
2018-03-12 |
|
(阅读目的: 了解 Hoare Logic。) | |
2018-03-19 |
|
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章,从宏观角度理解循环不变式。再对照目录,在适当时候阅读相应算法。) |