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

系列分集

离散数学第 3 讲：谓词与量词

Lecture 3 - Predicates & Quantifiers

先区分含变量的谓词和已有真值的命题。将“每个”与“存在”互换顺序，看看同一句话的含义会怎样改变。

nptelhrd · 系列收录

在此播放

讨论出处

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