视频 | 计算机科学中的数学 01

   关注遇见数学, 遇见更精彩的自己

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

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

该课程针对MIT计算机专业学生难度还是有些的，加之翻译组水平和时间有限，进度可能会比较慢，请勿催促，感谢理解！如有朋友也愿意加入，以实际行动推动整个进程，小编这里感激不尽，亦会有积分相赠可以兑换礼物、书籍或软件等等。

第一章 1.1.1和1.1.2 小节的视频：

点击边框调出视频工具条

   

1.1.1 Welcome to 6.042

点击边框调出视频工具条

   

1.1.2 Intro to Proofs Part 1