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

系列分集

第一讲｜谓词、集合与证明

Lecture 1: Predicates, Sets, and Proofs

谓词带有变量，代入对象才能判断真假。用集合记录使它成立的对象，再用量词写清证明范围。

MIT OpenCourseWare · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗MIT 6.1200J Mathematics for Computer Science, Spring 2024 · 2025-07-23