《离散数学》课程教学大纲

一、课程基本信息

二、课程简介

离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，是计算机专业核心骨干课程，是重要的学科基础课程。主要内容包括数理逻辑、集合论、图论、代数结构与布尔代数等方面的知识。

三、课程目标

通过离散数学的学习，培养和提高学生的抽象思维和逻辑推理能力，一方面，为学生今后继续学习和工作，参加科学研究，打下坚实基础。同时为计算机科学与技术专业的后继课程如数据结构、编译原理、操作系统、数据库原理和人工智能等提供必要的数学基础。

四、教学内容及要求（多名教师任教）

第一章　　命题逻辑

教学要点:

要求学生理解命题、命题公式、真值表等基本概念，掌握重言式与蕴含式、对偶与范式的定义，熟练掌握命题逻辑的推理理论。

教学内容:

1-1 命题及其表示法

1-2 联结词

1-3 命题公式与翻译

1-4 真值表与等价式

1-5 重言式与蕴含式

1-6 其他联结词

1-7 对偶与范式

1-8 推理理论

考核要求:

1-1 命题及其表示法 (识记与领会)

1-2 联结词 (领会)

1-3 命题公式与翻译 (领会与应用)

1-4 真值表与等价式 (领会与应用)

1-5 重言式与蕴含式 (领会与应用)

1-6 其他联结词 (领会与应用)

1-7 对偶与范式 (领会与应用)

1-8 推理理论 (领会与应用)

第二章 谓词逻辑

教学要点:

要求学生理解谓词的概念及表示，命题函数与量词的定义。掌握谓词公式的翻译，谓词演算的等价公式与蕴含式，及前束范式等概念，熟练掌握谓词运算的推理理论。

教学内容:

2-1 谓词的概念

2-2 命题函数与量词

2-3 谓词公式与翻译

2-4 变元的约束

2-5 谓词演算的等价式与蕴含式

2-6 前束范式

2-7 谓词演算的推理理论

考核要求:

2-1 谓词的概念 (识记)

2-2 命题函数与量词 (识记)

2-3 谓词公式与翻译 (领会与应用)

2-4 变元的约束 (领会与应用)

2-5 谓词演算的等价式与蕴含式 (领会与应用)

2-6 前束范式 (领会与应用)

2-7 谓词演算的推理理论 (领会与应用)

第三章　　集合与关系

教学要点:

要求学生理解集合、关系的概念及表示，掌握集合的运算关系的性质及关系的运算。掌握等价关系、相容关系、序关系等关系的性质与判定。

教学内容:

3-1集合的概念及表示法

3-2集合的运算

3-4 序偶与笛卡尔积

3-5 关系及其表示

3-6　关系的性质

3-7　复合关系和逆关系

3-8　关系的闭包运算

3-9　集合的划分和覆盖

3-10　等价关系与等价类

3-11　相容关系

3-12序关系

考核要求:

3-1集合的概念及表示法 (识记)

3-2集合的运算 (识记)

3-4 序偶与笛卡尔积 (领会)

3-5 关系及其表示 (领会与应用)

3-6　关系的性质 (领会与应用)

3-7　复合关系和逆关系 (领会与应用)

3-8　关系的闭包运算 (应用)

3-9　集合的划分和覆盖 (领会)

3-10　等价关系与等价类 (领会与应用)

3-11　相容关系 (领会与应用)

3-12序关系 (领会与应用)

第四章 函数

教学要点:

要求学生理解函数的概念，逆函数和复合函数的定义，掌握基数的概念，了解可数集与不可数集的概念及基数的比较。

教学内容:

4-1 函数的概念

4-2 逆函数与复合函数

4-3 基数的概念

4-4 可数集合与不可数集

4-5 基数的比较

考核要求:

4-1 函数的概念 （识记）

4-2 逆函数与复合函数 （识记与领会）

4-3 基数的概念 （领会与应用）

4-4 可数集合与不可数集（领会与应用）

4-5 基数的比较（领会与应用）

第五章 代数结构

教学要点:

要求学生了解代数系统的定义，运算及其性质，掌握半群、群、环和域的概念，掌握子群的判定，群的同态与同构的定义等。

教学内容:

5-1 代数系统的引入

5-2 运算及其性质

5-3 半群

5-4 群与子群

5-5 阿贝尔群和循环群

5-7 陪集与拉格朗日的定理

5-8 同态与同构

5-9 环与域

考核要求:

5-1 代数系统的引入 （识记）

5-2 运算及其性质 （领会与应用）

5-3 半群 （领会与应用）

5-4 群与子群（领会与应用）

5-5 阿贝尔群和循环群（领会与应用）

5-7 陪集与拉格朗日的定理（领会）

5-8 同态与同构 （领会与应用）

5-9 环与域 （领会与应用）

第六章 格与布尔代数

教学要点:

要求学生了解格的概念，掌握分配格，有补格的概念及性质，理解布尔代数及布尔表达式的概念。

教学内容:

6-1 格的概念

6-2 分配格

6-3 有补格

6-4 布尔代数

6-5 布尔表达式

考核要求:

6-1 格的概念 （识记）

6-2 分配格 （领会与应用）

6-3 有补格 （领会与应用）

6-4 布尔代数 （领会）

6-5 布尔表达式 （领会）

五、课时分配表

“课时分配”中，“其他”主要指看录像、现场参观、课堂讨论、习题等教学环节。

六、教材及参考书

教材:

1．《离散数学》，高等教育出版社，2005，李盘林主编

参考书:

1．《离散数学》，高等教育出版社，1982，左孝凌主编

2．《离散数学》，高等教育出版社，2003，孙吉贵主编

七、教学策略与方法的建议（小标题:黑体/小四，正文内容:宋体/小四）

离散数学作为一门抽象的数学基础课程，内容相对松散，各个篇章如数理逻辑、集合论、图论、代数机构等都可以相对独立；同时，每个篇章都相对复杂。就目前教学经验来看，学生上课过程中接受度相对其他课程低，且晦涩。这对教学过程来讲是一个极大的挑战。作如下建议:

1. 以专题模式讲解
注重理论的理解，5大模块作深究型教学，注重逻辑推理及符号体系的贯穿

2. 联系专业实际，交叉引入后继课程的专业应用实例

3. 注重教学课堂氛围的营造

4. 把程序设计与算法引入离散数学的教学

修订人 陈广明

审核人

批准人