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