Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

MIT OpenCourseWareYouTube ↗

延伸阅读 1

样本可以推翻全称命题，却不能仅凭多次成功就覆盖全部输入。数学证明要从明确的公理出发，通过演绎把命题连起来。

视频与逐字稿来源 ↗ · 引文按字幕原文展示，可点时间戳回看片段。

补充字幕原文 2

AUDIENCE: Find counterexamples. PROFESSOR: Find counterexamples, yeah, that's good.

is a verification of a proposition by a chain of logical deductions from a set of axioms.