《离散数学》课程教学大纲（本科）.pdfVIP

离散数学 一、课程说明 课程名称：离散数学/ Discrete Mathematics 课程类别：专业课 学时/学分：48/3 先修课程：线性代数 适用专业：信息管理与信息系统、电子商务、金融学 教材、教学参考书： 1、《离散数学》，左孝凌 等编著，上海科学技术文献出版社，2012 年 2、《离散数学》，邵学才 等编著，电子工业出版社，2013 年 3、《离散数学》，尹宝林 等编著，高等教育出版社， 2011 年 4 、《离散数学及其应用》，屈婉玲 等编著，高等教育出版社， 2011 年 二、课程设置的目的意义 离散数学是专业基础课之一。通过本课程的学习，培养学生的抽象思维和严密的逻 辑推理能力，为进一步学习专业课打好基础，并为学生今后处理离散信息，提高专业 论水平，以及将来进一步从事科学研究提供必备的数学工具。 三、课程的基本要求 通过本课程的学习，学生能达到以下培养要求： 1.专业知识 通过本课程学习，使学生掌握集合论、数理逻辑等方面基本概念、基本理论和基本 方法，了解本课程在实际生活中的应用，理解本课程与专业课的联系。 2.专业能力 帮助学生理解专业课程中很多概念及算法，提高学生的数学思维能力和对实际问题 的求解能力。 3.专业素质 通过本课程的学习，培养并提高学生的离散建模能力，自我创新能力，提高学生将 所学知识应用于实际的能力，从而培养学生养成严谨的学习习惯。 四、教学内容、重点难点及教学设计 总 学时分配 教学方案设计 章节 教学内容 学 讲课 实 教学重点 教学难点 （含教学方法、 时 (含研讨) 践 教学手段） 五种逻辑联结词 （否定、合取、析 命题公式的 取、条件、双条 主析取范式、 件）；命题公式的 主合取范式 讲授、课堂练 第 1 章 命题逻辑 12 12 0 主析取范式、主合 的求法；推 习、课外练习 取范式；推理证明 理证明的间 的直接证法和间 接证法。 接证法。 两个谓词公式等 谓词演算的 价的证明方法；谓 讲授、课堂练 第 2 章 谓词逻辑 12 12 0 推理证明的 词演算的推理证 习、课外练习 方法。 明的方法。 关系的性质及其 关系的传递 判别；关系的复合 性及其判别；