系列分集
第七讲|几种证明方法
Lecture 7 - Methods of Proof
同一道蕴含命题可以尝试直接推导、逆否或反证。比较每种方法从哪个条件出发,最终要建立什么。
nptelhrd · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Computer Sc - Discrete Mathematical Structures · 2013-06-09
系列分集
Lecture 7 - Methods of Proof
同一道蕴含命题可以尝试直接推导、逆否或反证。比较每种方法从哪个条件出发,最终要建立什么。
nptelhrd · 系列收录