“2017级--小班讨论 (第一学期)”的版本间的差异

来自问题求解
跳转至: 导航搜索
(+1-3 习题课)
Whf讨论 | 贡献
2017年10月16日 (周一)
第14行: 第14行:
  
 
== 习题讲解 ==
 
== 习题讲解 ==
[[Media:1-2-logic-I.pdf | 1-2-logic-I.pdf]] ([[Media:1-2-logic-I-handout.pdf | 1-2-logic-I-handout.pdf]],无停顿版本)
+
[[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章习题选讲 (命题逻辑部分)

2017年10月24日 (二) 21:00的版本

2017年10月09日 (周一)

习题讲解

(1-1作业; 无PPT)

报告

主题:1-1 (为什么计算机能解题?)

2017年10月16日 (周一)

习题讲解

1-2-logic-I.pdf (1-2-logic-I-handout.pdf)

UD 第2章、第3章习题选讲 (命题逻辑部分)

报告

主题:1-2 (什么样的推理是正确的?)

2017年10月23日 (周一)

习题讲解

1-2-logic-II.pdf ( 1-2-logic-II-handout.pdf,无停顿版本)

UD 第四章 (一阶谓词逻辑部分)

报告

主题:1-3 (常用的证明方法)