视频 | MIT公开课 计算机科学中的数学 1.2.1(反证法) 1.2.3(穷举法)

翻译小组成员介绍: 道可道

暂时保密

٩(๑>◡<๑)۶

【计算机科学中的数学】（Mathematics for Computer Science）是 MIT 计算机专业的开放课程之一([阅读原文]跳转原链接)。

此公开课共有三个版本：2005 版、2015 春季版和 2015 秋季版。【遇见数学】翻译小组计划陆续翻译2015年版本的此课程视频。

该课程针对MIT计算机专业学生难度还是有些的，加之翻译组水平和时间有限，进度可能会比较慢，请勿催促，感谢理解！如有朋友也愿意加入的话，请扫描下面二维码联系[公理], 我们一起推动整个进程，这里感激不尽！

加入课程翻译组，完成任务亦会有积分相赠可以兑换礼物、书籍或软件等等。

点击边框调出视频工具条

1.2.1 Proof by Contradiction

点击边框调出视频工具条

1.2.3 Proof by Cases