离散数学《离散结构R》教学大纲
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
《离散结构R》教学大纲
课程编号:(00007732)
课程中文名称:(离散结构R)注:此时为(离散结构R)
课程英文名称:Discrete Mathematical Structures R
总学时:(56)实验学时:(0)上机学时:(0)
学分:(3.5)
适用专业:计算机与软件学院——软件工程专业、计算机应用技术、物联网工程、信息安全专业
一、课程性质、目的和任务(300字内)
离散结构是现代数学的一个重要分支和计算机科学基础理论的核心学科,它充分描述了计算机科学离散性的特点,是随着计算机科学的发展而逐步建立起来的新兴基础学科。
离散结构是《离散的数学结构》的缩写。研究对象是世间一切事物之间的关系。所采用的研究方法有集合、代数、图、数理逻辑等。与计算机的关系:第一部分集合论.。集合:一种重要的数据结构;关系:关系数据库的理论基础;函数:所有计算机语言中不可缺少的一部分。第二部分代数系统。计算机编码和纠错码理论;数字逻辑设计基础;计算机使用的各种运算。第三部分图论。数据结构、操作系统、编译原理、计算机网络原理的基础。第四部分数理逻辑。计算机是数理逻辑和电子学相结合的产物。
二、课程教学内容及学时分配(每章均包括以下三项内容)
离散数学的其基本内容为:
离散数学的内容分为四部分:第一部分数理逻辑:命题演算、谓词演算。第二部分集合论:集合、关系、函数。第三部分代数系统:运算、代数系统、半群、群、环、域、格、布尔代数。第四部分图论:点与边、路与圈、最短路、Euler图、Hamilton图、二分图、平面图、树。
第一部分:数理逻辑(18 学时)
(一)、命题符号化及联结词
[教学要求]掌握命题、原子命题、命题常项、命题变项、复合命题的概念、五种常用的命题联结词和对命题进行符号化。
[教学内容]命题逻辑的基本概念
(二)、命题公式及分类
[教学要求]
1 、掌握命题公式的概念、命题公式的解释及公式的分类;
2 、了解利用真值表及利用真值表判断公式的类型。
[教学内容]
1 、命题公式的概念
2 、命题公式的解释
3 、公式的分类及利用真值表判断公式的类型
(三)、等值演算:
[教学要求]1 、掌握等值的概念; 2 、理解24 个基本等值演算定律; 3 、重点掌握和熟练运用命题公式的基本等值式进行等值演算;
[教学内容]等值的概念及运用命题公式的基本等值式进行等值演算
(四)、联结词全功能集:
[教学要求]
了解真值函数、冗余的联结词、独立的联结词、联结词的全功能集、极小全功能集的概念。[教学内容]
1 、真值函数
2 、冗余的联结词
3 、独立的联结词、
4 联结词的全功能集
5 、极小全功能集的概念
(五)、对偶与范式:
[教学要求]
1 、了解对偶的概念;
2 、掌握简单析取式、简单合取式、合取范式、析取范式、极大项、极小项、主析取范式、主合取范式的概念及极大项、极小项的抽象表示法及利用命题公式的主范式进行公式的分类;
3 、重点掌握和运用命题公式的范式存在定理和命题公式的主范式存在定理。
[教学内容]
1 、对偶的概念;
2 、简单析取式、简单合取式、合取范式、析取范式、极大项、极小项、主析取范式、主合取范式的概念及极大项、极小项的抽象表示法及利用命题公式的主范式进行公式的分类;
3 、命题公式的范式存在定理和命题公式的主范式存在定理
(六)、推理理论:
[教学要求]
1 、掌握推理理论概念;
2 、理解8 个推理定律和11 个推理规则;
3 、重点掌握利用推理理论进行构造证明。
[教学内容]
1 、推理理论概念;
2 、推理理论进行构造证明
(七)、命题逻辑和二值逻辑器件
[教学要求]了解命题逻辑在二值逻辑器件中运用。
[教学内容]命题逻辑在二值逻辑器件中运用
(八)、一阶逻辑基本概念
[教学要求]
了解和掌握个体词、谓词、个体常项、个体变项、谓词常项、谓词变项、量词、全称量词、存在量词、特性量词的概念及对命题进行一阶逻辑的符号化。
[教学内容]一阶逻辑基本概念
(九)、一阶逻辑合式公式及解释:
[教学要求]
了解和掌握项、原子命题、合式公式、一阶逻辑合式公式的解释的概念;熟练掌握如何给一阶逻辑合式公式给出解释及给出一阶逻辑合式公式的解释判断一阶逻辑合式公式的真值;了解指导变项、辖域、约束出现、自由出现、闭式、换名规则、代替规则的概念。
[教学内容]
项、原子命题、合式公式、一阶逻辑合式公式的解释的概念;判断一阶逻辑合式公式的真值;指导变项、辖域、约束出现、自由出现、闭式、换名规则、代替规则的概念。
(十)、一阶逻辑等值式
[教学要求]了解一阶逻辑等值式的概念;掌握一阶逻辑等值式的基本定律及求前束范式。[教学内容]一阶逻辑等值式的概念;前束范式。
(十一)、一阶逻辑推理理论:
[教学要求]
掌握一阶逻辑推理理论的概念;重点掌握和理解量词的引入和消去规则及成立的条件,并利用一阶逻辑的推理理论进行构造证明。
[教学内容]
一阶逻辑推理理论;量词的引入和消去规则及成立的条件,并利用一阶逻辑的推理理论进行构造证明。
第二部分:集合论(22 学时)
(一)、集合的基本概念
[教学要求]
了解集合的基本概念、n 元组、n 阶笛卡儿积;
掌握集合的基本运算、有序对、笛卡儿积及性质;
[教学内容]
集合的基本概念、n 元组、n 阶笛卡儿积;
集合的基本运算、有序对、笛卡儿积及性质;
(二)、二元关系
[教学要求]掌握二元关系、空关系、全域关系、恒等关系、关系矩阵、关系图;
[教学内容]关系的基本概念
(三)、关系的运算
[教学要求]了解关系的定义域、值域、域;掌握关系的逆、合成、限制、象及运算性质、n 次幂;
[教学内容]关系的定义域、值域、域;关系的逆、合成、限制、象及运算性质、n 次幂;
(四)、关系的性质
[教学要求]掌握关系的自反性、反自反性、对称性、反对称性、传递性;了解关系在交、并、相对补、求逆、合成等运算下的一些性质。