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

系列分集

离散数学第 4 讲：谓词与量词续讲

Lecture 4 - Predicates & Quantifiers (Contd.)

试着把“所有对象都满足条件”取否定。量词和条件都要相应改变，写成存在一个反例才便于检验。

nptelhrd · 系列收录

在此播放

讨论出处

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