课程编号：0812001736 课程名称：离散结构 英文名称：Discrete Mathematical Structures 学时/学分： 48/3 主要选课对象：计算机科学与技术专业本科学生 内容简介： 《离散结构》是为计算机科学与技术专业本科生开设的一门专业基础课，开课目的是使学生掌握命题逻辑的基本概念、命题逻辑等值演算、命题逻辑的推理理论；掌握一阶逻辑基本概念、一阶逻辑等值演算与推理；掌握集合的基本概念、集合的运算、有穷集的计数、集合恒等式、二元关系的概念、二元关系的运算、二元关系的性质、等价关系与划分的概念、偏序关系的概念；掌握通路与回路的概念、图的连通性、图的矩阵表示；掌握欧拉图与哈密顿图的定义及其判断；掌握无向树的概念、最小生成树和最优2叉树的求法；掌握平面图的概念及其性质、极大平面图的判断、欧拉公式和推广的欧拉公式及其含义、平面图的判断、平面图的对偶图的含义及其画法、平面图的对偶图的性质。通过本课程的学习，能灵活运用数理逻辑、集合论和图论的知识解决计算机专业课中出现的相关问题，为数理逻辑、集合论和图论的进一步学习打下基础。