“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第40行： | 第40行： | ||
| 2019-10-24 | | 2019-10-24 | ||
| 1-3-proof | | 1-3-proof | ||
| − | * [[Media:1-2-reasoning.pdf | 1-2-reasoning.pdf]] | + | * [[Media:1-2-reasoning.pdf | 1-2-reasoning.pdf (魏)]] |
| − | * [[Media:1-2-reasoning-handout.pdf | 1-2-reasoning-handout.pdf]] | + | * [[Media:1-2-reasoning-handout.pdf | 1-2-reasoning-handout.pdf (魏)]] |
| | | | ||
* Induction + Coq | * Induction + Coq | ||
2019年10月24日 (四) 10:52的版本
学习周历
2019级问题求解课程第一学期学生名单-20190925-分班表
| 日期 | 论题 | Open Topics
（1: 227（马）; 2: 228 (魏)） |
扩展材料
(供感兴趣的同学自学使用) |
|---|---|---|---|
| 2019-10-10 |
1-1-why |
|
理解解题思路，完善解题细节 |
| 2019-10-17 | 1-2-reasoning |
|
|
| 2019-10-24 | 1-3-proof |
|
|
| 2019-10-31 | 1-4-algorithm |
|
