0


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
开课单位: 麻省理工学院
开课时间: 信息不详。欢迎您在右侧留言补充。
课程语种: 英语
中文简介:
这是一门离散数学的导论课程,以计算机科学与工程为导向。过程大致划分成三:数学基本概念:定义,证明,集,函数,离散结构的关系:模运算、图形、状态机、计算离散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).
关 键 词: 数学定义; 证明和适用方法; 形式逻辑记数法; 证明方法; 归纳; 良序; 集合; 初等图论; 整数同余; 函数渐近; 排列和组合
课程来源: 麻省理工学院公开课
入库时间: 2018-06-08
最后编审: 2018-06-08:cmh
阅读次数: 225