计算机专业离散数学教学改革与实践
应用型本科计算机专业离散数学教学实践
应用型本科计算机专业离散数学教学实践摘要：离散数学课程是计算机科学的核心基础理论课程，探索研究其教学方法和教学技巧，帮助学生掌握这门课程具有重要的实际意义。
本文从教学内容、教学方法和教学手段三方面对离散数学教学作了分析和探讨。
关键词：离散数学;教学方法;教学手段0 引言离散数学是现代数学的一个重要分支，以离散量作为研究对象，涉及的内容较广，充分描述了计算机科学离散性的特点。
离散数学课程是计算机科学的核心基础理论课程，教学对象是计算机及相关专业的本科学生。
通过这门课程的学习，不但要使学生掌握离散量的结构及其相互间的关系，而且要培养学生的抽象思维、逻辑推理、符号演算和缜密概括的能力，为数据结构、操作系统、编译理论、算法分析等后续课程的学习打下坚实的数学基础，也为迎接未来数学、计算机科学新技术的挑战作必要的理论储备。
据统计，目前国内离散数学课程大致分为3个层次。
少数著名高校，如清华、北大等，为强化基础理论,将该课程分拆为多门课程，学时甚至多达200多学时；大多数重点院校兼顾计算机科学和计算机应用所涉及的离散结构数学模型的讲授,内容较为宽广深入,讲授课时大约在72至90学时；部分院校要求稍低,只讲授和计算机应用有关的离散结构数学模型。
笔者所在院校属于第3层次，离散数学教学为48学时。
本文结合教学实际，从教学内容、教学方法和教学手段3方面对离散数学教学作了分析和探讨。
1 教学内容《离散数学》课程的教学内容一般包括4个部分：数理逻辑、集合论、代数系统和图论。
由于学时有限，不可能全部内容都详细讲授，因此对讲授内容应当有所侧重和取舍。
对于对后继课程影响不大，而学生又不容易理解的内容删除不讲，从而保证学生学一部分会一部分，而不是学了很多却什么都不能深入理解。
在数理逻辑的教学中强化训练学生逻辑演算能力，并通过逻辑推理理论的学习来提高逻辑推理能力。
在集合基本概念部分，学生对其中很多内容在中学已有所了解，因此这部分内容只需简单介绍。
离散数学与计算机专业学习的关系
离散数学与计算机专业学习的关系作者：周庆平来源：《价值工程》2010年第10期摘要:离散数学不但是数学中涉及面非常广的课程而且是计算机科学与技术专业的一门重要的专业基础课程,特别是近几十年来,由于计算机的迅速发展与广泛应用,大量与数学相关的实际问题往往需首先转化成离散数学的问题。
本文就离散数学与计算机专业课程进程中的相关问题做出自身的评判。
Abstract: Discrete mathematics is not only curriculum with wide range,but also an important basic course in computer science and technology profession,especiall in recent decades,due to the rapid development and wide range of computer applications,a large number of mathematics related to the actual problems often need firstly convert the problem of discrete mathematics. This paper discussed discrete mathematics and computer science courses and made its own assessment on related issues.关键词:离散数学;离散建模;课程改革Key words: discrete mathematics;dispersion modeling;curriculum reform中图分类号:TP3-05文献标识码:A文章编号:1006-4311(2010)10-0204-020引言离散数学课程自上世纪70年代出现以来一直是计算机专业的核心课程之一,离散数学课程的教学目的,不但作为计算机科学与技术及相关专业的理论基础及核心主干课,对后续课程提供必需的理论支持。
离散数学课程教学方法改革
离散数学课程教学方法改革作者：李伟伟孟召平秦茂玲来源：《电脑知识与技术》2016年第25期摘要：离散数学是计算机专业的核心课程，但是该门课程基本概念多、理论性强、高度抽象、枯燥无味，导致课堂效果并不理想。
该文通过六个方面对该课程进行教学改革：计算思维导向培养创新能力、抓住关键第一次课先声夺人、问题驱动提高学生学习积极性、把学生当顾客先进管理理念引入课堂、建设优质网络课程实现混合式教学和改革考核方式增强学生学习主动性。
通过这六个方面的教学改革，大大提高了学生的学习积极性，教学质量显著提高。
关键词：离散数学；客户体验管理；“爱德玛”法则；混合式教学中图分类号：G642 文献标识码：A 文章编号：1009-3044（2016）25-0121-02Abstract： Discrete Mathematics is a core curriculum of computer specialty， but this course has too many basic conceptions to understand. Six aspects have been proposed in this paper：Computational Thinking oriented to cultivate innovative ability， grasp the first class to stimulate learning enthusiasm， introduce advanced management concept into class， and build high quality network courses to realize blended teaching， and reform test mode. Those six methods promote significantly the effect of the class at the end.Key words： Discrete Mathematics； Customer Experience Management；AIDMA Law；Blended Teaching离散数学是计算机科学与技术专业的核心课程。
计算机专业离散数学课程教学方法的探讨
多年 以来教学实践效果不是很 理想， 本文针 对离散 的种种特点 ， 就教学 目 的、 教 学主线、 教学 内容 以及教 学方法几个 方面展开论述 ，
以期 改善教学现状 。
关键词 ：离散数学；计算思维 ； 课 堂导入 ；实验 ；工程 实例
中图分类号 ：Ｏ１ ５ ８ — ４ 文献标识码 ：Ａ ＤＯＩ ：１ ０ ． ３ ９ ６ ９ ／ ｊ ． ｉ ｓ ｓ ｎ ． １ ０ ０ ３ — ６ ９ ７ ０ ． ２ ０ １ ３ ． ０ ６ ． ０ ５ ２
［ Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ］Ａｓ ａ ｐ ｒ ｏ ｆ ｅ ｓ ｓ ｉ ｏ ｎ ａ ｌ ｃ ｏ ｒ ｅ ｃ ｕ ｒ ｒ ｉ ｃ ｕ ｌ ｕ ｍ， ｄ ｉ ｓ ｃ ｒ ｅ ｔ ｅ ｍａ ｔ ｈ ｅ ｍａ ｔ ｉ ｃ ｓ ｐ ｒ ｏ ｖ ｉ ｄ ｅ ｓ ｔ ｈ ｅ ｂ ａ ｓ ｉ ｃ ｋ ｎ ｏ ｗｌ ｅ ｄ ｇ ｅ ｆ ｏ ｒ ｍａ ｎ ｙ ｃ ｏ ｕ ｒ ｓ ｅ ｓ ａ ｂ ｏ ｕ ｔ ｃ ｏ ｍｐ ｕ ｔ ｅ ｒ
０引言
离散数学是 计算机科学 与技 术专业的核心基 础课 ，在计算
机科学与技 术专 业课程体 系中起到重要 的基础理 论支撑作用。 它所涉及到的很多概念 、理论和方法被大量的应用于数字电路 、
１明确教 学 目的
正如前面所 言，离散数 学的学习 目的是为 了给 计算机科学 的一 系列专 业核心课程打下坚实 的数 学基 础，但同时更重要 的 是为将 来从事软硬件开发和应用研究 ， 培养抽象思维 、 直觉思维 、
ｓ ａ ｔ ｉ ｓ ｆ ａ ｃ ｔ ｏ ｒ ｙ ａ ｓ ｅ ｘ ｐ ｅ ｃ ｔ ｅ ｄ ｄ ｕ ｒ ｉ ｎ ｇ ｈｅ ｔ ｓ ｅ ｙ ｅ ａ ｒ ｓ ． Ａｃ ｃ ｏ ｒ ｄ ｉ ｎ ｇ ｔ ｏ ｈｅ ｔ ｖ ａ ｒ ｉ ｏ ｕ ｓ ｃ ｈ ａ ｒ ａ ｃ ｔ ｅ ｒ ｉ ｓ ｔ ｉ ｃ ｓ ｏ ｆ ｄ ｉ ｓ ｃ ｒ ｅ ｔ ｅ ｍａ ｔ ｈ ｅ ｍａ ｔ ｉ ｃ ｓ ， ｈｅ ｔ ａ ｕ ｔ ｈ ｏ ｒ ｍａ ｋ ｅ ｓ ａ ｄ ｉ ｓ ｃ ｕ ｓ ｓ ｉ ｏ ｎ ａ ｂ ｏ ｕ ｔ ｔ ｅ ａ ｃ ｈ ｉ ｎ ｇ ｐ ｕ ｒ ｐ ｏ ｓ ｅ ， ｔ ｅ ａ ｃ ｈ ｉ ｎ ｇ ｃ ｏ ｎ ｔ ｅ ｎ ｔ ， ｔ ｅ ａ ｃ ｈ ｉ ｎ ｇ ｍｅ ｈｏ ｔ ｄ ａ ｎ ｄ ｍａ ｉ ｎ ｔ ｈ ｒ ｅ ａ ｄ ｏ ｆ ｄ ｉ ｓ ｃ ｒ ｅ ｔ ｅ ｍａ ｈｅ ｔ ｍａ ｔ ｉ ｃ ｓ ｉ ｎ ｏ ｒ ｄ ｅ ｒ ｔ ｏ ｉ ｍｐ ｒ ｏ ｖ ｅ ｃ ｕ ｒ ｒ ｅ ｎ ｔ ｔ ｅ ａ ｃ ｈ ｉ ｎ ｇ
试谈离散数学教学改革
●＿
试 谈 离 散 数 学 教 学 改 革
高赋勇
（ 湖北 省 荆州职 业 技 术学 院科 技学 院）
［ 摘 要］ 着计 算机 科学 技术 的 快速发 展， 计 算机 专业 基础 理论 课 的教 学提 出 了新的 要求 ， 随 对 针对 这样 情况 ， 行 了离散数 学课 的 教学 改革 实践， 进 即采取 了 将 板书 、多 媒体和 计算 机 网络等 多种 教 学手段 综 合运用 的教学 形式 和知 识型 教 学与研 究 型教 学相 结合 的教 学方法 ， 为本 学科 其他 基础 理论 课 的教学 工作提 供 了 新 的思 路 。 ［ 关键 词］ 散数 学 教学 形式 教 学方 法 离 中 图分 类号 ： ４ Ｃ２ 文献 标识码 ： Ａ 文 章编 号 ：０ ９ ９ ４ （ ０ ０ １ － １ １ ０ １ ０ １ Ｘ ２ １ ） ３ ０ ４ １
基础。
具体 的教 学内容， 以此教 材作 为蓝本 ， 按不 同要求 将全 部 内容分 成三 个层
次：
（） 本 了解层 次 ： 要是 相关 景 知识 和一 些相 关领 域 的知 识 ： １基 主 （） 刻领 会层 次 ： 要 是基本 定 义 、基 本 结论和 基本 方法 ； ２深 主
媒 体教 学并 不好， 因此尝 试 多种教 学手 段相 结合 的教 学 形式 。具体 做法 是 ： 在
课 堂讲授 时 ， 以多媒 体教 学 为主， 样可 以利 用 图、 、 字和 声音 信息 ， 如 这 表 文 例
在 讲授 图论 内容 时， 利用 多媒 体展 示 比较形 象 、 观 。 对 于 比较 抽 象和 复杂 直 而
（） ３ 综合运 用层 次 ： 要 是应用 的层 次 和动 手 实践 的部 分 。 主
“离散数学”课程的教学改革与实践
２ ９ 第３ （ ０ 年 期 总第８ 期） ０ ５
“ 散数 学 ＂ 课 程 的教 学 改 革 与 实践 离
徐 凤 生
（ 德州学院 计算机 系 ，山东 德州 ２３２ ） ５０ ３
摘 要 文章结合笔者多年的 离 散数 学教学实践经验，从教材建设、教学方法和实践环节三 个方 面对 离散 数 学课 程 的教 学改革进 行 了探 讨 。教 学 实践证 明 ，教 材 的 内容 确保 了计算机 专业 学 生应有 的数 学知识 、素质 和 能力 ；教 学方法行之 有效 ；实践 环 节切 实可行 。 关 键词 离散数 学 教 材 建设 教 学方 法 教 学改革 实践 环节 中 图分 类号 Ｇ ４ ． ６２０ 文献标 识码 Ａ
我们 提 出 了离散 数学 教学 分为 三个 阶段教 学 的概念 ，即基本 概念 、基本 理论 和基 本知 识 的教 学 ，该 阶段教 学 主要 是 为学生 深入 学 习打下 坚实 的理论 基础 ；基 本原 理 、基 本 方法 、基本 技巧 的
教学，该阶段教学主要是培养学生抽象思维、逻辑推理及解决问题的能力 ；离散数学在计算机科 学 与技术应 用 方面 的教学 ，该 阶段教 学 主要是 引导 学生 利用所 学 知识 解决实 际 问题 。 （ ） 教学 内容 的有机 整合 三
收稿 日期 ２０ ０ ０ ８— ５—２ ３
作者简 介
徐凤生 （ ９ ５一）男 ，山东聊城人 ，教授 ，主要从事不确 定性理论 、离散数学教学改革研究 １６
．・・— —
４ ．— ４ － － —
高等理 科教 育
“ 离散数学”课程的 教学改革与实践
集合论 、数论 、代数系统、图论和离散数学在计算机科学中的应用六部分 ，涵盖了离散数学的所 有知识要点 ，确保 了计算机专业学生应有的数学知识 、素质和能力 ；编写精炼 ，重点突 出；吸收
计算机专业离散数学实验教学与实践
这 门课 程 的兴 趣 ， 动 学 生 的 学 习 积 极 性 ， 而 提 高 课 程 的 业 学 生 来 说 图论 是 直 接 后 继 课 程 数 据 结 构 中 树 与 图 的 理 论 调 进
教 学 质 量 ， 学 生 后 续 课 程 的 学 习 和 进 一 步 的科 学 研 究 都 有 基 础 。这 部 分 上 机 实 验 设 计 结 合 数 据 结 构 相 关 内 容 进 行 设 对
进 一 步 加 深 理 解 离 散 数 学 在 计 算 机 解 决 问 题 中 的 重 要 作 用 ， 电子 计算 机硬 件 设 计 和 通 信 系统 设 计 中 的重 要 工 具 ， 可 单 独 也 提 高 利 用 计 算 机 解 决 问 题 的 能 力 和 软 件 开 发 的 能 力 。 因 此 安 排 一 次 实验 。 教 师 在 授 课 过 程 中 要 注 重 理 论 联 系 实 际 ， 强 实 验 教 学 环 加 （ ） 论 部 分 实 验 。 图 是 一 类 相 当 广 泛 的 实 际 问 题 的 数 ４图
离 散 数 学 课 程 内 容 概 念 多 、 论 性 强 、 度 抽 象 ， 使 在 与 关 系 的 学 习相 结 合 ， 加 学 生 对 关 系 知 识 的 亲 切 感 ， 低 理 高 致 增 降 实 际 教 学 中 出 现 了学 生 学 习 兴 趣 不 高 、 习 目 的 不 明 确 、 学 学 学 习 过 程 的 难 度 。 习 效 果 不 理 想 等 现 象 ］ 传 统 教 学 中 过 于 注 重 理 论 教 学 而 。 （ ） 数 结 构实 验 。代 数 结 构 在 计算 机 科 学 中非 常 重要 ， ３代 被 忽 略 实 验 ， 生 普 遍 认 为 枯 燥 难 懂 ， 为 是 纯 粹 的数 学 课 程 ， 广 泛 应用 于许 多 分 支 学 科 ， 计 算 复 杂 性 理 论 、 码 学 、 信 系 学 认 如 密 通 对 提 高 计 算 机 编 程 能 力 用 处 不 大 。 从 学 生 的 认 知 规 律 可 以 统设 计 和 软 件 理 论 等 。但 是 这 部 分 内 容 十 分 抽 象 ， 于 半 群 、 对
地方师范院校计算机专业的离散数学课程教学改革
・ ５・ ６
地方师范院校计算机专业的离散数学课程教学改革
崔彩 霞
（ 太原师范学院计算机 系，山西 太原 ０ ０１） ３ ０２
摘 要 ：从 离散数 学教 学 内容的现状 和地方 师范 院校计 算机专业 学生的特 点这两个 方面 ， 分析 了当前地 方师范院校计 算机 专业 离散数 学课程教 学改革 的必要 性 ， 出了离散数 学教 学 内容的具体改革方 案。经过 几年的改革 实践 ， 生学习 提 学
Ｋｅ ｒ ｓ ｉ ｒｔ ｍａｈｍａｉｓ ｅｃ ｉｇ ｃｎｅｔｒｆｒ ｙ ｗｏｄ ：ｄｓ ｅ ｔｅ ｔ ；ｔａｈｎ ｏ ｔｎ ｅｏｍ；ｌｃｌｔａｈ ｒ ｃ ｌ ｇ ｓ ｏ ｕｅ ｊｒ ｃ ｅ ｃ ｏａ ｅ ｃｅｓ ｏｌ ｅ ；ｃｍｐ ｔ ｍａｏ ｅ ｒ
０ 引 言
离散数学是现 代数学 的一个 重要分支 ， 计算 机专业的 也是
一
个 生 抽象思 维能 力 、 辑推 理能 力和创新能 力 ， 逻 为学 生 以后 的学 数系统和 图论 四部分 ， 别院校还增加 了实验 。还 有个别学校 很 习和工作 打下坚 实 的基 础 。本 文从 离散数 学教学 内容 的现 状 根 据学时对代数 系统和关系做 了大量的删减 ， 多学校几乎不 和师 范院校计算机 专业学生 的特 点出发 ， 师范院校 计算 机专 对 业 的离散数 学课程教学 内容的改革作 了探讨 。
１１ 计算机 专业离散 数学的教 学现状 ．． ２
通过对 国 内多所高校 计算机 专业离 散数学 的教学状 况 的 我们 许 门重要 的专 业基础课 ， 其研究对 象是计算机能够处 理的各种 调查 ， 发现 ， 多高校 计算机专 业离散数学 的学 时数明显 减少 ， 大多数 院校从 １４ 时减为 １８ 时 ， ４学 ０学 又减到 ９ 学 时或 ０ 有 限的离散量 的结构及其相 互关 系 。通过 该课程的教学 ， 不仅 ２ ４ 学时 。 能 为学生 学 习计算机及 相关 专业后 续课程 （ 数据结 构 、 如 编译 ７ 学时 。只有个别一流大学如北京大学为 １４ ９ 学 时离散数学 的教学 内容仍然 是集合论 、 理逻辑 、 ０ 数 代 原理 、 据库原理和人 工智能等 ） 数 奠定理论基础 ， 能培 养学 而且
基于悖论的离散数学教学改革与实践
独立学院离散数学教学改革措施探究3300字
独立学院离散数学教学改革措施探究3300字0引言独立学院是我国高等教育中的一种特殊事物，它是以公办高校的优质教学资源为依托，引入社会资金，采用新的机制、新模式创办的相对独立的本科院校[1].独立学院的办学定位是培养能够适应社会进步和经济转型的应用型人才，而离散数学是计算机专业的一门专业基础课，并且有利于学生的逻辑思维能力和解决实际问题能力的培养。
独立学院大多都是照搬母体院校离散数学的教学模式和教学内容，与独立学院的教学定位不符，这就直接影响的教学质量和独立学院应用型人才培养目标实现。
因此，为了能够实现独立学院应用型人才培养的目标和提高人才培养质量，必须对独立学院的离散数学教学进行改革，以适应应用型人才培养进程的需要。
1独立学院目前的离散数学教学现状分析由于大多数的独立院校成立的时间都比较短，缺乏诸如教学管理、教学设计等方面的经验，教学的组织和管理大多借鉴或者直接采用母体院校的教学模式，并没有考虑的独立学院的应用型人才的办学定位和生源数学基础参差不齐的情况，就离散数学而言，主要表现在以下几个方面。
1.1 缺乏独立完善的教学体系独立院校由于成立时间短，在人才培养模式和教学体系构建方面缺乏经验，因此其人才培养方案制订基本上参考母体院校的人才培养方案，课程设置也是在母体院校的基础上对课程内容作简单的删减所得。
这样的删减严重破坏了离散数学课程的系统性和完整性，对后续课程的学习也带来了不同程度的影响。
独立学院虽然依托于母体院校，但又独立于母体院校，因此必须有一个独立完善的教学体系，进而来满足独立学院应用型人才培养的目标定位。
1.2 缺乏灵活的教学组织形式由于生源的特殊性，独立学院的学生数学基础普遍较差，并且个体差异较大，这就使得在离散数学教学过程中不能够采用"一刀切"的方式，不管学生基础参差不齐的实际，而"眉毛胡子一把抓". 对所有的学生采用统一的教学组织形式，往往会造成两极分化：好的更好，差的更差。
离散数学计算机实验报告
《离散数学》实验一、实验目的《离散数学》是现代数学的一个重要分支，是计算机科学与技术专业的基础理论课，也是该专业的核心课程和主干课程。
“离散数学”是计算机专业一门重要的专业技术基础课程，是计算机专业的一门核心的关键性课程。
该课程一方面为后继课程如数据结构、编绎原理、操作系统、数据库原理、人工智能和形式语言与自动机等提供必要的理论基础；同时，更为重要的是培养学生的抽象思维能力和逻辑推理能力，为今后的学习和工作打好基础。
无论从计算机学科发展的过去、现在和未来看，《离散数学》都是计算机科学与技术专业不可缺少的重要组成部分。
这门课程有着其它课程不可替代的地位和作用，是一门承前启后的课程。
根据《离散数学》课程本身的理论性较强的特性，为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个专业学习打好基础，要求运用所学知识，上机解决一些典型问题，设置实践环节十分重要。
通过实验实践内容的训练，突出逻辑性思维训练的特征, 目的是学习离散数学中的基本算法和方法，掌握数理逻辑、关系和图论中的基本算法，提高学生学习的兴趣及实际动手的能力。
通过分析、设计、编码、调试等各环节的训练，使学生深刻理解、牢固掌握所学知识，培养分析、解决实际问题的能力。
二、实验要求掌握真值表技术，熟悉联结词合取、析取、条件和双条件的概念。
熟悉Warshall算法，掌握求关系的自反闭包、对称闭包和传递闭包的方法。
熟悉邻接矩阵和两结点间长度为m 的路的数目的关系。
熟悉最优树的构造算法，掌握最优树的构造过程。
实验前作好准备，分析问题并确定算法，设计代码。
做实验过程中认真分析和调试程序，记录并分析实验结果。
实验后完成实验报告，实验报告包括实验目的、实验内容、源程序、运行结果及分析。
可以使用C、VC或MATLAB完成实验。
实验题目包括真值计算、关系闭包计算、计算两结点间长度为m的路的数目、最优树的构造四个实验，每个实验要求2个学时完成。
三、实验设备及环境PC机一台，软件C、VC或MATLAB四、实验内容实验一真值计算1、实验目的熟悉五个常用联结词合取、析取、条件和双条件的概念，掌握真值表技术。
高职院校计算机应用类专业离散数学课程教学改革探索与实践
识、 基本概念 、 实践应用等多角度 、 全方位的介绍离散数 学与其他后续课程
（） ２教学内容处理简单 ， 教师把 该 门课 程当成数 学课来 处理 ， 离散数学 之间的关系， 让学生 了解、 领略离散数 学在后 续课 程和本 专业 中的重要作 包括数理逻辑 、 集合论、 代数系统 、 图论、 合数学 等多个彼 此独立 的数学 用， 组 如数据结构 、 操作系统、 编译原理 、 数据库原理和人 工智能、 形式语言及 分 支， 离散数学将这些知识有机 组合成 为合理 、 完善 的体系。这 些知识具 自动机 、 数字逻辑等都离不开离散数学。代数结构 是研 究关于运算及其规 有或 多或少的联系 ， 但又 自成体系 ， 致使 学生感觉各部分 内容联系不大 ， 对 则的学科 ， 代数方法被广泛应 用于可计算性 与计 算复杂性、 密码学 、 网络 与 课程学 习的目的不 明确 ， 学生甚 至觉 得这 门课程 和计算 机科 学联 系不起 通信理论等 ； 图论为数据结构和数据表示理论等 奠定 了数学基础和描述方 来， 从而缺乏学 习兴趣。 法。图论 中的通路与回路 ， 为研究操作系统 中是 否存在 死锁问题提供理论 （） ３离散数学 内容多 、 概念多、 理论 性强、 抽象 、 解题方法 灵活 ， 学生一 时 依 据。支配集 、 覆盖集与近年比较热 门的无线传感器 网络 研究有着密切 的 难 以理解和记忆 ， 并且对定义和 定理之 间的联 系缺 乏一 定的概括 能 力， 在 联系。不仅离散数学的基本思想、 概念和方法广泛地 渗透 在计 算机科 学与 实际教 学中学生兴趣不高 ， 教学效果不理想。 与参与工作后 的实际问题相 互脱节 ， 乏有机 的结合 ， 缺 没有体 现课程 为专 业服务 的基本原 则。 技术的各个领域 ， 而且其基本理论和研究成 果更是全面而系统地影响 和推 ２ 综合利 用多种教学方法 ． 教学方法的改革是提高教 学质量 的重要保证 。离散数学课 程 的特 点 （） ４教学过程还不能围绕“ 职业 ” 的目标开展各项教学活动 ， 课程 的内容 动 着计 算机 科 学 与 技 术 的 发展 。
《离散数学》教学大纲
《离散数学》课程教学大纲课程编号：课程中文名称：离散数学课程英文名称：Discrete mathematics课程类型：考查课课程性质：专业技术基础课总学时： 54学时理论授课学时： 46学时实验（实践）学时：8学时学分：3分适用对象：信息管理与信息系统、信息工程本科先修课程：高等数学线性代数一、编写说明（一）制定大纲的依据依据我系信息管理与信息系统、信息工程专业学科体系和特色化人才培养目标的要求，制定编写了该教学大纲，在内容上突出了《离散数学》课程的基本理论、基本知识和基本技能，反映现代科学技术的发展趋势，体现了我系的特色化人才培养模式。
（二）课程简介离散数学，是现代数学的一个重要分支，是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素。
《离散数学》内容主要包括: 数理逻辑中命题演算、谓词演算等形式逻辑的推理规律；集合的概念、运算及应用，集合内元素间的关系以及集合之间的关系,无限集的特性；抽象代数的基本理论和应用,格与布尔代数图论学科的基本概念、欧拉图、哈密尔顿图、最小路径算法、中国邮路问题、树及平面图的基本理论；通过该课程可以培养学生的抽象思维和慎密的概括能力，该课程主要适用于自动控制、电子工程、管理科学等有关专业，是计算机专业的必修课。
（三）课程性质、目的和任务《离散数学》课程是为计算机科学与技术专业的学生开设的一门专业基础课程。
随着计算机科学的发展和计算机应用领域的日益广泛，迫切需要适当的数学工具来解决计算机科学各个领域中提出的有关离散量的理论问题，离散数学就是适应这种需要而建立的，它综合了计算机科学中所用到的研究离散量的各个数学课题，并进行系统、全面的论述，从而为研究计算机科学及相关学科提供了有利的理论基础和工具。
是学习后续专业课程不可缺少的数学工具，如：高级语言、数据结构、编译原理、操作系统、可计算性理论、人工智能、形式语言与自动机、信息管理与检索以及开关理论等，离散数学也是研究自动控制、管理科学、电子工程等的重要工具。
浅析计算机科学与技术专业中“离散数学”教学方法的改进
浅析计算机科学与技术专业中“离散数学”教学方法的改进摘要:“离散数学”是计算机科学与技术专业必修的专业基础课程,学好该课程对于学习计算机专业的其他课程以及培养学生抽象思维能力和解决问题的能力十分重要。
本文阐述如何培养学生学习离散数学的兴趣,强调了离散数学理论应该与计算机中的应用相结合,并从多方面对离散数学教学方法的改进进行分析和探讨。
关键词:离散数学;教学方法;计算机“离散数学”作为计算机科学与技术专业必修的专业基础课,在计算机领域有着广泛的应用。
它提供了许多计算机专业课程的数学基础,这些课程包括数据结构、算法与分析、数据库理论、自动化理论和操作系统等。
学好离散数学,一方面可以为后续的课程打下基础;另一方面,通过学习离散数学,可以培养学生的抽象思维和逻辑推理能力,提高发现问题、分析问题和解决问题的能力,为今后的学习和工作打下坚实的数学基础。
但由于该课程具有概念多、理论性强、高度抽象、枯燥等特点,致使在教学中出现很多问题。
比如,学生学习积极性不高,学生单一的把该课程看作是一门与计算机毫无关系的数学课程来学,对该课程在计算机领域的作用认识模糊等,导致教学效果不理想。
因此,激发学生对该课程的学习兴趣,改进离散数学的教学方法是十分必要的。
1培养学生的兴趣在任何一门课程的讲授中,培养学生的学习兴趣都是非常重要的。
为了培养学生学习离散数学的兴趣,在教学中要特别注重前几堂课的教学,尤其是第一堂课,不能直接进入离散数学的理论知识学习,而是要通过一些实例来说明离散数学的用处,如“哥尼斯堡七桥问题”、“四色问题”等。
通过前几堂课的教学,让学生充分认识到离散数学与计算机科学其他课程之间的密切关系,从而从思想的高度认识此门课程的关键性。
当然,教师课堂教学的艺术性与感染力也是培养学生对离散数学产生兴趣的重要方面。
因为大部分学生对离散数学这门课程的地位和作用认识不足,学习兴趣没有学习与编程语言相关的课程那么高涨,上课容易走神,从而导致最终的考试结果不理想。
《离散数学》课程在计算机学科中的作用及其应用
《离散数学》课程在计算机学科中的作用及其应用黄震（惠州学院计算机科学系，广东惠州 516007）摘要：离散数学是计算机科学的核心基础理论课，为后续课程提供必须的理论基础.分析了离散数学在计算机学科中与其他课程之间的关系，阐述了离散数学在计算机领域的实际应用.关键词：离散数学；计算机；应用中图分类号：G642 文献标识码：A 文章编号：1673-260X（2011）05-0264-02离散数学是计算机学科的专业基础课，不但为后续课程提供必须的理论基础，而且可以培养学生的抽象思维能力和解决问题的能力.离散数学的教学内容与计算机硬件和软件都有着密切的关系，具有鲜明的基础特点，不仅是数据结构、数据库原理、数字逻辑、编译原理、人工智能、信息安全等课程的前续课程，同时以计算机导论和程序设计基础作为离散数学的先导课程[1].离散数学是计算机应用的必不可少的工具.例如数理逻辑在数据模型、计算机语义、人工智能等方面的应用，集合论在数据库技术中的应用，代数系统在信息安全中的密码学方面的应用，图论在信息检索、网络布线、指令系统优化等方面的应用.1 离散数学与其他课程的关系1.1 离散数学与数据结构的关系离散数学与数据结构的关系非常紧密，数据结构课程描述的的对象有四种，分别是线形结构、集合、树形结构和图结构，这些对象都是离散数学研究的内容.线形结构中的线形表、栈、队列等都是根据数据元素之间关系的不同而建立的对象，离散数学中的关系这一章就是研究有关元素之间的不同关系的内容；数据结构中的集合对象以及集合的各种运算都是离散数学中集合论研究的内容；离散数学中的树和图论的内容为数据结构中的树形结构对象和图结构对象的研究提供了很好的知识基础.1.2 离散数学与数据库原理的关系目前数据库原理主要研究的数据库类型是关系数据库.关系数据库中的关系演算和关系模型需要用到离散数学中的谓词逻辑的知识；关系数据库的逻辑结构是由行和列构成的二维表，表之间的连接操作需要用到离散数学中的笛卡儿积的知识，表数据的查询、插入、删除和修改等操作都需要用到离散数学中的关系代数理论和数理逻辑中的知识.1.3 离散数学与数字逻辑的关系数字逻辑为计算机硬件中的电路设计提供了重要理论，而离散数学中的数理逻辑部分为数字逻辑提供了重要的数学基础.在离散数学中命题逻辑中的联结词运算可以解决电路设计中的由高低电平表示的各信号之间的运算以及二进制数的位运算等问题.1.4 离散数学与编译原理的关系编译原理和技术是软件工程技术人员很重要的基础知识，编译程序是非常复杂的系统程序，包括词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成、依赖机器的代码优化7个阶段.离散数学中的计算模型[2]这一章的语言和文法、有限状态机、语言的识别和图灵机等知识点为编译程序中的词法分析和语法分析提供了基础.1.5 离散数学与人工智能的关系[3]离散数学中数学推理和布尔代数章节中的知识为早期的人工智能研究领域打下了良好的数学基础.谓词逻辑演算为人工智能学科提供了一种重要的知识表示方法和推理方法.另外，模糊逻辑的概念也可以用于人工智能.1.6 离散数学与信息安全的关系信息安全应用方面与离散数学也关系密切，离散数学中的代数系统和初等数论为密码学提供了重要的数学基础，例如凯撒密码的本质就是使用了代数系统中的群的知识，初等数论中的欧拉定理和费马小定理为著名的RSA公钥密码体系提供了最直接的数学基础.1.7 离散数学与其他课程的关系离散数学除了与以上课程关系密切，与其他课程也有着非常重要的关系，这里以表格的形式列出离散数学与后续课程相关联的知识点，如表1所示.2 离散数学的应用离散数学课程包括数理逻辑、集合论、代数系统和图论几个部分，下面分别介绍一下这几个部分在计算机各方面的应用.2.1 数理逻辑的应用数理逻辑是用数学方法研究思维规律的一门学科，包括命题逻辑、谓词逻辑和推理理论等知识点.命题逻辑中的联结词广泛应用在大量信息的检索、逻辑运算和位运算中，例如目前大部分网页检索引擎都支持布尔检索，使用NOT、AND、OR等联结词进行检索有助于快速找到特定主题的网页；信息在计算机内都表示为0或1构成的位串，通过对位串的运算可以对信息进行处理，计算机字位的运算与逻辑中的联结词的运算规则是一致的，掌握了联结词的运算为计算机信息的处理提供了很好的知识基础.在计算机硬件设计中，使用了联结词完备集中的与非和或非，使用与非门和或非门设计逻辑线路，替代了之前的非门、与门和或门的组合，优化了逻辑线路.谓词逻辑可以表示关系模型中的关系操作[4]，用谓词逻辑表示关系操作的关系演算形式是：{s[<属性表>]│R(s)}，其中R(s)指的是s用该满足的谓词，例如要查询不及格的女同学的名字，关系演算的表达式为：{s<name>│s∈student and s.sex=’w’ and s.score<60}.推理理论可以应用到计算机语义的理解中，在推理理论中验证某理论的逻辑正确性时首先需要将其形式化，这样在逻辑推理时就直接使用逻辑规则进行推理而不需要理会其具体含义了，在计算机语义中，也可以将其形式化，借助推理理论的方法进行计算机语义的理解. 2.2 集合论的应用集合是由各种不同元素构成的，并用统一的方法来处理的对象，集合论包括集合代数、关系和函数等知识点.集合代数中的集合的性质和集合的运算主要是为其他学科提供数学基础，现实世界中的数字、符号、图像、语音、视频等各种信息都可以作为数据存放到计算机进行处理，这些数据就构成集合.关系是一种特殊的集合，它反映了研究对象之间的联系与性质，例如关系数据库模型中，每个数据库都是一个关系，在计算机程序中输入和输出就构成一个二元关系.等价关系和偏序关系广泛的存在于实际应用中，例如利用偏序的知识可以解决调度中的最优调度问题；在软件工程的软件测试方法中有一种等价类划分的方法，即将所有待测试的数据构成的集合划分为符合软件需求规格和设计规定的有效等价类和不符合的无效等价类，因为每个等价类中只需要取一个数据代表其所在等价类的其他数据进行测试，所以大大提高了软件测试的效率.函数的应用比较广泛，例如在密码学中的应用，公钥系统中的原理是基于单向陷门函数，单向陷门函数满足3个条件：（1）对于属于定义域的任意一个x，可以很容易算出F(x)=y，（2）对于几乎所有属于值域的任意一个y，则在计算上除非获得陷门，否则不可能求出x，使得x=F-1(y),（3）若有一额外数据z（称为陷门），则可以很容易的求出x=F-1(z).单向陷门函数与单向函数的差异在于可逆与不可逆.若单向陷门函数存在，则任何单向陷门函数均可用来设计公开密钥密码系统.同时，若单向函数满足交换性，则单向函数也可能用来设计公开密钥密码系统.2.3 代数系统的应用代数系统研究的是集合、该集合中元素的运算和一些特殊元素，其中群是一种特殊的代数系统，具有可结合、有单位元、每个元素都有逆元等性质.凯撒密码系统的原理是将字母表的字母右移n个位置，n即key，然后对字母表长度l作模运算，加密形式为：c=(m+n)mod l，解密形式为：m=(c-n)mod l，其实凯撒密码就是建立在26个字母之上，字母与key运算的剩余模群.椭圆曲线加密算法是利用椭圆曲线离散对数问题，椭圆曲线离散对数问题定义如下：给定素数p和椭圆曲线E，对Q=kP,在已知P,Q的情况下求出小于p的正整数k，由于已知k和P计算Q比较容易，而由Q和P计算k则比较困难，至今没有有效的方法来解决这个问题，这正是该加密算法的原理所在.2.4 图论的应用图论在计算机领域的应用广泛，例如利用哈密顿图求最短路径问题和旅行商最优问题，利用哈夫曼算法对指令系统优化以及提高通信效率等问题[5].在计算机体系结构中，指令系统的优化非常重要，因为可以提高整个计算机系统的性能，指令系统的优化方法很多，其中一种就是对指令的格式进行优化，是指用最短的位数来表示指令的操作码和地址码，使程序中的指令的平均字长最短，可以使用哈夫曼算法对指令的格式进行优化，利用哈夫曼算法可以构造出最优二叉树，而二叉树的权是最小的，即可以实现指令的平均字长最短.同样的原理利用哈夫曼算法构造最优二叉树可以解决通信中传输二进制数最优效率的问题.3 结束语离散数学在计算机领域的作用非常重要，计算机科学中普遍采用离散数学中的一些基本概念、知识点和研究方法.离散数学课程不但为其他课程提供必要的理论基础，在计算机学科中有着广泛的应用，而且通过学习离散数学的思想和方法也提高了学生的逻辑思维能力和创造性思维能力.为了更好的学习计算机学科的后续课程以及解决计算机科学中遇到的实际问题必须学好离散数学课程.参考文献：〔1〕朱家义，苗国义，等.基于知识关系的离散数学教学内容设计[J].计算机教育,2010(18):98-100.〔2〕Kenneth H.Rosen.离散数学及其应用[M].北京：机械工业出版社，2006.〔3〕陈敏，李泽军.离散数学在计算机学科中的应用[J].电脑知识与技术,2009,5(1):251-252.〔4〕龚静，王青川.数理逻辑在计算机科学中的应用浅析[J].青海科技,2004(6):53-54.〔5〕屈婉玲，耿素云，等.离散数学[M].北京：高等教育出版社，2008.-全文完-。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
散， 不同教材对这些章节 的次序安排 也各有不 同。但通过归 纳 可 以发 现 ， 离散数学是 以集合 、 映射 、 算和关 系为主线 ， 运 各章 学 内容体系的系统性与严密性 。以实 际问题 为导入 ， 以学生 应 节 内容联系 紧密 ， 具有较强 的逻辑性 。所 以教师要 引导学生理 用为主题 ， 出应用能力 的培养 。在教 学过程 中 ， 突 应穿插介 绍 清各章节之间的联系 ， 提高学 习效率 。 些 知识点在计算机科学 中的应用 ， 将之与离散数学理 论结 合
ｉ ｔｏ ｕｃｎ ｓ ｍ ｅ ｈ ｓ ｏ ｉ ｓ ｏ ｔ ｅ ａｉ ｓ ｔ ． ｎｒ ｄ ｉｇ ｏ ｉ ｔ ｒｅ ｆ ｍａ ｈ ｍ ｔｃ ，ｅ ｃ
Ｋｅ ｒ ｓ ｄ ｓ ｒ ｔ ｔ ｅ ａ ｉｓ ｔ ａ ｈ ｎ ｅ ｏ ｍ ； ｃ ｒｉｕｌ ｍ ｅ ｃ ｉ ｇ ｐ ａ ｆ ｒ ；ｈｉｔ ｒ ｏ ａｈ ｍａ ｉ ｓ ｙ ｗｏ ｄ ： ｉｃ ｅｅ ｍａ ｈ ｍ ｔｃ ； ｅ ｃ ｉ ｇ ｒ ｆ ｒ ｕ ｒｃ ｕ ｔ ａ ｈ ｎ ｌ ｔｏ ｍ ｓｏ ｙ ｆ ｍ ｔ ｅ ｔｃ
收稿 日期 ：０ ２ ７ １ ２ １— — ３
基金项 目：０ ０ ２ １ 年浙江省设项 目（８ ５ ０ ０ ０ １ ０ ０ １ １２ １） 作者简介 ： 叶丽霞 （９ ６ ） 女， 士， １ ７一 ， 硕 副教授 ， 主要研究方 向：ｏ ｆ Ｈ ｐ 代数和李代数 。
计 算机 时代 ２ １ 年 第 ｌ 期 ０２ Ｏ
・４ ７・
计算机专业 离散数学教 学 改革与实践★
叶丽 霞
（ 江外 国语 学院数 学 系 ，浙 江 杭 州 １０２ 浙 Ｉ ０ １） ３
摘 要 ：针 对 离散 数学课程教 学现状 ， 结合教 学体会 ， 出了轻理论 重应 用、 提 从数 学思想 的高度整合课程 内容、 充分利 用 课程教 学平台、 当介绍数学 史等教学改革措施 。 适 关键词 ：离散数 学；教 学改革 ；课程教 学平 台；数 学史 中图分类号 ： ５ Ｏ１ ８ 文献标 志码 ： Ａ 文章编号 ：０ ６ ８ ２ （０ ２１ — ７ ０ １ ０ — ２ ８２ １ ）０ ４ — ３
Ｏ 引言
授基本 内容 ， 这不利于学生 的理解 和掌握 。离散数学 中有很 多
定理 和规则 ， 课本 的描 述往往 比较 难懂 。很 多学生 习 而 离散数学是 以研 究离散 量的结构和相互关 系的学科 ， 它在 定义 、 惯于 死记硬背数 学概念 ， 容易产生枯燥 和畏难 情绪 。因此 ， 很 计算机理论研究及软 、 硬件开发的各个领域都有着广泛的应用” 。
并集和 求补 集的运算 。至于特 殊公式 ０ １在 集合论 里分 别 和 ， 表现 为空集 和全集 。因此集合恒 等式是 命题逻辑 等值式在 集
合 论 中 的应 用 。 图 ｌ 原 电路 图
例如 ， 命题逻辑 中的吸收律公式 ： 为
ＡＶ ＡＡ ） Ａ，ＡＡ ＡＶＢ 一 （ Ｂ 一 （ ）
到 Ｖ 的双 射函 数 ， ’ 使得 对 Ｖａ ， ｂ∈Ｖ，ａ ＞∈Ｅ当且仅 当＜ ＜， ｂ
离散数 学课堂教学要突破传统数学教 学思 想方法 ， 弱化 教
一
介绍给学生 ， 学生重视这一课程的学 习， 使 产生学习兴趣 ， 主动
２１ 集 合 公 式 是 数 理 逻 辑 公 式 在 集 合 论 中 的 应 用 ．
地 进行 学习。
该课程命题逻 辑公 式的等值 演算和 主合 （ ） 析 取范式是 教
就不难理解特殊关系 的相关定义了 。 例如 ， Ａ ｛０ ９ 计算机本科 同学 ｌ则 设 ＝２０ 级 ，
Ｒ・ ＜ ，＞ｘＹ∈Ａ｝ ＝｛ ｘｙ ｌ， ，
＝ ＜ ， ｌ， ｛ ｘ ＞ｘ ｙ Ｙ∈Ａ， Ｘ Ｙ 名相 同ｌ 且 与 姓 ，
＝
２“ 化零 为整” 从数 学思 想 的高 度 整合课 程 内容 ，
教师 要注重 引导学生对 问题 的完整理解 ， 而不 作为计 算机专业 的一 门核 心基础课 ， 不仅在后 续课程 ， 数 在教 学过程 中 ， 它 如 是 只告诉学生结 论 。教师 可 以选取典型案 例来说 明抽象 的理 据结构 、 数据库原理 、 编译原理等课程 中有广 泛的应用 ， 而且对
二元关系 。
若＜ ， ＞∈Ｒ且 ｘ ， ｙｘ ≠Ｙ 则＜ ， ＞隹Ｒ， Ｒ为反对称的 称 业课程的学时数 。以笔者所在学校 为例 ， 以前离 散数 学有 ６ 课 对称 的关 系 ； ｘｙ ４
在 实际讲解 时 ， 教师如 果能从学 生身边 的例子 出发 ， 再抽 象 出基本概 念 ， 学生就会对 这些概 念有更 深刻的理解 。比如 ， 习效率成为教学改革的关键 。 然 近年 来 ， 针对离散 数学课 程教学现 状 ， 许多教 师都在进 行 教师 举例说班级里的 同学关系是对 称的 ， 后提 问学生家庭里 的父子关 系是对称关 系吗 ？学 生一听这 例子 ， 就哈哈 大笑 ， 他 各种各样 的教学改革ｍ 。本文结合笔者 的教 学体会 ， 出了轻 提 们 马上 明白父子关 系是反对 称的关 系。随后学 生就可 以举 出 理论 重应用 ， 从数 学思想 的高度整合 课程 内容 ， 充分利 用课程 许多例子 ， 线的平行关 系是对 称的 ， 直 数的整 除关系是反 对称 教学平 台， 当介 绍数学史等教学 改革措施 。 适
例如 ， 集合论 中交集 的定义为 ＡｎＢ ｛ｌ Ａ且 Ｘ ＝ｘ ｘ ∈Ｂｌ转 ，
换成逻辑语言为 ：
Ｘ∈ ｎＢ － （ Ａ） ｘＥ Ａ ｘＥ ＾（ Ｂ
学 重点 ， 前者 在开关 电路 中可 以化 简 电路 ， 后者在 逻辑设 计方 显然 逻辑 公式 的合 取运算 在集 合论 中表现 为求 交集 的运 算 。 面有 广泛的应用 。 同理逻 辑公式 的析取和求 非的运算 在集合 论 中分别表 现为求 例 １试用较少的开关设计一个 与图 １ 有相 同功能的 电路。
数学 的知识在 计算机学科 中的具体 应用 ， 习积极性也不 高 。 学 另外 ， 在人 才培养 方案 的制 定过程 中 ， 各个 学校普 遍压缩 了专
时 ， ２ ０ 级开始 已压 缩为 ４ 课时 。课 时非常紧张 ， 从 ０８ ８ 教师 需要
例如 ， 对于关系的对 称与反对称 的性质 ， 课文的定义 如下 ： 定义 设 ｘｙ∈Ａ， ｘｙ ∈Ｒ， ｌ ｙ ＞∈Ｒ， Ｒ为 Ａ上 ， 若＜ ，＞ ￣ ＜， ｉ ｘ ｊ 称
・
４ ・ ８
Ｃｏ ｕ ｅ ａ Ｎｏ． ０ ０１ ｍｐ ｔ ｒ Ｅｒ １ ２ ２
是 反对称 的 ； 假如 Ｇ的不 同顶点之 间没有边 ， 则关 系 Ｒ既是 对 称也是反对称 的。 在 讲解三个特 殊关 系时 ， 教师可 以以班级学 生为例 ， 生 学
集成 电路等方面 的应 用。在讲授代数系统 时 ， 教师可 以布置关
Ｔ ａ ｈｎ ｅｏｍ ｎ ｒ ｃｉｅ ｏ ｉ ｒｔ ｔｅ ｔ ｓｆｒ ｓ ｄ ｎ ｓｍａｏｉｇ ｉ ｏ ｕｅ ｅｃ ｉｇ ｒｆｒ ａ ｄ ｐ ａ ｔ ｆｄｓ ｅｅ ｍａｈ ｍａｉ ｏ ｔ ｅ ｔ ｃ ｃ ｃ ｕ ｊ ｒ ｎ ｃｍｐ ｔｒ ｎ
Ｙｅ Ｌｉ ａ ｘｉ
（ ｅａｔ ｎ ｆＭａｈｍ ｔ ｓ ｈ ｉｎ ｎｅｎ ｔ ｎ ｌＳｕ ｉ ｎｖｒｉ，Ｈａ ｇｈａ ｈｊ ｎ １ ０ ２ ｈｎ ） Ｄｐ ｒ ｔｏ ｔｅ ａｉ ，Ｚ ｅ ａｇ Ｉｔｒａｉ ａ ｔｄｅ Ｕ ｉ ｓｙ ｍｅ ｃ ｊ ｏ ｓ ｅ ｔ ｎ ｚｏ ，Ｚ ｅａ ｇ ３ ０ １ ，Ｃ ｉａ ｉ
解： 可将图 ｌ 的开关电路 用命题公式表示为
Ａｑ ＳＶ【Ａ Ａ ） Ａ） ｐ ｓ ｒ
利 用基本等值公式 ，
对应的集合吸收律公式［ ： １ １ 为
Ａｕ（ Ｂ ＝ Ａｎ ） Ａ，ＡＹ（ Ｂ ＝ ｌ ＡＵ ） Ａ
（Ａｑ ） ｐ Ｓ Ｊ （Ａ ） （ Ｖ ） ｐ ＡＳＶ（Ａ ＾ｒ ｐ ｓＡ ｑ ｒ
Ａｂｓ ｒ ｃ ： Ａｃ ｏ ｄ ｎ ｔ ｔ ｅ ｈ ｒ ｃｅ ｉｔ ｓ ｆ ｉｃ ｅ ｅ ｔａ ｔ ｃ ｒ ｉ ｇ ｏ ｈ ｃ ａ ａ ｔ ｒｓｉ ｏ ｄ ｓ ｒ ｔ ｍａ ｈ ｍ ａｉ ｓ ｏ ｒ ｅ ｎ ｃ ｒｅ ｔ ｉｕ ｔｏ ｏ ｅ ｃ ｉ ， ｃ ｍｂｉ ｅ ｗｉ ｔ ｅ ｃ ｔ ｅ ｔｃ ｃ ｕ ｓ ａ ｄ ｕ ｒ ｎ ｓ ｔ ａ ｉ ｎ ｆ ｔ ａ ｈ ｎｇ ｏ ｎｄ ｔ ｈ ｈ ｔ ａ ｈ ｎｇ ｅ ｐ ｒｅ ｃ ， ｓ ｍ ｅ ｅ ｏ ｍ ｍｅ ｓ ｒ ｓ ａ ｅ ｉ ｔｏ ｕｃ ｄ ｗｈｉｈ ｎｃｕ ｅ ｉ ｒ ｖ ｎ ｔ ｅ ｐ ｉ ａｉ ｎ ｏ ｄ ｓ ｒ ｔ ｍａ ｈ ｍ ａｉ ｓ ｅ ｃ ｉ ｘ ｅ ｉ ｎ ｅ ｏ ｒ ｆ ｒ ａｕ ｅ ｒ ｎｒｄ ｅ ， ｃ ｉ ｌ ｄ ｍｐ ｏ ｉ ｇ ｈ ａ ｐｌ ｔ ｆ ｉｃ ｅｅ ｃ ｏ ｔ ｅ ｔｃ ， ｉ ｔ ｇ ａ ｉ ｇ ｃ ｕ ｓ ｃ ｎ ｅ ｔ ｆｏ ｎ ｅ ｒ ｔ ｏ ｒ ｅ ｏ ｔ ｎ ｒ ｍ ｔ ｅ ｈｅｇ ｔ ｏ ｔ ｅ ｍａ ｅ ｔｃ ｌ ｔ ｏ ｇ ｔ ｍａ ｉ ｇ ｆ ｌ ｕｓ ｏ ｃ ｒｉ ｕ ｕ ｔ ａ ｈ ｎ ｐ ａ ｆ ｒ ， ｎ ｈ ｉｈ ｆ ｈ ｈ ｔ ｍａ ｉａ ｈ ｕ ｈ ， ｋｎ ｕ ｌ ｅ ｆ ｕ ｃ ｌｍ ｅ ｃ ｉｇ ｌｔｏ ｍ
培养学生的严格逻 辑推理 、 抽象思维能力有十分重要的作用 。
论知 识 ， 者改 用比较通俗 的语言来 描述抽象 的概念 ， 或 使学 生
下面 用几 个例 离散数学概念 多而抽象 ， 教师 在教 学 中往往会非常注 重理 在轻松 愉快 的情境中理解离散数学 的理论知 识 ， 子来说明 。 论知识 的讲解 ， 忽略了应 用 ； 生在学 习 中往往看 不到离 散 而 学
离散数学主要包括数 理逻 辑 、 合与关系 、 集 函数与映射 、 代 数结 构和 图论 等教 学 内容 。这些 内容 从表 面上 看 ， 内容 多且
｛ ｘｙ ｌＹ ＜ ， ｘ ∈Ａ， ≠ｙ 且 ｘ 姓名相同 ｝ ＞， ｘ ， 与Ｙ