030732006《离散数学》教学大纲.docxVIP

《离散数学》课程教学大纲 课程代码：030732006 课程英文名称：Discrete Mathematics 课程总学时：48 讲课：48 实验：0 上机：0 适用专业：电子信息科学与技术 大纲编写（修订）时间：2010.7 一、大纲使用说明 （一）课程的地位及教学目标 离散数学是现代数学的一个重要分支，是电子信息科学与技术专业的专业基础选修课。以研 究离散量的结构和相互间的关系为目标，其研究对象是有限个或无限个元素。本课程主要介绍离 散数学各个分支的基本概念、基本理论和基本方法，这些概念、理论及其方法大量应用在数据结 构、操作系统、数字电子技术、数据库原理与应用等专业课程中，是一门重要的基础课程。通过本课程的学习，培养和锻炼抽象思维、逻辑思维和缜密概括的能力，为专业基础课和专业课的学 习打下坚实的理论基础。 （二）知识、能力及技能方面的基本要求 通过本课程的学习，在基础方面，要求学生能够运用命题逻辑语言表达简单的日常语言及推 理，能够运用谓词逻辑语言刻画具有谓词逻辑的语言及推理，明确认识集合、关系的概念，并熟练掌握各种运算，深刻理解代数系统的概念，能够判断代数系统的种类，理解并掌握格；在技能方面，通过掌握离散结构的描述工具和处理方法能够提高抽象思维和严格的逻辑推理能力，为将 来开发工作打下坚实的基础。 （三）实施说明 离散数学是理论性较强的学科，学习离散数学的关键是准确掌握概念，多作练习。教师可通过课堂讲授、答疑、习题课、课后作业练习等多种手段开展教学。 教师在授课过程中可根据实际情况酌情安排各部分的学时，课程学时总体分配表仅供参 考。 （四）对先修课的要求 本课程的教学必须在完成先修课程之后进行。本课程主要的先修课程是高等数学、线性代数。 （五）对习题课、实践环节的要求 对重点、难点章节（如：数理逻辑、集合论和代数结构等）应安排习题课，习题课重点 在于加强基本理论教学，注重培养学生分析问题、解决问题的技能培养与训练。故采取精讲多练， 用以解决实际问题为目的。 课后布置适量的作业，适时反馈作业问题。学生必须独立、按时完成课外习题和作业， 作业的完成情况应作为评定课程成绩的一部分。 （六）课程考核方式 考核方式：考试 考核目标：考核学生对离散数学的基本概念及定理的掌握，基本运算和证明方法的掌握 ，重点考核学生的分析能力和推理能力。 成绩构成：本课程的总成绩主要由两部分组成：平时成绩（包括作业情况、出勤情况、小测验等）占 20%，期末考试成绩占 80%。 （七）参考书目 《离散数学》，杨炳儒编，人民邮电出版社，2006 《离散数学》，李盘林编，人民邮电出版社，2009 《离散数学》，杜忠复编，高等教育出版社，2004 《离散数学》，左孝凌编，上海科学技术文献出版社，1982 二、中文摘要 本课程是电子信息科学与技术专业的一门专业基础选修课。课程主要讲授离散量的结构和相 互间的关系，介绍数理逻辑、集合论和代数结构的基本概念、基本理论和基本方法，培养学生抽象思维、逻辑思维和缜密概括的能力。本课程将为专业基础课和专业课的学习打下坚实的理论基 础。 三、课程学时分配表 1 命题逻辑 12 12 1.1 命题及联结词 2 1.2 命题公式及命题公式的等价、蕴含 2 1.3 对偶与范式 2 1.4 命题演算推理 4 1.5 应用 2 2 谓词逻辑 10 10 2.1 谓词公式与翻译 2 2.2 谓词公式的等价、蕴含及前缀范式 2 2.3 谓词演算推理 4 2.4 应用 2 3 集合与关系 12 12 3.1 集合的概念与性质、集合的运算 2 3.2 序偶和笛卡尔积 2 3.3 关系的概念与性质、关系的运算 2 3.4 偏序关系 2 3.5 等价关系 2 3.6 应用 2 4 函数 4 4 4.1 函数的概念、函数的分类 2 4.2 函数的运算 2 5 代数结构 8 8 5.1 代数系统的基本概念 2 5.2 群 2 5.3 变换群 2 5.4 同构与同态 2 6 格与布尔代数 2 2 合计 48 48 序号教学内容 序号 教学内容 学时 讲课 实验 上机 第 1 部分 命题逻辑 总学时（单位：学时）：12 讲课：12 实验：0 上机：0第 1.1 部分 命题及联结词（讲课 2 学时） 具体内容： 命题 联结词 重 点: 命题的判断，联结词含义及其真值表难 点: 命题的判断，联结词的真值表习 题: 命题的判断 第 1.2 部分 命题公式及命题公式的等价、蕴含（讲课2 学时） 具体内容： 命题公式 命题公式的真值表 命题公式的等价关系 命题公式的蕴含关系重 点: 命题公式的真值表，命题公式的等价关系证明，命题公式的蕴含关系证明难 点: 命题公式的等价关系证明方法，命题公式的蕴含关系证明方法习 题: 命题公式的真值表，命题公式的等价