2017级--小班讨论 (第一学期)

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章习题选讲 (命题逻辑部分)

报告

• 合取范式与析取范式
• 形式化描述