“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第28行： | 第28行： | ||
| 2019-10-17 | | 2019-10-17 | ||
| 1-2-reasoning | | 1-2-reasoning | ||
| + | * [[Media:1-2-reasoning-scan.pdf | 1-2-reasoning-扫描版 (魏)]] | ||
| | | | ||
* 命题逻辑的自然推理系统 + Coq | * 命题逻辑的自然推理系统 + Coq | ||
2019年10月17日 (四) 10:59的版本
学习周历
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 |
|
