离散数学教案文件-南阳理工学院－－计算机与信息工程学院网络教学平台.doc

PAGE 南 阳 理 工 学 院 教 案 2011-2012 学年 第 1 学期 课 程 名 称 离散数学 授 课 专 业、班 级 计算机科学与技术 总 学 时 、学 分 48 授 课 教 师 陈小玉 职 称 讲师 教 师 所 在 系 院 计算机科学与技术 使 用 教 材 离散数学 南 阳 理 工 学 院 南阳理工学院教案（首页） 课程 名称 离散数学 课程编号 4360101 学时分配 考核方式 学 分 3 讲课：48 实验： 上机： 考试(√) 考查( ) 课程类型 必修 共同教育课（ ）；学科基础课（√）；专业方向课（ ）；实践教学（ ） 选修 共同教育选修课（ ）；学科基础选修课（ ）；专业方向选修课（ ） 专业 计算机科学与技术 授课班级 11专升本 教师 陈小玉 职称 讲师 学位 硕士 教材名称 离散数学 作者 屈婉玲 出版社及 出版时间 高等教育出版社2008.3 参考 资料 离散数学 作者 左孝凌 出版社及 出版时间 上海科学技术文献出版社1982.9 教学目的 要求 离散数学是计算机科学基础理论中的核心内容之一。它是现代数学的一个新分支，并随着信息技术的进步得到了蓬勃的发展。在信息的处理技术、计算机软硬件的设计等领域都有着广泛应用。通过本课程的学习，可以培养学生的抽象思维和严格推理的能力，并使学生掌握信息技术领域中的一些基本数学工具和方法。本课程的具体要求为： 1. 掌握数理逻辑中命题演算、谓词演算等形式逻辑的推理规律； 2. 掌握集合的概念、运算及应用，集合内元素间的关系以及集合之间的关系； 3. 学习二元关系的概念和性质，掌握等价关系和偏序关系； 4. 掌握图论学科的基本理论知识和相关应用； 教学重点 难点 数理逻辑：重点是各个概念和推理方法的教学。由于推理公式繁多，应用这些公式进行逻辑推理是初学者的一个难题，也是教学中的难点。 集合论：重点是集合论的基本概念和运算，难点是自然数的定义。 二元关系 ：重点是各种关系的基本概念、性质及其联系，难点是关系的闭包运算和划分的教学。 图论：重点是路径和回路、二部图和平面图。教学难点是欧拉回路、哈密尔顿回路。 教学方法 教学手段 举例讲解，以问题为中心的启发式+讨论式+互动式 考核方式 考试（80%）+平时成绩（20%） 学生创新精神与实践能力的培养方法 通过本课程学习，使学生掌握对离散的研究方法，提高学生从实际问题抽象出离散量的数学模型能力以及应用离散数学的方法去解决问题的能力，同时学生的抽象思维和缜密推理的能力也得到进一步的提高。给学生展开一个新的观察自然的角度、新思维方法和一个新的研究问题的方法，为今后在相应学科的学习的发展打下良好的基础。 其它要求 阅读利用离散数学知识解决实际问题的文献，激发学习兴趣。 授课时间 2011－2012学年第1学期第2周－17周 南阳理工学院教案（课时备课） 授课题目： 第一章　命题逻辑基本概念 1.1 命题与联结词 课时安排 学时 2 周 次 第2 周 课 序 第1次课 教学目的及要求： 了解离散数学的内容目标和要求； 深刻理解命题、真值、原子命题、复合命题、命题常量、命题变量等概念。 熟练掌握命题的联结词及其真值表。 熟练对命题符号化及求真值。 教学内容及重点、难点： 教学内容： 命题的概念及表示方法。 五种主要的联结词。 真值表的构造及使用方法。 重点：命题的定义和各联结词的使用。 难点：条件联结词符号化和真值。 教学方法：举例讲解，以问题为中心的启发式+讨论式+互动式 教学过程设计 讲解设计： 通过一个有趣的例子（见讲稿）引入离散数学的内容。 简述离散数学的地位以及发展历史及现状，离散数学对人工智能等后续课程的重要性。 命题的概念、命题真值和符号化。 5种联结词的用法。 讲解例题。 归纳总结（简要回顾，重申重点难点）。 布置作业。 板书设计： 命题的概念：能判断真假的陈述句。 命题真值和符号化：命题的真值有两个：真、假。命题符号化使用小写字母p,q,r…,或者带下标也可。 5种基本联结词：命题联结词又称为逻辑运算符，常用的有五种：否定词、合取词、析取词、蕴涵和等值。（通过例题讲解让学生深刻理解联结词的用法）。 课程外延拓展： 数理逻