离散结构主要研究离散的数量关系和离散的数学结构模型,涵盖了与计算机科学直接相关的大部分数学领域,是计算机类专业的一门核心基础课。本课程主要包括数理逻辑、集合论、图论及代数系统四部分内容,通过各个教学环节逐步培养学生的抽象思维能力、逻辑思维能力、数学建模能力、证明技巧、形式化程序设计能力以及综合归纳分析的能力。
课程以基本理论为基础,实际问题为驱动,案例应用为背景,以解决问题为目标。通过课程的学习,逐步培养计算思维能力,锻炼运用数学与自然科学知识解决实际问题的能力,有利于提高学习者的学科素质和综合能力。
通过本课程的学习,将使学生获得数理逻辑、集合论、代数结构、图论等方面的基本概念、理论和运算技能及应用能力,培养学生的抽象思维能力、逻辑思维能力、数学建模能力、证明技巧、形式化程序设计、归纳分析等能力,以及综合运用知识解决实际问题、勇于探索和创新的能力。
高等数学、线性代数、高级语言程序设计
(1) 离散数学(第3版),贲可荣,袁景凌,谢茜 ,清华大学出版社,2021
(2) 离散数学解题指导(第3版),贲可荣,袁景凌,谢茜 ,清华大学出版社,2023
(3) 离散数学(第2版),屈婉玲,耿素云,张立昂,高等教育出版社,2015
(4) 计算机科学中的数学:信息与智能时代的必修课, Eric Lehman,F.Thomson Leighton, Albert R.Meyer ,电子工业出版社,2019
(5) Discrete Mathematics and Its Applications(第8版),Kenneth H. Rosen,机械工业出版社,2020
(6) Fundamentals of Discrete Math for Computer Science: A Problem Solving Primer, T Jenkyns and B Stephenson, Springer-Verlag London, 2013