“2017级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→习题讲解） |
（→报告： 上传1-1学生报告） |
||
| 第19行： | 第19行： | ||
== 报告 == | == 报告 == | ||
| − | * 合取范式与析取范式 | + | * 合取范式与析取范式 [[Media:1-2合取范式析取范式.zip | 1-2-合取范式析取范式 (黄秉焜 张天昀)]] |
| − | * 形式化描述 | + | * 形式化描述 [[Media:1-2-谓词逻辑-猫论.zip | 1-2-谓词逻辑-猫论 (肖江 吕云哲)]] |
2017年10月16日 (一) 19:02的版本
目录
2017年10月09日 (周一) 主题：1-1 (为什么计算机能解题？)
习题讲解
(1-1作业; 无PPT)
报告
- Debug 介绍 (郑奘巍, 李顶为)
- 递归介绍 (Tower of Hanoi) (徐臣, 姜勇刚)
2017年10月16日 (周一) 主题：1-2 (什么样的推理是正确的？)
习题讲解
1-2-Logic.pdf ( 1-2-Logic-handout.pdf，无停顿版本)
UD 第2章、第3章习题选讲 (命题逻辑部分)
报告
- 合取范式与析取范式 1-2-合取范式析取范式 (黄秉焜 张天昀)
- 形式化描述 1-2-谓词逻辑-猫论 (肖江 吕云哲)
