6.042 J / 18.062 J 计算机科学的数学模型 ][6.042J / 18.062J Mathematics for Computer Science]

6.042 J / 18.062 J 计算机科学的数学模型 6.042J / 18.062J Mathematics for Computer Science


课程网址:	http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc...
主讲教师:	Ronitt Rubinfeld ; Albert Meyer
开课单位:	麻省理工学院
开课时间:	2005-07-15
课程语种:	英语
中文简介:	这是一门离散数学的导论课程，以计算机科学与工程为导向。过程大致划分成三:数学基本概念:定义,证明,集,函数,离散结构的关系:模运算、图形、状态机、计算离散a 概率论这门课的一个版本;先前term 也教的一部分会联盟(SMA)计划课程SMA 5512计算机科学(数学)。
课程简介:	This is an introductory course in Discrete Mathematics oriented toward Computer Science and Engineering. The course divides roughly into thirds: Fundamental Concepts of Mathematics: Definitions, Proofs, Sets, Functions, Relations Discrete Structures: Modular Arithmetic, Graphs, State Machines, Counting Discrete Probability Theory A version of this course from a previous term was also taught as part of the Singapore-MIT Alliance (SMA) programme as course number SMA 5512 (Mathematics for Computer Science).
关键词:	数学定义; 证明和适用方法; 形式逻辑记数法; 证明方法; 归纳; 良序; 集合; 初等图论; 整数同余; 函数渐近; 排列和组合
课程来源:	麻省理工学院公开课
最后编审:	2020-05-31：王勇彬(课程编辑志愿者)
阅读次数:	328

境外开放课程导航