\
课程简介

课程代码 00167 课程名称 离散数学
本课程是一门有关计算机数学基础知识和技能的课程。通过本课程的学习,使学生系统了解离散数学的基础知识和应用方法,为学生进一步研学习和研究其他计算机课程打下良好的数学基础。本课程的主要内容:第一部分数理逻辑,包括命题逻辑和谓词逻辑;第二部分集合论,包括集合的基本知识、排列与组合、递推关系、集合论在命题逻辑中的应用、关系、函数、经典集合的扩展等;第三部分数论,包括整除和同余;第四部分代数系统,包括代数系统的基本概念及性质、半群、独异点、群、环、域、布尔代数等;第五部分图论,包括图的基本概念及矩阵表示、几类重要的图、最短路径、关键路径等;第六部分计算机科学中的应用,包括形式语言与自动机、纠错码等。