离散数学教案 1 《离散数学》教学教案 第一部分 课程总论 一、课程简介 课程名称:离散数学 英文名称:Discrete Mathematics 离散数学:离散数学是现代数学的一个重要分支,是计算机科学的核心课程
以研究离散量的结构和相互间的关系为主要目标,其研究对象是有限个或无限个元素
离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等课程紧密相关
是一门重要的基础课程
教学内容:数理逻辑、集合论、代数结构与布尔代数、图论和在计算机中的应用共五部分
其中第五部分不做考试要求,不占计划内学时,可在第三学期安排讲座课讲授
教学要求:通过该课程的学习,培养和锻炼抽象思维和缜密概括的能力,为专业基础课和专业课的学习打下坚实的理论基础
授课总学时: 3 学时/周 18 周 =54 学时 二、适用对象 本课程教学教案主要针对计算机科学与技术本科专业 三、学习要领 概念(正确):必须掌握好离散数学中大 量的概念 判 断(准 确):根 据概念对事 物 的属 性 进 行 判 断 推 理(可靠 ):根 据多 个判 断推 出 一个新 的判 断 四 、离散数学与计算机的关系 第一部分 数理逻辑 计算机是数理逻辑和电 子 学相结合的产 物 第二部分 集合论 集合:一种 重要的数据结构 关系:关系数据库 的理论基础 函 数:所 有计算机语 言 中不可缺 少 的一部分 第三部分 代数系统 计算机编码 和纠 错码 理论 数字 逻辑设计基础 计算机使 用的各 种 运 算 离散数学教案 2 第四部分 图论 数据结构、操作系统、编译原理、计算机网络原理的基础 五、教材及主要参考书 教材:离散数学 (第四版) 耿素云 曲婉玲 张立昂 参考书: [1] 王元元、张桂芸,离散数学导论,科学出版社,2002 [2] 左孝凌、李为鑑、刘永才,离散数学,