“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第42行： | 第42行： | ||
| | | | ||
* Induction + Coq | * Induction + Coq | ||
| − | # 李晗 | + | # [[Media:1-3-CoqInduction-李晗.zip | 李晗]] |
| − | # 曹恒源 | + | # [[Media:1-3-CoqInduction-曹恒源.zip | 曹恒源]] |
* Double Counting | * Double Counting | ||
| − | # 浦亮 | + | # [[Media:1-3-CoutingTrees-浦亮.pptx | 浦亮]] |
# 周晓 | # 周晓 | ||
| + | | | ||
| + | |- | ||
| + | | 2019-10-31 | ||
| + | | 1-4-algorithm | ||
| + | | | ||
| + | * 尾递归 | ||
| + | # 姚梦雨 | ||
| + | # 刘闵 | ||
| + | * 结构化程序设计 | ||
| + | # | ||
| + | # 马文洁 | ||
| | | | ||
|} | |} | ||
2019年10月24日 (四) 10:47的版本
学习周历
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 |
|
