《离散数学[C]》课程教学大纲

西南科技大学本科课程教学大纲 1 《离散数学[C]》课程教学大纲 【课程编号】：16119013 【英文译名】：Discrete Mathematics 【适用专业】：信息管理与信息系统 【学 分 数】： 2 【总 学 时】： 32 【实践学时】： 0 一、本课程教学目的和课程性质 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，它研究世界事物间的离散结构和相互关系。离散数学理论体系完整，结构严谨，具有很多相应的典型实例。 离散数学课程的目的不仅为计算机科学的专业理论课，诸如：数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等课程提供必要的理论基础，而且为学生今后从事计算机科学方面的工作提供重要的工具。同时通过对本课程学习，要使学生能够接受现代数学关于离散结构的观点，从系统结构的研究方法出发，研究事物间的有关属性；同时要应用数形结合方法，使事物论证简洁直观；此外要通过描述方法和缜密思维方法的训练，使学生具有良好的抽象思维和逻辑思维能力。总之，离散数学不仅是一门服务于专业的工具性学科，而且也是一门培养学生具有缜密素质的核心基础课程。 二、本课程的基本要求 离散数学是培养学生抽象思维和缜密概括能力的素质训练课程。它需要使学生紧密结合专业，为其他专业基础课程做好各种数学知识的准备，同时也要使学生兼具开拓能力。本课程总目标是训练学生具有严密的思维方法，严格证明的推理能力，应用自如的解题技巧，以及训练有素的演算能力，使学生能掌握处理各种离散结构事物的描述工具与方法，以适应学习其他专业课程的各种需要。 一般离散数学课程包括数理逻辑、集合论、图论、代数结构等几个部分。数理逻辑的重点是公式演算与推理证明；集合论的重点是关系理论与映射的描述；图论着重于数形结合的描述以及各种实际应用；代数结构则主要是从系统宏观的代数方法去研究客观事物的各种性质与特征。 三、本课程与其他课程的关系 离散数学是一门体系独立自行封闭的基础数学课程，但为了论述方便，此课程应安排在理 学 院 2 高等数学与线性代数课程之后。为了加强离散结构方法的训练，在讲授本课程的基础上，可讲授数据结构、数据库原理，这样对于集合和图论的应用能够加深理解，温故而知新。另外离散数学与计算机网络与通信，以及计算机系统结构等课程关系紧密，是本专业其它专业基础和专业课的先修课。 四、课程内容 一 命题演算（8学时） ...