离散数学概论

离散数学概论课程简介：前往报名学习

离散数学概论课程简介：

《离散数学》是一门理论兼实际应用的综合性学科，是计算机学科和其他应用学科的基础理论课。该课程不仅详尽地讲述了离散数学具体内容，更重要的是强调离散数学课程的思想，特别是离散数学中逻辑的思想可以说是贯穿到整个教学中。通过学习，掌握证明问题的方法，培养抽象思维的能力、慎密概括的能力和严密逻辑推理的能力。

前往报名学习

离散数学概论课程目录：

引言

--引言

第1章 集合论

--1.1 集合

--1.2 无限集

--1.3 作业与讨论

第2章 计数问题

--2.1 计数问题

--2.2 作业与讨论

第3章 命题逻辑

--3.1 命题与命题联结词

--3.2 命题公式、解释与真值表

--3.3 公式的标准型——范式

--3.4 命题逻辑的推理理论

--3.5 作业与讨论

第4章 谓词逻辑

--4.1 谓词逻辑中的基本概念与表示

--4.2 谓词合式公式与解释

--4.3 公式的标准型——范式

--4.4 谓词逻辑的推理理论

--4.5 作业与讨论

第5章 证明技术

--5.1 证明技术

--5.2 作业与讨论

第6章 二元关系

--6.1 二元关系

--6.2 关系的运算

--6.3 关系的性质

--6.4 关系的闭包运算

--6.5 作业与讨论

第7章 特殊关系

--7.1 等价关系

--7.2 次序关系

--7.3 作业与讨论

第8章 函数

--8.1 函数

--8.2 函数的运算

--8.3 作业与讨论

第9章 图

--9.1 图的基本概念

--9.2 通路、回路与连通性

--9.3 作业与讨论

第10章 树

--10.1 树

--10.2 根树

--10.3 作业与讨论

第11章 特殊图

--11.1 欧拉图

--11.2 哈密顿图

--11.3 偶图

--11.4 平面图

--11.5 作业与讨论

期末考试

--期末试卷

期末考试

离散数学概论授课教师：

顾小丰-高级工程师-电子科技大学-信息与软件工程学院

顾小丰，电子科技大学信息与软件工程学院高级工程师，慕课《离散数学概论》主讲教师和负责人，在学堂在线开课上线。获国防科学技术进步奖二等奖、四川省科技进步奖三等奖、成都市科技进步奖三等奖各1项，授权专利2项，是电子科技大学“教学质量优秀主讲教师”、国家精品课程和国家精品资源共享课《离散数学》的主讲教师。

李彭曦-工程师-电子科技大学-信息中心

李彭曦，硕士，电子科技大学信息中心工程师。参与电子科技大学教育信息化的推进工作，负责起草了《电子科技大学慕课（MOOC/SPOC）建设管理细则》。从2015年起，负责制作《线性代数与空间解析几何》、《管理心理学》和《离散数学》等多门慕课，并在各类慕课平台上线。出版“十二五”职业教育国家规划教材《计算机组装与维护》，发表EI检索论文3篇。