“2017级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
小 (→习题讲解) |
(+1-2-logic 习题课课件) |
||
第9行: | 第9行: | ||
* [[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日 (周一) 主题:1-2 (什么样的推理是正确的?)= | ||
+ | |||
+ | == 习题讲解 == | ||
+ | [[Media:Logic.pdf | 1-2-Logic.pdf]] ([[Media:Logic-handout.pdf | 1-2-Logic-handout.pdf]],无停顿版本) | ||
+ | |||
+ | UD 第2章、第3章 (命题逻辑部分) | ||
+ | |||
+ | == 报告 == | ||
+ | |||
+ | * 合取范式与析取范式 | ||
+ | * 形式化描述 |
2017年10月16日 (一) 14: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章 (命题逻辑部分)
报告
- 合取范式与析取范式
- 形式化描述