关注遇见数学, 遇见更精彩的自己
【计算机科学中的数学】(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