离散数学教案.pdfVIP

滁州学院计算机与信息工程学院 课程教案 课程名称： 离散数学 授课教师： 赵欢欢 授课对象： 11 级网络工程专业 3 、4 班 授课时间： 2012 年 9 月-2012 年 12 月 滁州学院计算机科学与信息工程学院 2012 年 8 月 1 《离散数学》教学大纲 （Discrete Mathematic） 课程代码 学时 48 学分 3 一、课程简介 本大纲根据 2009 版应用型人才培养方案制订。 （一）教学对象：网络工程、计算机科学与技术专业本科学生 （二）开课学期：第三学期 （三）课程类别：专业基础课 （四）考核方式：考试 （五）参考教材：《离散数学》第2 版 邓辉文 清华大学出版社 2010. 主要参考书目 [1]邵学才,叶秀明. 离散数学[M].北京电子工业出版社，2009. [2]邵志清,虞慧群. 离散数学[M].北京电子工业出版社，2003. [3]屈婉玲. 离散数学习题解析[M].北京大学出版社，2008. 本课程的先修课程是高等数学、线性代数，后续课程包含数据结构、数据库原理 及应用、操作系统、数字逻辑、人工智能、算法分析与设计等。 二、教学基本要求与内容安排 （一）教学目的与要求 离散数学是研究离散量的结构及其相互关系的学科,它在各学科领域特别在计 算机科学领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程必 不可少的先行课程。 本课程的教学目的旨在通过对离散数学的教学，让学生不但可以掌握处理如 集合、代数结构和图等离散结构的描述工具和方法，为后续课程的学习创造条件， 而且为学生今后提高专业理论水平，从事计算机行业的实际工作提供必备的抽象 思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基 础。 （二）教学内容安排 2 学时分配 教学 教学 重点 难点 教学内容 要求 方 (☆) (Δ) 讲课 实 上 其 备注 验 机 他 第一部分 数理逻辑 讲授 15.5 1 命题逻辑的基本概念 2 1.1 命题与联接词 B ☆ 1 1.2 命题公式及其赋值 A ☆ Δ 1 2 命题逻辑等值演算 3.5 2.1 等值式 B ☆ 1 2.2 析取范式与合取范式 A ☆ Δ 1 2.3 联接词的完备集 C 0.5 2.4 可满足性与消解 B 1 3 命题逻辑的推理理论 2 3.1 推理的形式结构