华东交通大学:《离散数学》课程教学资源(期末复习大纲)

离散学 期末复习大纲 (07级软件+背景专业)
离散数学 期末复习大纲 (07级软件+背景专业)

命题逻辑 重点 、命题(简单命题,复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假 3、等值演算(证明A台B) 4、联结词完备集(用指定联结词表示任意公式) 5、主析(主合)取范式,成真(假)赋值 6、推理证明(推理规则)
命题逻辑 重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析(主合)取范式, 成真(假)赋值 6、推理证明(推理规则)

一阶逻辑 重点: 1.一阶逻辑下命题符号化(个体域、联结词、量词、特性谓词) 2判断公式类型(可满足式永真,永假 3求谓词公式的前束范式(一阶逻辑等值式的应用) 阶逻辑推理证明 (重在+、∨-、彐,彐-规则的应用)
一阶逻辑 重点: 1.一阶逻辑下命题符号化(个体域、联结词、量词、特性谓词) 2.判断公式类型(可满足式,永真,永假) 3.求谓词公式的前束范式(一阶逻辑等值式的应用) 4. 一阶逻辑推理证明 (重在+、 - 、 +, - 规则的应用)

集合 重点 1、集合的运算、幂集、子集、文氏图 2、集合等式(包含式)的证明(公式的应用)
集合 重点: 1、集合的运算、幂集、子集、文氏图 2、集合等式(包含式)的证明(公式的应用)

二元关系和函数 重点: 1、有序对、笛卡儿积 2、二元关系的表示方法(集合、关系矩阵、关系图) 3、关系的运算(合成、逆、闭包、幂运算) 4、关系的性质(自反、反自反、对称、反对称、传递) 5、等价关系(证明、商集、等价类、划分) 6、偏序关系(证明、哈斯图、特殊元素) 7、函数的性质的判断(单射、满射、双射) 8、函数的运算(逆、合成)
二元关系和函数 重点: 1、有序对、笛卡儿积 2、二元关系的表示方法(集合、关系矩阵、关系图) 3、关系的运算(合成、逆、闭包、幂运算) 4、关系的性质(自反、反自反、对称、反对称、传递) 5、 等价关系(证明、商集、等价类、划分) 6、偏序关系(证明、哈斯图、特殊元素) 7、函数的性质的判断(单射、满射、双射) 8、函数的运算(逆、合成)

代数系统 重点 1、代数系统的概念(二元运算、子代数、封闭性、其它 性质(结合律、幂等律、交换律、消去律)) 2、代数系统的特殊元素判断(幺元、零元、逆元) 3、半群、含幺半群(独异点)的判断 4、群的证明(四个性质:封闭性、结合性、存在幺元、 每个元素存在逆元) 5、 Klein四元群、阿贝尔群(可交换群) 6、群中元素的阶(周期)、循环群的生成元
代数系统 重点: 1、代数系统的概念(二元运算、子代数、封闭性、其它 性质(结合律、幂等律、交换律、消去律)) 2、代数系统的特殊元素判断(幺元、零元、逆元) 3、半群、含幺半群(独异点)的判断 4、群的证明(四个性质:封闭性、结合性、存在幺元、 每个元素存在逆元) 5、Klein四元群、阿贝尔群(可交换群) 6、群中元素的阶(周期)、循环群的生成元

图 重点 1、无向图、有向图 2、顶点的度、握手定理、度序列 3、简单图、多重图、完全图、子图(生成子图 导出子图)、补图、同构 4、通路、回路(简单通路、初级通路)、通路长度、距离 5、连通图、连通分支、点割集、边割集 6、关联矩阵、邻接矩阵、可达矩阵 7、二部图(判定条件)、完全二部图(K,m) 8、欧拉图的判定(欧拉通路、判定条件) 、哈密尔顿图(哈密尔顿通路) 10、平面图、非平面图、平面嵌入
图 重点: 1、无向图、有向图 2、顶点的度、 握手定理、度序列 3、简单图、多重图、完全图、子图(生成子图、 导出子图)、补图、同构 4、通路、回路(简单通路、初级通路)、通路长度、距离 5、连通图、连通分支、点割集、边割集 6、关联矩阵、邻接矩阵、可达矩阵 7、二部图(判定条件)、完全二部图(Kn,m) 8、欧拉图的判定(欧拉通路、判定条件) 9、哈密尔顿图(哈密尔顿通路) 10、平面图、非平面图、平面嵌入

注: (1)大纲中列出的内容是主要概念在大纲中未出现的也可 能会少量涉及到(上课未讲过的概念不会出现) (2)大纲中红色字体表示大题(综合题)的出题范围 3)题型一般为:判断、选择、填空、综合; (4)考试允许带一张手写A4纸张(可双面写,不许复印、打 印,非A4纸不许带入考场,不得转借,违反规定均按舞弊 处理)
注: (1)大纲中列出的内容是主要概念, 在大纲中未出现的也可 能会少量涉及到(上课未讲过的概念不会出现); (2)大纲中红色字体表示大题(综合题)的出题范围; (3)题型一般为:判断、选择、填空、综合; (4) 考试允许带一张手写A4纸张(可双面写,不许复印、打 印,非A4纸不许带入考场,不得转借,违反规定均按舞弊 处理)
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第六章 几个典型的代数系统.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 二元关系和函数.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 集合的基本概念和运算.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(2/2).ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1/2).ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 集合的基本概念和运算.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第五章 代数系统的一般性质.ppt
- 华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 二元关系和函数.ppt
- 西北工业大学数学系:《线性代数》复习题(张凯院).doc
- 西北工业大学数学系:《线性代数》第六章 二次型(张凯院).doc
- 西北工业大学数学系:《线性代数》第五章 矩阵的相似变换(2/2).doc
- 西北工业大学数学系:《线性代数》第五章 矩阵的相似变换(1/2).doc
- 西北工业大学数学系:《线性代数》第四章 向量组的线性相关性(4-4)基变换与坐标变换(张凯院).doc
- 西北工业大学数学系:《线性代数》第四章 向量组的线性相关性(4-3)等价向量组(张凯院).doc
- 西北工业大学数学系:《线性代数》第四章 向量组的线性相关性(4-2)比较等式两端向量(张凯院).doc
- 西北工业大学数学系:《线性代数》第四章 向量组的线性相关性(4-1)向量及其运算(张凯院).doc
- 西北工业大学数学系:《线性代数》习题三(张凯院).doc
- 西北工业大学数学系:《线性代数》第三章 矩阵的初等变换(3-1-3-2)矩阵的秩、矩阵的初等变换(张凯院).doc
- 华东交通大学:《离散数学》课程教学资源(综合练习)(1/2).doc
- 华东交通大学:《离散数学》课程教学资源(综合练习)(2/2).doc
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)量纲分析与无量纲化.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)数学模型概论.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)初等模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)驾驶问题.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)层次分析模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)哥尼斯堡七桥问题.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)图论与网络模型(一).ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)图论与网络模型(二).ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)图论与网络模型(五).ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)图论与网络模型及其应用(五)冲量模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)差分方程模型.ppt
- 华东交通大学:《数学模型》课程教学资源(讲义)倍周期试验.doc
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)差分形式的阻滞增长模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)市场经济中的蛛网模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)按年龄分组的种群增长模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)差分方程模型.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)减肥计划——节食与运动.ppt
- 华东交通大学:《数学模型》课程教学资源(PPT讲稿)万有引力定律的发现.ppt