计算机科学专业课程由易到难,离散数学教学大纲

离 散 数 学

Discrete Mathematics

课程代码：213103

课程类别：专业基础课

适用专业：计算机科学与技术专业

学时数：(理论学时：72 实验学时： ) 学分数：4

要求先修课程：组合数学，高等数学，计算机程序设计，C 语言

执笔人：叶绿

一、课程性质与地位

《离散数学》是计算机科学与技术专业的一门主要技术基础课程，是必修课，也可作为 电子信息工程专业、自动化专业等相近专业的选修课程。离散数学是计算机科学中基础理论 的核心课程，与数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊 断、机器定理证明等课程联系紧密。该课程的教学任务是使学生掌握由一个或几个判断提出 另一判断的思维形式， 运用集合运算以及图论的基本知识作为工具培养和增强学生的开发创 新能力，独立思维能力， 为今后的学习有关的后续课程和掌握专业知识及新的科学技术打下 一定的基础。

二、课程教学目标

每章每节应配置适当数量的习题，大约共 250 题左右。课外习题应密切结合讲授内容， 保证重点，掌握和主要设计计算方法的训练，题目应由易到难，由简到繁，目的明确，选择 适当。习题类型应多种类型，对学习成绩较好的学生，可补充一些较难的习题，或选择题、 思考题等。习题课的目的在于帮助学生消化和巩固本课程中重要和较繁重的内容，引导学生 分析总结和讨论解题的方法和步骤，指导学生查阅技术资料等。

(1) ．习题课要求

本课程习题讨论课的主要目的在于帮助学生消化和巩固所学的理论知识， 提高学生运用 所学知识独立分析和解决本课各部分实际问题的能力并主要讨论以下几个大题： 1． 掌握命题逻辑的范式、推理理论，将学过的命题逻辑知识应用于日常生活和工程技 术中，尤其在电路设计中应用。

a) 设计一台自动售货机的组合电路(逻辑门电路)的设计图；

b) 设计一个控制盥洗室照明的逻辑门电路图；

c) 设计一个二进制半加器的逻辑门电路图；

d) 设计红绿灯自动控制线路的逻辑门电路图。

2． 掌握谓词逻辑的推理理论，将学过的谓词演算的推理规则(全称指定规则 US、全称 推广规则 UG、存在指定规则 ES、存在推广规则 EG)。

3． 掌握集合原理，将学过的集合知识、包含排斥原理应用于日常生活和工程技术中， 尤其是在有限个元素的计数问题。

4． 掌握关系原理，及集合自反闭包、对称闭包、传递闭包远算。

a) 用 C 或 C++编程语言实现 Warshall在 1962年提出的 R + 的算法。

5． 掌握群的原理，将学过的交换群、置换群和等价类的概念，应用于实际问题。