课程简介
Course Introduction
离散数学是计算机专业一门重要基础课和专业核心课，是很多后续课程（如数据结构、编译原理、程序设计、操作系统、算法设计与分析、形式语言与自动机、数据库原理和人工智能等）的先修课。离散数学有益于学生概括抽象能力、逻辑思维能力、归纳构造能力等基本数学素养的提升，有益于学生严谨、完整、规范的科学态度的培养。通过学习离散数学，还可以提高独立分析问题及解决问题的能力。
教学大纲
Teaching Syllabus
离散数学一般包括四部分内容:数理逻辑、集合论、代数结构和图论，还包括组合数学、数论、概率论等基本知识。本课程讲授离散数学II，主要包括图论和代数结构两部分，具体如下:
图的基本概念和性质
欧拉图
哈密顿图
树
平面图
匹配与着色
代数系统
群
子群
循环群
置换群
环与域
格
布尔代数
教材:
屈婉玲、耿素云、张立昂，离散数学，高等教育出版社，2008年。
Kenneth H. Rosen, Discrete Mathematics and Its Applications (7th edition), Mc Graw Hill, 2012.
