“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第43行： | 第43行： | ||
* Induction + Coq | * Induction + Coq | ||
# 李晗 | # 李晗 | ||
| − | # | + | # 曹恒源 |
* Double Counting | * Double Counting | ||
# 浦亮 | # 浦亮 | ||
2019年10月20日 (日) 15:04的版本
学习周历
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 |
|
