离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论,数理逻辑,关系理论,图论相关内容,为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习,将会培养学生的抽象思维能力,逻辑推理能力,缜密概括能力以及分析和解决实际问题的能力。
离散数学的学习,为其后续课程(如数据结构、操作系统、计算机网络、编译理论、数字逻辑理论、数据库系统、算法分析、系统结构、人工智能等)的学习打下坚实的理论基础。
这门课程的理论性较强,知识点比较多,但均“有迹可循,有法可依”,因而完成这门课程的学习并非很难。我们通过对课程内容的合理安排(“营养均衡”),每一讲的精心调配(“正餐”),课后习题的专业配套(“甜点”),为在线学习用户提供了学习离散数学课程的一种新形式。
通过结合线下线上的混合模式授课,本课程致力于实现以下目标:
(1)掌握数理逻辑、集合论、关系论、图论、代数结构相关领域的核心知识,为后续的计算机专业中高级课程(算法分析与设计、数据结构、编译原理、操作系统、人工智能及机器学习)打下坚实基础;
(2)培养学生的抽象思维能力、逻辑推理能力,并用于解决实际问题;
(3)能够以计算机系统和程序语言设计的角度看待实际问题,并建立有效的抽象、逻辑推理思维体系。
本课程的学习环节包含:观看讲课视频、完成单元测验题、参与课程讨论、参加期末考试。
您最好具备《线性代数》的基础,但没有也不会有太大影响,因为只用到很少的矩阵基本概念和运算。
1.《离散数学及其应用》第2版,傅彦等,高等教育出版社
2.《离散数学实验与习题解析》,傅彦等,高等教育出版社
3.《离散数学》第2版,屈婉玲等,高等教育出版社
4.《离散数学及其应用》第七版,Kenneth H.Rosen,机械工业出版社
5. 《离散数学》第七版,Richard Johnsonbaugh,电子工业出版社
QA