【精翻·双语字幕】MIT 6.042J《计算机科学中的数学》(2015)

本课程面向计算机科学与工程专业，提供离散数学的互动式入门介绍。课程内容大致分为三部分：
1.数学基本概念：定义、证明、集合、函数、关系。
2.离散结构：图、状态机、模算术、计数。
3.离散概率论。
完成 6.042J 课程后，学生将能够解释并应用计算机科学中离散（非连续）数学的基本方法。他们将能够在后续的算法设计与分析、可计算性理论、软件工程和计算机系统等课程中使用这些方法。