视频目录 / 组合数学与图论

系列分集

离散数学第 5 讲：逻辑推理

Lecture 5 -Logical Inference

从给定命题一步步得到结论，每一步都要说明所用的推理规则。拿条件命题做例子，区分有效推理与肯定后件。

nptelhrd · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Computer Sc - Discrete Mathematical Structures · 2013-06-09