“2017级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→报告： 上传1-1学生报告） |
（+1-3 习题课） |
||
| 第1行： | 第1行： | ||
| − | = 2017年10月09日 (周一 | + | = 2017年10月09日 (周一) = |
== 习题讲解 == | == 习题讲解 == | ||
| 第6行： | 第6行： | ||
== 报告 == | == 报告 == | ||
| + | 主题：1-1 (为什么计算机能解题?) | ||
* [[Media:10.9 报告 Debug介绍.zip | Debug 介绍]] (郑奘巍, 李顶为) | * [[Media:10.9 报告 Debug介绍.zip | Debug 介绍]] (郑奘巍, 李顶为) | ||
* [[Media:Hanoi_tower.zip | 递归介绍 (Tower of Hanoi)]] (徐臣, 姜勇刚) | * [[Media:Hanoi_tower.zip | 递归介绍 (Tower of Hanoi)]] (徐臣, 姜勇刚) | ||
| − | = 2017年10月16日 (周一 | + | = 2017年10月16日 (周一) = |
== 习题讲解 == | == 习题讲解 == | ||
| − | [[Media: | + | [[Media:1-2-logic-I.pdf | 1-2-logic-I.pdf]] ([[Media:1-2-logic-I-handout.pdf | 1-2-logic-I-handout.pdf]]，无停顿版本) |
UD 第2章、第3章习题选讲 (命题逻辑部分) | UD 第2章、第3章习题选讲 (命题逻辑部分) | ||
== 报告 == | == 报告 == | ||
| + | 主题：1-2 (什么样的推理是正确的?) | ||
* 合取范式与析取范式 [[Media:1-2合取范式析取范式.zip | 1-2-合取范式析取范式 (黄秉焜 张天昀)]] | * 合取范式与析取范式 [[Media:1-2合取范式析取范式.zip | 1-2-合取范式析取范式 (黄秉焜 张天昀)]] | ||
* 形式化描述 [[Media:1-2-谓词逻辑-猫论.zip | 1-2-谓词逻辑-猫论 (肖江 吕云哲)]] | * 形式化描述 [[Media:1-2-谓词逻辑-猫论.zip | 1-2-谓词逻辑-猫论 (肖江 吕云哲)]] | ||
| + | |||
| + | = 2017年10月23日 (周一) = | ||
| + | |||
| + | == 习题讲解 == | ||
| + | [[Media:1-2-logic-II.pdf | 1-2-logic-II.pdf]] ([[Media:1-2-logic-II-handout.pdf | 1-2-logic-II-handout.pdf]]，无停顿版本) | ||
| + | |||
| + | UD 第四章 (一阶谓词逻辑部分) | ||
| + | |||
| + | == 报告 == | ||
| + | 主题：1-3 (常用的证明方法) | ||
| + | |||
| + | * 数学归纳法与良序原理的等价性 [[Media:1-3-李博文-证明数学归纳法和良序原理等价.pptx | 1-3-李博文-证明数学归纳法和良序原理等价.pptx]] | ||
| + | * Chomp Game [[Media:1-3-马常风-Chomp-Game.pptx] | 1-3-马常风-Chomp-Game.pptx]] (殷兆恒文档 待上传) | ||
2017年10月24日 (二) 20:59的版本
目录
2017年10月09日 (周一)
习题讲解
(1-1作业; 无PPT)
报告
主题：1-1 (为什么计算机能解题?)
- Debug 介绍 (郑奘巍, 李顶为)
- 递归介绍 (Tower of Hanoi) (徐臣, 姜勇刚)
2017年10月16日 (周一)
习题讲解
1-2-logic-I.pdf ( 1-2-logic-I-handout.pdf，无停顿版本)
UD 第2章、第3章习题选讲 (命题逻辑部分)
报告
主题：1-2 (什么样的推理是正确的?)
- 合取范式与析取范式 1-2-合取范式析取范式 (黄秉焜 张天昀)
- 形式化描述 1-2-谓词逻辑-猫论 (肖江 吕云哲)
2017年10月23日 (周一)
习题讲解
1-2-logic-II.pdf ( 1-2-logic-II-handout.pdf，无停顿版本)
UD 第四章 (一阶谓词逻辑部分)
报告
主题：1-3 (常用的证明方法)
- 数学归纳法与良序原理的等价性 1-3-李博文-证明数学归纳法和良序原理等价.pptx
- Chomp Game [[Media:1-3-马常风-Chomp-Game.pptx] | 1-3-马常风-Chomp-Game.pptx]] (殷兆恒文档 待上传)
