“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第31行： | 第31行： | ||
| | | | ||
* 命题逻辑的自然推理系统 + Coq | * 命题逻辑的自然推理系统 + Coq | ||
| − | # 陈弘毅 | + | # [[Media:1-2-Natural-陈弘毅.pptx | 陈弘毅]] |
| − | # 吴煜青 | + | # [[Media:1-2-Natural-吴煜青.zip | 吴煜青]] |
* 前束范式 | * 前束范式 | ||
| − | # 贾林杰 | + | # [[Media:1-2-PNF-贾林杰.pptx | 贾林杰]] |
| − | # 张浩宇 | + | # [[Media:1-2-PNF-张浩宇.zip | 张浩宇]] |
| | | | ||
|- | |- | ||
2019年10月20日 (日) 13:36的版本
学习周历
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 |
|
