离散数学期末复习 要点与重点

合集下载

离散数学必备知识点总结资料

离散数学必备知识点总结资料

离散数学必备知识点总结资料离散数学是指离散的数学概念和结构,独立于连续的数学。

它是在计算机科学、信息科学、数学基础研究、工程技术等领域中的基础课程之一。

以下是离散数学必备的一些知识点总结。

一、逻辑与集合1. 命题与谓词:命题是一个陈述,可以被判断为真或假,而谓词是一种用来描述命题所涉及实体之间关系的语句。

2. 命题逻辑:重点关注命题真假和与或非等运算关系,包括真值表和主范式。

3. 一阶谓词逻辑:注意包含全称量词和存在量词,也包括a|b, a//b等符号的理解。

4. 集合与运算:集合是指不同元素组成的一个整体。

基本的集合运算包括并、交、差等。

5. 关系与函数:关系是一种元素之间的对应关系,而函数是一种具有确定性的关系,即每一个自变量都对应唯一的函数值。

6. 等价关系与划分:等价关系是指满足自反性、对称性和传递性的关系。

划分是指将一个集合分成若干个不相交的子集,每个子集称为一个等价类。

二、图论1. 图的定义和基本概念:图由节点和边构成,节点间的连线称为边。

包括度、路径、连通性等概念。

2. 图的表示方法:邻接矩阵和邻接表。

3. 欧拉图与哈密顿图:欧拉图是指能够一笔画出的图,哈密顿图是指含有一条经过每个节点恰好一次的路径的图。

4. 最短路径与最小生成树:最短路径问题是指在图中找出从一个节点到另一个节点的最短路径。

最小生成树问题是指在图中找出一棵覆盖所有节点的树,使得边权之和最小。

三、代数系统1. 代数结构:包括群、环、域等概念。

2. 群的定义和基本概念:群是在一个集合中定义一种二元运算满足结合律、单位元存在和逆元存在的代数结构。

四、组合数学1. 排列、组合和二项式系数:排列是指从n个元素中任选r个进行排序,组合是指从n个元素中任选r个但不考虑排序,二项式系数是指组合数。

2. 生成函数:将组合数与多项式联系起来的一种工具,用于求出某种算法或结构的某些特定函数。

3. 容斥原理:一个集合的容斥原理指在集合的并、交、补之间的关系。

离散数学复习要点

离散数学复习要点

离散数学复习要点离散数学是数学的一个分支领域,主要研究离散的结构和离散情形下的数学对象及其相关性质。

它与连续数学不同,离散数学的对象是离散的,如集合、图、布尔代数等。

在计算机科学、信息科学、通信工程等领域中,离散数学的理论和方法被广泛应用。

以下是离散数学的一些重要的复习要点:1.集合论:集合是离散数学的基础,集合的基本运算如交、并、差等,以及集合的基本性质如并集和交集的结合律、分配律等,都是需要复习的内容。

此外,还需要了解集合的基数和幂集等概念。

2.命题逻辑:命题是一个可以判断真假的陈述句,命题逻辑是研究命题及其逻辑关系的数学体系。

需要复习的内容包括命题的逻辑运算,如非、与、或、异或等,以及逻辑等价、逻辑推理等。

3.谓词逻辑:谓词逻辑是对自然语言中的谓词进行形式化表示和推理的系统。

复习重点包括一阶谓词逻辑的基本概念,如谓词、量词、域、项等,以及谓词的合取、析取、全称量词和存在量词等逻辑联结词的语义。

4.图论:图论是研究图及其性质的数学分支。

需要复习的内容包括图的基本概念,如顶点、边、路径、圈等,以及图的表示方法、图的遍历算法、连通图、树等。

5. 网络流模型:网络流模型是研究流动网络的数学方法,主要包括最大流、最小割等问题。

需要复习的内容包括网络的基本概念,如容量、割、流等,以及Ford-Fulkerson算法等解决网络流问题的方法。

6.布尔代数:布尔代数是一种关于逻辑运算的代数系统,常用于电路设计和逻辑推理。

需要复习的内容包括布尔代数的基本运算,如与、或、非等,以及布尔函数的最小项与最大项表示、卡诺图等。

7.组合数学:组合数学是研究离散中的计数问题的数学分支。

需要复习的内容包括排列、组合、多元排列组合等的计数方法,如乘法原理、加法原理、排列组合的顺序问题等。

8.代数系统:代数系统是研究代数结构及其性质的数学分支,包括群、环、域等。

需要复习的内容包括群的基本概念和性质,如封闭性、结合律、单位元、逆元等。

电大离散数学期末复习要点与重点考试资料知识点复习考点归纳总结

电大离散数学期末复习要点与重点考试资料知识点复习考点归纳总结

三一文库( )*电大考试*电大离散数学期末复习要点与重点考试资料考点归纳总结离散数学是中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的一门统设必修学位课程,共72学时,开设一学期.该课程的主要内容包括:集合论、图论、数理逻辑等.下面按章给出复习要点与重点.第1章 集合及其运算复习要点 1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素..集合的表示方法:列举法和描述法.注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分.掌握集合包含(子集)、真子集、集合相等等概念.注意:元素与集合,集合与子集,子集与幂集,∈与⊂(⊆),空集∅与所有集合等的关系.空集∅,是惟一的,它是任何集合的子集.集合A 的幂集P (A )=}{A x x ⊆, A 的所有子集构成的集合.若∣A ∣=n ,则∣P (A )∣=2n . 2.熟练掌握集合A 和B 的并A ⋃B ,交A ⋂B ,补集~A (~A 补集总相对于一个全集).差集A -B ,对称差⊕,A ⊕B =(A -B )⋃(B -A ),或A ⊕B =(A ⋃B )-(A ⋂B )等运算,并会用文氏图表示.掌握集合运算律(见教材第9~11页)(运算的性质).3.掌握用集合运算基本规律证明集合恒等式的方法.集合的运算问题:其一是进行集合运算;其二是运算式的化简;其三是恒等式证明.证明方法有二:(1)要证明A =B ,只需证明A ⊆B ,又A ⊇B ;(2)通过运算律进行等式推导.重点:集合概念,集合的运算,集合恒等式的证明.第2章 关系与函数复习要点1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.有序对就是有顺序二元组,如<x , y >,x , y 的位置是确定的,不能随意放置.注意:有序对<a ,b >≠<b , a >,以a , b 为元素的集合{a , b }={b , a };有序对(a , a )有意义,而集合{a , a }是单元素集合,应记作{a }.集合A ,B 的笛卡儿积A ×B 是一个集合,规定A ×B ={<x ,y >∣x ∈A ,y ∈B },是有序对的集合.笛卡儿积也可以多个集合合成,A 1×A 2×…×A n .2.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运算和求复合关系、逆关系的方法.二元关系是一个有序对集合,},{B y A x y x R ∈∧∈><=,记作xRy .关系的表示方法有三种:集合表示法,关系矩阵:R ⊆A ×B ,R 的矩阵⎪⎪⎭⎫ ⎝⎛==⎪⎩⎪⎨⎧/==⨯n j m i b R a Rb a r r M j i j i ij n m ij R ,...,2,1,...,2,101,)(. 关系图:R 是集合上的二元关系,若<a i , b j >∈R ,由结点a i 画有向弧到b j 构成的图形.空关系∅是唯一、是任何关系的子集的关系; 全关系},,{A b a b a E A ∈><=A A ⨯≡; 恒等关系},{A a a a I A ∈><=,恒等关系的矩阵M I 是单位矩阵.关系的集合运算有并、交、补、差和对称差. 复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=∙=;复合关系矩阵:21R R R M M M ⨯=(按布尔运算);有结合律:(R ∙S )∙T =R ∙(S ∙T ),一般不可交换. 逆关系},,{1R y x x y R >∈<><=-;逆关系矩阵满足:T R R M M =-1;复合关系与逆关系存在:(R ∙S )-1=S -1∙R -1.3.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示),掌握其判别方法(利用定义、矩阵或图,充分条件),知道关系闭包的定义和求法.注:(1)关系性质的充分必要条件:① R 是自反的⇔I A ⊆R ;②R 是反自反的⇔I A ⋂R =∅;③R 是对称的 ⇔R =R -1;④R 是反对称的⇔R ⋂R -1⊆I A ;⑤R 是传递的⇔R ∙R ⊆R .(2)I A 具有自反性,对称性、反对称性和传递性.E A 具有自反性,对称性和传递性.故I A ,E A 是等价关系.∅具有反自反性、对称性、反对称性和传递性.I A 也是偏序关系.4.理解等价关系和偏序关系概念,掌握等价类的求法和作偏序集哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、最小上界和最大下界.等价关系和偏序关系是具有不同性质的两个关系. ⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义,会求等价类.一个子集的极大(小)元可以有多个,而最大(小)元若有,则惟一.且极元、最元只在该子集内;而上界与下界可以在子集之外.由哈斯图便于确定任一子集的最大(小)元,极大(小)元.5.理解函数概念:函数(映射),函数相等,复合函数和反函数.理解单射、满射和双射等概念,掌握其判别方法.设f 是集合A 到B 的二元关系,∀a ∈A ,存在惟一b ∈B ,使得<a , b >∈f ,且Dom(f )=A ,f 是一个函数(映射).函数是一种特殊的关系.集合A ×B 的任何子集都是关系,但不一定是函数.函数要求对于定义域A 中每一个元素a ,B 中有且仅有一个元素与a 对应,而关系没有这个限制.二函数相等是指:定义域相同,对应关系相同,而且定义域内的每个元素的对应值都相同.函数有:单射——若)()(2121a f a f a a ≠⇒≠;满射——f (A )=B 或,,A x B y ∈∃∈∀使得y =f (x );双射——单射且满射.复合函数,:,:,:C A f g C B g B A f →→→ 则 即))(()(x f g x f g = .复合成立的条件是:)(Dom )(Ran g f ⊆.一般g f f g ≠,但f g h f g h )()(=.反函数——若f :A →B 是双射,则有反函数f -1:B →A ,},)(,,{1A a b a f B b a b f ∈=∈><=-,f f g f f g ==-----11111)(,)( 重点:关系概念与其性质,等价关系和偏序关系,函数.第3章 图的基本概念复习要点1.理解图的概念:结点、边、有向图,无向图、简单图、完全图、结点的度数、边的重数和平行边等.理解握手定理.图是一个有序对<V ,E >,V 是结点集,E 是联结结点的边的集合.掌握无向边与无向图,有向边与有向图,混合图,零图,平凡图、自回路(环),无向平行边,有向平行边等概念.简单图,不含平行边和环(自回路)的图、在无向图中,与结点v (∈V )关联的边数为结点度数deg (v );在有向图中,以v (∈V )为终点的边的条数为入度deg -(v ),以v (∈V )为起点的边的条数为出度deg +(v ),deg(v )=deg +(v ) +deg -(v ).无向完全图K n 以其边数)1(21-=n n E ;有向完全图以其边数)1(-=n n E . 了解子图、真子图、补图和生成子图的概念. 生成子图——设图G =<V , E >,若E '⊆E ,则图<V , E '>是<V , E >的生成子图. 知道图的同构概念,更应知道图同构的必要条件,用其判断图不同构.重要定理:(1) 握手定理 设G =<V ,E >,有∑∈=V v E v 2)deg(; (2) 在有向图D =<V , E >中,∑∑∈+∈-=V v V v v v )(deg )(deg;(3) 奇数度结点的个数为偶数个.2.了解通路与回路概念:通路(简单通路、基本通路和复杂通路),回路(简单回路、基本回路和复杂回路).会求通路和回路的长度.基本通路(回路)必是简单通路(回路).了解无向图的连通性,会求无向图的连通分支.了解点割集、边割集、割点、割边等概念.了解有向图的强连通强性;会判别其类型.设图G =<V ,E >,结点与边的交替序列为通路.通路中边的数目就是通路的长度.起点和终点重合的通路为回路.边不重复的通路(回路)是简单通路(回路);结点不重复的通路(回路)是基本通路(回路).无向图G 中,结点u , v 存在通路,u , v 是连通的,G 中任意结点u , v 连通,G 是连通图.P (G )表示图G 连通分支的个数.在无向图中,结点集V '⊂V ,使得P (G -V ')>P (G ),而任意V "⊂V ',有P (G -V ")=P (G ),V '为点割集. 若V '是单元集,该结点v 叫割点;边集E '⊂E ,使得P (G -V ')>P (G ),而任意E "⊂E ',有P (G -E ")=P (G ),E '为边割集.若E '是单元集,该边e 叫割边(桥).要知道:强连通−−→−必是单侧连通−−→−必是弱连通,反之不成立. 3.了解邻接矩阵和可达矩阵的概念,掌握其构造方法及其应用.重点:图的概念,握手定理,通路、回路以及图的矩阵表示.第4章 几种特殊图复习要点1.理解欧拉通路(回路)、欧拉图的概念,掌握欧拉图的判别方法.通过连通图G 的每条边一次且仅一次的通路(回路)是欧拉通路(回路).存在欧拉回路的图是欧拉图.欧拉回路要求边不能重复,结点可以重复.笔不离开纸,不重复地走完所有的边,走过所有结点,就是所谓的一笔画.欧拉图或通路的判定定理(1) 无向连通图G 是欧拉图⇔G 不含奇数度结点(即G 的所有结点为偶数度);(2) 非平凡连通图G 含有欧拉通路⇔G 最多有两个奇数度的结点;(3) 连通有向图D 含有有向欧拉回路⇔D 中每个结点的入度=出度.连通有向图D 含有有向欧拉通路⇔D 中除两个结点外,其余每个结点的入度=出度,且此两点满足deg -(u )-deg +(v )=±1.2.理解汉密尔顿通路(回路)、汉密尔顿图的概念,会做简单判断.通过连通图G 的每个结点一次,且仅一次的通路(回路),是汉密尔顿通路(回路).存在汉密尔顿回路的图是汉密尔顿图.汉密尔顿图的充分条件和必要条件(1) 在无向简单图G =<V ,E >中,∣V ∣≥3,任意不同结点V v u G v u ≥+∈)deg()deg(,,,则G 是汉密尔顿图.(充。

离散数学知识点总结

离散数学知识点总结

离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。

2、掌握集合的表示法和集合的交、并、差、补等基本运算。

3、掌握集合运算基本规律,证明集合等式的方法。

4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。

[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。

[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。

2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。

实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。

[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。

解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。

解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。

离散数学知识点总结及应用

离散数学知识点总结及应用

离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算:并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词:与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型:自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构:邻接矩阵、邻接表
- 图的遍历算法:深度优先搜索、广度优先搜索
- 最短路径算法:Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算:与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用:逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结,希望对你的研究有所帮助。

离散数学复习提纲

离散数学复习提纲

离散数学复习提纲离散数学是一门关于离散对象的数学分支,它主要研究离散结构及其性质,广泛应用于计算机科学、信息技术、密码学等领域。

下面是一个离散数学的复习提纲,包括离散数学的基本概念、离散结构、图论、关系、逻辑以及集合论等内容。

一、离散数学的基本概念1.数学基础:集合、函数、关系、证明方法(数学归纳法、反证法、递归法等);2.命题逻辑:命题、命题连接词、真值表、逻辑运算、逻辑等价、推理规则等;3.谓词逻辑:谓词、量词、公式、合取范式和析取范式、蕴含、等价、量词的否定规则等;4.证明方法:直接证明、间接证明、归谬证明、证明策略等。

二、离散结构1.图论:图的基本概念、图的表示方法、连通性、路径和回路、图的着色、最小生成树等;2.代数结构:群、环、域的定义、性质及基本例子;3.组合数学:组合基本原理、二项式系数、排列组合、生成函数、递归关系、容斥原理等;4.有限状态自动机:确定性有限状态自动机、非确定性有限状态自动机、正则表达式等。

1.图的基本概念:顶点、边、路径、回路、度等;2.图的表示:邻接矩阵、邻接表、关联矩阵等;3.图的遍历:深度优先、广度优先;4. 最短路径问题:Dijkstra算法、Floyd-Warshall算法;5. 最小生成树问题:Prim算法、Kruskal算法;6.匹配问题:最大匹配、二分图匹配等。

四、关系1.关系的基本概念:关系矩阵、关系的性质(反自反性、对称性、传递性等);2.等价关系:等价关系的性质、等价类等;3.偏序关系:偏序关系的性质、偏序集合、哈斯图等;4.传递闭包:传递闭包的定义、传递闭包的计算方法等。

五、逻辑1.命题逻辑:命题的定义、逻辑运算、真值表、逻辑等价、推理规则等;2.谓词逻辑:量词的定义、公式的定义、量词的否定规则、等价变换等;3.命题逻辑与谓词逻辑的转换;4.形式化推理:前向链式推理、后向链式推理、消解法等。

1.集合的基本概念:子集、并集、交集、差集、补集等;2.集合运算:集合的并、交、差、补等运算的性质;3.集合的关系:包含关系、相等关系、等价关系等;4.集合的表示方法:列举法、描述法、元祖法等;5.集合的基数:有限集合的基数、无穷集合的基数、基数的性质。

离散数学期末复习总要

离散数学期末复习总要

离散数学期末复习总要离散数学期末复习各个章节要点纲要(及定理)离散数学定义定理1.3.1命题演算的合式公式规定为:(1)单个命题变元本身是一个合式公式。

(2)如果A是合式公式,那么┐A是合式公式。

(3)如果A和B是合式公式,那么(A∨B)、(A∧B)、(A→B)、(A?B)、都是合式公式。

(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元,连接词和圆括号的符号串是合式公式。

1.3.2 设Ai是公式A的一部分,且Ai是一个合式公式,称Ai是A的子公式。

1.3.3 设P为一命题公式,P1,P2,……,Pn为出现在P中的所有命题变元,对P1,P2,……,Pn指定一组真值称为对P的一种指派。

若指定的一种指派,使P的值为真,则称这组指派为成真指派。

若指定的一种指派,使P的值为假,则称这种指派为成假指派。

含n个命题变元的命题公式,共有2n个指派。

1.3.4 给定两个命题公式A和B,设P1,P2,……,Pn为所有出现于A和B中的原子变元,若给P1,P2,……,Pn任一组真值指派,A和B的真值都相同,称A和B是等价的,记做A <=>B。

1.3.5 设A为一命题公式,若A在它的各种指派情况下,其取值均为真,则称A为重言式或永真式。

1.3.6 设A为一命题公式,若A在它的各种指派情况下,其取值均为假,则称A为矛盾式或永假式。

1.3.7设A为一命题公式,若A在它的各种指派情况下至少存在一组成真指派,则称A为可满足式。

1.4.1 设X式合式公式A的子公式,若有Y也是一个合式公式,且X<=>Y,如果将A中的X用Y置换,得到公式B,则A<=>B。

1.4.2 设A,B为两个命题公式,A<=>B,当且仅当A ←→B为一个重言式。

P=>Q称做P蕴含Q或蕴含式,又称永真条件式。

蕴含式有下列性质:(1)对任意公式A,又A=>A;(2)对任意公式A,B和C,若A=>B,B=>C,则A=>C;(3)对任意公式A,B和C,若A=>B,A=>C,则A=>(B∧C); (4)对任意公式A,B和C,若A=>C,B=>C,则A∨B=>C.1.4.3设P,Q为任意两个命题公式,P<=>Q的充分必要条件式P=>Q,,Q=>P。

离散数学复习提纲(完整版)解析

离散数学复习提纲(完整版)解析

《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]1、命题与联结词(否定¬、析取∨、合取∧、蕴涵→、等价↔),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、范式:析取范式、合取范式,极大(小)项,主析取范式、主合取范式4、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法。

2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。

3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法。

4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。

5、掌握命题逻辑的推理理论。

[疑难解析]1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。

具体方法有两种,一是真值表法,二是等值演算法。

2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。

关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等值式中的分配律、同一律和互补律(排中律、矛盾律),结果的前一步适当使用幂等律,使相同的短语(或子句)只保留一个。

3、逻辑推理掌握逻辑推理时,要理解并掌握12个(除第10,11)推理规则和3种证明法(直接证明法、附加前提证明法和归谬法)。

例1.试求下列公式的主析取范式:(1)))()((P Q Q P P ⌝∨⌝⌝∧→→;(2))))((R Q Q P P →⌝∨→⌝∨())()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解 Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨)2.用真值表判断下列公式是恒真?恒假?可满足?(1)(P ∧⌝P )↔Q(2)⌝(P →Q )∧Q(3)((P →Q )∧(Q →R ))→(P →R )解:(1) 真值表因此公式(1)为可满足。

离散数学期末复习要点与重点

离散数学期末复习要点与重点

离散数学期末复习要点与重点离散数学计算机科学与技术专业的一门统设必修学位课程,共60学时,开设一学期.该课程的主要内容包括:数理逻辑、集合论、图论等.第1章 命题逻辑复习要点1.理解命题概念,会判别语句是不是命题.理解五个联结词:否定⌝P 、析取∨、合取∧、条件→、和双条件↔及其真值表,会将简单命题符号化.具有确定真假意义的陈述句称为命题.命题必须具备:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2.了解公式的概念(公式、赋值、成真赋值和成假赋值)和公式真值表的构造方法.能熟练地作公式真值表.理解永真式和永假式概念,掌握其判别方法.判定命题公式类型的方法:其一是真值表法,其二是等值演算法.3.了解公式等价概念,掌握公式的重要等价式和判断两个公式是否等价的有效方法:等值演算法、列真值表法和主范式方法.4.理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念以及和成真赋值、成假赋值的关系,熟练掌握它们的求法.命题公式的范式不惟一,但主范式是惟一的.5.了解C 是前提集合{A 1,A 2,…,A m }的有效结论或由A 1, A 2, …, A m 逻辑地推出C 的概念.要理解并掌握推理理论的规则、重言蕴含式和等价式,掌握命题公式的证明方法:真值表法、直接证法、间接证法.重点:命题与联结词,公式与解释,真值表,公式的类型及判定,主析取(合取)范式,命题演算的推理理论.第2章 谓词逻辑复习要点1.理解谓词、量词、个体词、个体域,会将简单命题符号化.原子命题分成个体词和谓词,个体词可以是具体事物或抽象的概念,分个体常项和个体变项.谓词用来刻划个体词的性质或之间的关系.量词分全称量词∀,存在量词∃.命题符号化注意:使用全称量词∀,特性谓词后用→;使用存在量词∃,特性谓词后用∧.2.了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.由原子公式、联结词和量词构成谓词公式.谓词公式具有真值时,才是命题.在谓词公式∀xA 或∃xA 中,x 是指导变元,A 是量词的辖域.会区分约束变元和自由变元.在非空集合D (个体域)上谓词公式A 的一个解释或赋值有3个条件.在任何解释下,谓词公式A 取真值1,A 为逻辑有效式(永真式);公式A 取真值0,A 为永假式;至少有一个解释使公式A 取真值1,A 称为可满足式.会求谓词公式的真值,量词的辖域,自由变元、约束变元,以及换名规则、代入规则等. 掌握谓词演算的等值式和重言蕴含式.并进行谓词公式的等价演算.3.了解前束范式的概念,会求公式的前束范式的方法.若一个谓词公式F 等价地转化成 B x Q x Q x Q k k ...2211,那么B x Q x Q x Q k k ...2211就是F 的前束范式,其中Q 1,Q 2,…,Q k 只能是∀或∃,而x 1, x 2, …, x k 是个体变元,B 是不含量词的谓词公式.前束范式仍然是谓词公式.重点:谓词与量词,公式与解释,谓词演算.第3章 集合及其运算复习要点1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素..集合的表示方法:列举法和描述法.注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分.掌握集合包含(子集)、真子集、集合相等等概念.注意:元素与集合,集合与子集,子集与幂集,∈与⊂(⊆),空集∅与所有集合等的关系. 空集∅,是惟一的,它是任何集合的子集. 集合A 的幂集P (A )=}{A x x ⊆, A 的所有子集构成的集合.若∣A ∣=n ,则∣P (A )∣=2n .2.熟练掌握集合A 和B 的并A ⋃B ,交A ⋂B ,补集~A (~A 补集总相对于一个全集).差集A -B ,对称差⊕,A ⊕B =(A -B )⋃(B -A ),或A ⊕B =(A ⋃B )-(A ⋂B )等运算,并会用文氏图表示.掌握集合运算律.3.掌握用集合运算基本规律证明集合恒等式的方法.集合的运算问题:其一是进行集合运算;其二是运算式的化简;其三是恒等式证明. 证明方法有二:(1)要证明A =B ,只需证明A ⊆B ,又A ⊇B ;(2)通过运算律进行等式推导.重点:集合概念,集合的运算,集合恒等式的证明.第4章 关系与函数复习要点1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.有序对就是有顺序二元组,如<x , y >,x , y 的位置是确定的,不能随意放置.注意:有序对<a ,b >≠<b , a >,以a , b 为元素的集合{a , b }={b , a };有序对<a , a >有意义,而集合{a , a }是单元素集合,应记作{a }.集合A ,B 的笛卡儿积A ×B 是一个集合,规定A ×B ={<x ,y >∣x ∈A ,y ∈B },是有序对的集合.笛卡儿积也可以多个集合合成,A 1×A 2×…×A n .2.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运算和求复合关系、逆关系的方法.二元关系是一个有序对集合,},{B y A x y x R ∈∧∈><=,记作xRy .空关系∅是唯一、是任何关系的子集的关系;全关系},,{A b a b a E A ∈><=A A ⨯≡;恒等关系},{A a a a I A ∈><=,恒等关系的矩阵M I 是单位矩阵.关系的集合运算有并、交、补、差和对称差.复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=•=;复合关系矩阵:21R R R M M M ⨯=(按布尔运算);有结合律:(R •S )•T =R •(S •T ),一般不可交换.逆关系},,{1R y x x y R >∈<><=-;逆关系矩阵满足:T R R M M =-1;复合关系与逆关系存在:(R •S )-1=S -1•R -1.3.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示),掌握其判别方法(利用定义、矩阵或图,充分条件),知道关系闭包的定义和求法.注:(1)关系性质的充分必要条件:① R 是自反的⇔I A ⊆R ;②R 是反自反的⇔I A ⋂R =∅;③R 是对称的 ⇔R =R -1;④R 是反对称的⇔R ⋂R -1⊆I A ;⑤R 是传递的⇔R •R ⊆R .(2)I A 具有自反性,对称性、反对称性和传递性.E A 具有自反性,对称性和传递性.故I A ,E A 是等价关系.∅具有反自反性、对称性、反对称性和传递性.I A 也是偏序关系.4.理解等价关系和偏序关系概念,理解集合上等价关系与划分一一对应的关系、掌握划分的求法和做偏序集哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、上界和下界、最小上界和最大下界.等价关系和偏序关系是具有不同性质的两个关系.⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义,会求等价类.一个子集的极大(小)元可以有多个,而最大(小)元若有,则惟一.且极元、最元只在该子集内;而上界与下界可以在子集之外.由哈斯图便于确定任一子集的最大(小)元,极大(小)元.5.理解函数概念:函数(映射),函数相等,复合函数和反函数。

离散数学期末考试重点

离散数学期末考试重点

1.1替代规则(重言式、矛盾式)1.2对偶式的定义。

什么样的公式有对偶式?对偶式原理的含义、证明、使用1.3范式1.4全功能的联结词变幻1.5谓词推理运用和1.8合在一起。

推理规则和名称(CP规则)1.6谓词符号化、特性谓词、唯一存在(量词)用其他联结词表达、自由变元、约束变元。

改名规则只能对约束变元使用。

1.7定理中出现的公式2基本概念!!!2.1属于和包含的关系、集合关系用谓词表达2.2集合运算、对应的谓词表达形式、主范式、定理中关于集合的公式。

2.3求幂集合和元素个数2.5定义和性质3关系的定义二元关系的三种表达形式及转换集合——集合的二元关系自反、反自反、对称、反对称、传递的定义!!前域、陪域为同一集合。

合成运算谓词表达、相应性质P100-102矩阵运算闭包(必考)、公式3-10 P110 9、10闭包性质自反对称传递顺序一定偏序的判断和证明、画出哈斯图。

求最大/小、极大/小、上下界其他序判定。

词典序和标准序、求前/后继等价关系的判定、最常用的等价关系、等价的概念覆盖和划分区别、划分和等价关系的诱导、求积与和、划分的定义和性质、函数的定义、其他概念。

合成函数与关系的合成顺序不同。

单满双的函数性质判定(定理)及证明。

逆函数<--->双射左右逆元构造单侧逆函数补充部分:题型:一、选择10*2’=20’二、填空18*2’=36三-七为大题:三、主范式证明。

9’四、谓词演绎推理15’五、六:二元关系证明七、函数15’注意:一、三章是重点,一定要对基本概念相当清楚(尤其是第一章的公式)!!2.3不考。

那些已知的定理的证明不考,可以直接用的。

这是信安班画的重点,大家可以做个参考。

目前估计卷子是一样的。

(完整word版)离散数学复习提纲(完整版)

(完整word版)离散数学复习提纲(完整版)

《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]1、命题与联结词(否定¬、析取∨、合取∧、蕴涵→、等价↔),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、范式:析取范式、合取范式,极大(小)项,主析取范式、主合取范式4、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法.2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。

3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法.4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。

5、掌握命题逻辑的推理理论。

[疑难解析]1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。

具体方法有两种,一是真值表法,二是等值演算法。

2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。

关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等值式中的分配律、同一律和互补律(排中律、矛盾律),结果的前一步适当使用幂等律,使相同的短语(或子句)只保留一个.3、逻辑推理掌握逻辑推理时,要理解并掌握12个(除第10,11)推理规则和3种证明法(直接证明法、附加前提证明法和归谬法). 例1.试求下列公式的主析取范式:(1)))()((P Q Q P P ⌝∨⌝⌝∧→→;(2))))((R Q Q P P →⌝∨→⌝∨())()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨)2.用真值表判断下列公式是恒真?恒假?可满足?(1)(PP )Q (2)(P Q)Q (3)((P Q)(Q R ))(P R) 解:(1) 真值表 P QP P P (P P)Q 0 01 0 1 0 11 0 0 1 00 0 1 1 1 0 0 0因此公式(1)为可满足.(2) 真值表P Q P Q (P Q) (P Q)Q0 0 1 0 00 1 1 0 01 00 1 01 1 1 0 0因此公式(2)为恒假。

离散数学-复习提纲

离散数学-复习提纲

第4.1节 代数系统
定义:设(A,*)是代数系统,如果对于A中任意 元素a和b,都有a*b = c∈A,则称二元运算*对 于A是封闭的,简称*为封闭运算。 例:
(R,+)、(R,-)、(R,×)、(R,÷)是封闭 的 (Z,+)、(Z,-)、(Z,×)是封闭的
(Z,÷)是不封闭的
第4.1节 代数系统
<R, × >, <Q, × > 是群?
第4.3节 群
对于(Nk,k),情况特别。 ⑴(Nk,k)不是群。因为1是幺元,0没有逆 元。 ⑵k为偶数时,(Nk-{0},k)不一定是群。如 k=6,364=0。 ⑶k为奇数时,(Nk-{0},k)不一定是群。如 k=9,396=0。 ⑷k为素数时,(Nk-{0},k)一定是群。
第3.2节 特殊函数
定义:设f是A到B的映射, 若对任意的x,y∈A,x≠y时, 均有 f(x)≠ f(y),则称f为A到B的单射。 若f(A)=B,则称f是A到B上的满射。 若f既是满射又是单射,则称f为A到B的双射, 或1––1映射,或一一对应。
例:设集合A={1,2,3},B={1,2,3,4},那么在A 到B中,可以定义多少种不同的单射函数? 1 2 3 1 2 3 1 2 3 1 2 4 第一行固定, 第二行从B中4个元素取3个做排列,P34。
第4.2节 半群与独异点
定义:设(A,*)是代数系统,且*满足: ⑴运算*对于A是封闭的 ⑵运算*是可结合的 ⑶(A,*)含有幺元 则称(A,*)为独异点。
例:代数系统(R,+)、(Q,+)、(Z,+)都是独 异点,即含幺元0的半群。
第4.2节 半群与独异点
定义:设(A,*)是独异点,B是A的子集,如果 (B,*)也是独异点,且(A,*)中的幺元也属于 (B,*)。则称(B,*)为(A,*)的子独异点。

离散数学复习资料

离散数学复习资料

离散数学复习资料第1章命题逻辑本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。

命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2. 六个联结词及真值表h“”否定联结词,P是命题,P是P的否命题,是由联结词和命题P组成的复合命题.P取真值1,P取真值0,P取真值0,P取真值1. 它是一元联结词.h “”合取联结词,P Q是命题P,Q的合取式,是“”和P,Q组成的复合命题. “”在语句中相当于“不但…而且…”,“既…又…”. P Q取值1,当且仅当P,Q均取1;P Q取值为0,只有P,Q之一取0.h “”析取联结词,“”不可兼析取(异或)联结词, P Q是命题P,Q的析取式,是“”和P,Q组成的复合命题. P Q是联结词“”和P,Q组成的复合命题. 联结词“”或“”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或. 即“P Q”“(P Q)(P Q)”. P Q取值1,只要P,Q之一取值1,P Q取值0,只有P,Q都取值0.h “”蕴含联结词, P Q是“”和P,Q组成的复合命题,只有P取值为1,Q取值为0时,P Q取值为0;其余各种情况,均有P Q的真值为1,亦即10的真值为0,01,11,00的真值均为1. 在语句中,“如果P则Q”或“只有Q,才P,”表示为“P Q”.h “” 等价联结词,P Q是P,Q的等价式,是“”和P,Q组成的复合命题. “”在语句中相当于“…当且仅当…”,P Q取值1当且仅当P,Q真值相同.3. 命题公式、赋值与解释,命题公式的分类与判别h命题公式与赋值,命题P含有n个命题变项P1,P2,…,P n,给P1,P2,…,P n各指定一个真值,称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1,则这组值为P的真指派;若使P的真值为0,则称这组值称为P的假指派.h命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;判定命题公式类型的方法:其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真值为0,则该公式为永假式.既非永真,也非用假,成为非永真的可满足式.其三主析取(合取)范式法,该公式的主析取范式有2n个极小项(即无极大项),则该公式是永真式;该公式的主合取范式有2n个极大项(即无极小项),则该公式是永假式;该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,,则该公式是可满足式.h等值式A B,命题公式A,B在任何赋值下,它们的真值均相同,称A,B等值。

离散数学知识点整理

离散数学知识点整理

离散数学知识点整理离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、电子工程等领域都有着广泛的应用。

下面我们来对离散数学的一些重要知识点进行整理。

一、集合论集合是离散数学的基础概念之一。

集合是由一些确定的、不同的对象组成的整体。

集合的表示方法有列举法和描述法。

集合的运算包括并集、交集、差集和补集。

并集是指将两个集合中的所有元素合并在一起组成的新集合。

交集则是指两个集合中共同拥有的元素组成的集合。

差集是从一个集合中去掉另一个集合中的元素得到的集合。

补集是在给定的全集范围内,某个集合之外的元素组成的集合。

集合之间的关系也非常重要,比如包含关系、相等关系等。

子集是指一个集合中的所有元素都属于另一个集合。

如果两个集合相互包含,那么它们就是相等的。

二、关系关系是集合中元素之间的某种联系。

关系可以用矩阵和图形来表示。

关系的性质包括自反性、反自反性、对称性、反对称性和传递性。

自反性是指集合中的每个元素都与自身有关系;反自反性则是集合中的每个元素都与自身没有关系。

对称性是指如果一个元素与另一个元素有关系,那么反过来另一个元素也与这个元素有关系;反对称性则是如果一个元素与另一个元素有关系,且另一个元素也与这个元素有关系,那么这两个元素必须相等。

传递性是指如果一个元素与另一个元素有关系,另一个元素与第三个元素有关系,那么第一个元素与第三个元素也有关系。

关系的合成是将两个关系结合起来得到一个新的关系。

三、函数函数是一种特殊的关系,它对于定义域中的每个元素,都有唯一的对应值在值域中。

函数的类型有单射、满射和双射。

单射是指定义域中的不同元素对应值域中的不同元素;满射是指值域中的每个元素都有定义域中的元素与之对应;双射则是既是单射又是满射。

四、代数系统代数系统由集合、运算和运算所满足的公理组成。

常见的代数系统有群、环、域等。

群是一种具有封闭性、结合律、单位元和逆元的代数系统。

环是在群的基础上增加了两个运算,并且满足一定的运算规则。

离散数学期末复习要点与重点

离散数学期末复习要点与重点

离散数学期末复习要点与重点离散数学是计算机科学及其他相关学科中的一门重要的基础课程。

它主要研究离散的结构和对象,以及它们之间的关系和性质。

离散数学的核心内容包括集合论、关系、图论、布尔代数和逻辑等。

下面是离散数学期末复习的要点与重点。

一、集合论1.集合的基本概念,包括元素、子集、幂集、集合的运算等。

2.集合的性质,如交换律、结合律、分配律等。

3.集合的表示方法,包括列举法、描述法、特征函数法等。

4.集合的运算,如并、交、差、对称差等。

5.集合的关系,包括子集关系、相等关系、真子集关系等。

二、关系1.关系的基本概念,包括序偶、笛卡尔积、关系的定义等。

2.关系的性质,如自反性、对称性、传递性等。

3.关系的表示方法,包括关系矩阵、关系图、关系表等。

4.关系的运算,如复合、逆、幂等等。

5.等价关系和偏序关系的特性和性质。

6.关系的闭包,包括自反闭包、对称闭包、传递闭包等。

三、图论1.图的基本概念,包括顶点、边、路径、环等。

2.不同类型的图,包括无向图、有向图、简单图、多重图等。

3.图的表示方法,包括邻接矩阵、邻接表等。

4.图的遍历算法,包括深度优先(DFS)和广度优先(BFS)。

5. 最小生成树算法,包括Prim算法和Kruskal算法。

6. 最短路径算法,包括Dijkstra算法和Floyd-Warshall算法。

四、布尔代数1.布尔代数的基本运算,包括与、或、非等。

2.布尔函数的最小项和最大项表示方法。

3.布尔函数的化简,包括代数化简和卡诺图化简。

4.布尔函数的特性,包括恒等律、零律、单位律等。

5.布尔函数的逻辑门电路实现,包括与门、或门、非门等。

五、逻辑1.命题逻辑的基本概念,包括命题、命题变量、逻辑联结词等。

2.命题逻辑的语法,包括命题公式的形式化定义和语法规则。

3.命题逻辑的证明方法,包括直接证明、间接证明、反证法等。

4.谓词逻辑的基本概念,包括谓词、量词、合取范式等。

5.谓词逻辑的语义,包括赋值、满足关系等。

离散数学重点难点复习提纲

离散数学重点难点复习提纲

第一部分数理逻辑第一章命题逻辑重点:●熟练掌握联结词的定义;●掌握数理逻辑中命题的翻译及命题公式的定义;●熟记基本的等价公式和蕴涵公式;●利用真值表技术和公式法求公式的主析取范式和主合取范式;●熟练掌握应用基本推理方法完成命题逻辑推理:1.直接证法2.反证法3.CP规则难点:●如何正确地掌握对语言的翻译;●如何利用推理方法正确的完成命题推理。

第二章谓词逻辑重点:●谓词、量词、个体域的概念;●谓词逻辑中带量词命题的符号化;●熟记基本的谓词等价公式;●求公式的前束范式;●掌握谓词逻辑的推理规则以及能够熟练地完成一阶逻辑推理;难点:●谓词逻辑中带量词命题的符号化;●如何利用推理方法正确地完成一阶逻辑推理。

第二部分集合论第三章集合与关系重点:●掌握集合的五种基本运算和集合相等的证明方法;●幂集的概念以及和子集的关系;●序偶和笛卡尔积的概念;●关系定义及其和笛卡尔积之间的联系;●关系的复合;●关系的五种性质及其判断和证明;●关系的闭包;●等价关系定义、证明及其与等价类、集合的划分间的关系;●偏序关系的定义和证明,哈斯图;●偏序关系中的特殊元素;难点:●如何正确证明集合之间包含和相等关系;●如何正确地理解和判断关系的性质;●非常重要的关系性质的证明方法——按定义证明法;●如何正确地掌握等价关系及相应的等价类与集合划分之间的关系;●如何正确地理解和判断偏序关系中的八种特殊元素。

第四章函数重点:●能够判定某个二元关系是否是函数;●几种特殊的函数:满射,单射,双射;难点:●如何正确地判断三种特殊函数。

第三部分代数结构重点:●理解代数结构的构成和研究方法;●代数结构中运算的性质以及特殊元素;●广群⇒半群⇒独异点⇒群;●群的定义与性质;●环与域的判断和证明;●格的两种定义;●特殊格:分配格、有界格、有补格、有补分配格;●有补分配格与布尔代数之间的联系;难点:●循环群的判断和证明;●如何正确理解由偏序关系定义的格与由代数系统定义格之间的关系和区别;●如何正确理解布尔代数的概念。

离散数学知识点归纳

离散数学知识点归纳

离散数学知识点归纳一、集合论。

1. 集合的基本概念。

- 集合是由一些确定的、彼此不同的对象组成的整体。

这些对象称为集合的元素。

例如,A = {1,2,3},其中1、2、3是集合A的元素。

- 集合的表示方法有列举法(如上述A的表示)和描述法(如B={xx是偶数且x < 10})。

2. 集合间的关系。

- 子集:如果集合A的所有元素都是集合B的元素,则称A是B的子集,记作A⊆ B。

例如,{1,2}⊆{1,2,3}。

- 相等:如果A⊆ B且B⊆ A,则A = B。

- 真子集:如果A⊆ B且A≠ B,则A是B的真子集,记作A⊂ B。

3. 集合的运算。

- 并集:A∪ B={xx∈ A或x∈ B}。

例如,A = {1,2},B={2,3},则A∪B={1,2,3}。

- 交集:A∩ B = {xx∈ A且x∈ B}。

对于上述A和B,A∩ B={2}。

- 补集:设全集为U,集合A相对于U的补集¯A=U - A={xx∈ U且x∉ A}。

二、关系。

1. 关系的定义。

- 设A、B是两个集合,A× B的子集R称为从A到B的关系。

当A = B时,R称为A上的关系。

例如,A={1,2},B = {3,4},R={(1,3),(2,4)}是从A到B的关系。

2. 关系的表示。

- 关系矩阵:设A={a_1,a_2,·s,a_m},B={b_1,b_2,·s,b_n},R是从A到B的关系,则R的关系矩阵M_R=(r_ij),其中r_ij=<=ft{begin{matrix}1,(a_i,b_j)∈ R0,(a_i,b_j)∉ Rend{matrix}right.。

- 关系图:对于集合A上的关系R,用节点表示A中的元素,若(a,b)∈ R,则用有向边从a指向b。

3. 关系的性质。

- 自反性:对于集合A上的关系R,如果对任意a∈ A,都有(a,a)∈ R,则R 是自反的。

例如,A={1,2,3},R = {(1,1),(2,2),(3,3)}是自反关系。

离散数学复习要点

离散数学复习要点

《离散数学》期末考试复习要点(长期有效)第一章命题逻辑1-1 :命题、原子命题、复合命题、命题常量、命题变元1-2 :联结词否定、和取、析取、条件、双条件1-1,1-2习题(1)(3)(5)(6)1-3:翻译例题3---例题61-3 习题(1)(5)(7)1-4: 真值表,等价公式例题1—例题61-4 习题(1)1-5 所有知识,表1-5.21-5 习题(1)(6)(7)1-7:合取范式、吸取范式、小项、大项及其性质、主析取范式及其简洁式、主合取范式及其简洁式、命题公式的成真赋值例题6---例题111-7习题(4)1-8:论证过程三种方法--真值表法、直接证法、间接证法例题1(p42)例题2—例题6 表1-8.3和表1—8.41-8 习题(1)(3)(4)(5)第二章谓词逻辑2-1 :所有知识2-2:所有知识2-1,2-2习题(1)(2)2-3 例题1—例题42-3 习题(4)2-4 所有知识2-4 习题(2)(3)2-5 所有知识2-5 习题(1)(2)2-6 所有知识例题1,例题22-7 全称指定、全称推广、存在指定、存在推广。

例题1—例题32-7 习题(1)a)b)(2)a)(3)第三章集合与关系3-1 所有知识3-1 习题(4)(6)(7)(9)3-2 所有知识3-2 习题(3)(6)3-4 序偶、定理3-4.1例题13-4 习题(1)(2)(3)d)e)3-5 关系的定义,空关系,全域关系,恒等关系,关系矩阵,关系图。

例题1-例题63-5 习题(1)(2)(7)3-6 所有知识例题1—例题53-6 习题(1)3-7 复合关系,逆关系,例题1—例题43-7 习题(1)3-8 关系的闭包的定义,会求三个闭包。

例题1—例题33-8 习题(1)(2)3-9 集合的划分和覆盖的定义3-9 习题(1)3-10 等价关系的定义,等价类的概念。

商集的概念。

例题1—例题3。

3-10 习题(2)(3)3-11 相容关系的概念,相容类,最大相容类。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学期末复习要点与重点离散数学计算机科学与技术专业的一门统设必修学位课程,共72学时,开设一学期.该课程的主要内容包括:集合论、图论、代数结构.第6章 集合及其运算复习要点1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素..集合的表示方法:列举法和描述法.注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分.掌握集合包含(子集)、真子集、集合相等等概念. 注意:元素与集合,集合与子集,子集与幂集,与(),空集与所有集合等的关系. 空集,是惟一的,它是任何集合的子集. 集合A 的幂集P (A )=}{A x x ⊆, A 的所有子集构成的集合.若A =n ,则P (A )=2n .2.熟练掌握集合A 和B 的并A B ,交A B ,补集A (A 补集总相对于一个全集).差集A -B ,对称差,A B =(A -B )(B -A ),或A B =(A B )-(A B )等运算,并会用文氏图表示.掌握集合运算律(见教材)(运算的性质).3.掌握用集合运算基本规律证明集合恒等式的方法.集合的运算问题:其一是进行集合运算;其二是运算式的化简;其三是恒等式证明. 证明方法有二:(1)要证明A =B ,只需证明A B ,又A B ;(2)通过运算律进行等式推导.重点:集合概念,集合的运算,集合恒等式的证明.第7、8章 关系与函数复习要点1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.有序对就是有顺序二元组,如<x , y >,x , y 的位置是确定的,不能随意放置.注意:有序对<a ,b >≠<b , a >,以a , b 为元素的集合{a , b }={b , a };有序对(a , a )有意义,而集合{a , a }是单元素集合,应记作{a }.集合A ,B 的笛卡儿积A ×B 是一个集合,规定A ×B ={<x ,y >x A ,y B },是有序对的集合.笛卡儿积也可以多个集合合成,A 1×A 2×…×A n .2.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运算和求复合关系、逆关系的方法.二元关系是一个有序对集合,},{B y A x y x R ∈∧∈><=,记作xRy .关系的表示方法有三种:集合表示法,关系矩阵:R A ×B ,R 的矩阵⎪⎪⎭⎫ ⎝⎛==⎪⎩⎪⎨⎧/==⨯n j m i b R a Rb a r r M j i j i ij n m ij R ,...,2,1,...,2,101,)(. 关系图:R 是集合上的二元关系,若<a i , b j >R ,由结点a i 画有向弧到b j 构成的图形.空关系是唯一、是任何关系的子集的关系;全关系},,{A b a b a E A ∈><=A A ⨯≡;恒等关系},{A a a a I A ∈><=,恒等关系的矩阵M I 是单位矩阵.关系的集合运算有并、交、补、差和对称差.复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=•=;复合关系矩阵:21R R R M M M ⨯=(按布尔运算);有结合律:(R S )T =R (S T ),一般不可交换.逆关系},,{1R y x x y R >∈<><=-;逆关系矩阵满足:T R R M M =-1;复合关系与逆关系存在:(R S )-1=S -1R -1.3.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示),掌握其判别方法(利用定义、矩阵或图,充分条件),知道关系闭包的定义和求法.注:(1)关系性质的充分必要条件:① R 是自反的⇔I A ⊆R ;②R 是反自反的⇔I A ⋂R =∅;③R 是对称的 ⇔R =R -1;④R 是反对称的⇔R ⋂R -1⊆I A ;⑤R 是传递的⇔R •R ⊆R .(2)I A 具有自反性,对称性、反对称性和传递性.E A 具有自反性,对称性和传递性.故I A ,E A 是等价关系.∅具有反自反性、对称性、反对称性和传递性.I A 也是偏序关系.4.理解等价关系和偏序关系概念,掌握等价类的求法和作偏序集哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、最小上界和最大下界. 等价关系和偏序关系是具有不同性质的两个关系.⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义,会求等价类.一个子集的极大(小)元可以有多个,而最大(小)元若有,则惟一.且极元、最元只在该子集内;而上界与下界可以在子集之外.由哈斯图便于确定任一子集的最大(小)元,极大(小)元.5.理解函数概念:函数(映射),函数相等,复合函数和反函数.理解单射、满射和双射等概念,掌握其判别方法.设f 是集合A 到B 的二元关系,a A ,存在惟一b B ,使得<a , b >f ,且Dom(f )=A ,f 是一个函数(映射).函数是一种特殊的关系.集合A ×B 的任何子集都是关系,但不一定是函数.函数要求对于定义域A 中每一个元素a ,B 中有且仅有一个元素与a 对应,而关系没有这个限制.二函数相等是指:定义域相同,对应关系相同,而且定义域内的每个元素的对应值都相同.函数有:单射——若)()(2121a f a f a a ≠⇒≠;满射——f (A )=B 或,,A x B y ∈∃∈∀使得y =f (x );双射——单射且满射.复合函数,:,:,:C A f g C B g B A f →→→ 则 即))(()(x f g x f g = .复合成立的条件是:)(Dom )(Ran g f ⊆.一般g f f g ≠,但f g h f g h )()(=.反函数——若f :AB 是双射,则有反函数f -1:B A ,},)(,,{1A a b a f B b a b f ∈=∈><=-,f f g f f g ==-----11111)(,)( 重点:关系概念与其性质,等价关系和偏序关系,函数.第9、10、11章 代数结构本章重点:代数运算及性质,群的概念,置换和置换群、交换群和循环群.一、重点内容 1.代数运算及其性质二元运算,非空集合A 上的函数(映射) f :A 2→A 就是A 上的二元代数运算, 就是说二元运算是一个变换(对应关系).代数运算的性质:交换律 ∀x ,y ∈A ,有x y =y x , 在A 上适合交换律.结合律 ∀x ,y ∈A ,有(x y ) z =x (y z ),运算 在A 上适合结合律.分配律 ∀x ,y ,z ∈A ,有x *(y z )=(x *y ) (x *z ) 或(y z )*x =(y *x ) (z *x ),* 对 适合分配律.幂等律 ∀x ∈A ,有x x =x ,则运算 在A 上适合幂等律.吸收律 ∀x ,y ∈A , 有x *(x y )=x , x (x *y )=x , 和 * 满足吸收律.单位元 e l , (或e r )∈A ,对∀x ∈A , 有e l x =x (x e r =x ), e l (或e r )是A 的运算 的左单位元(或右单位元). e 既是右单位元又是左单位元就是单位元.逆元 对x ∈A ,若x -1∈A , 有x -1 x =x x -1=e ,x -1是x 的逆元.代数系统 在非空集合A 上,定义了若干代数运算f 1,f 2,…,f m , (A , f 1,f 2,…,f m )称为代数系统. 若B ⊆A ,f 1,f 2,…,f m 在B 上成立,(B , f 1,f 2,…,f m )称为子代数系统.2.群代数系统子群群半群)(存在逆元、单位元具有结合律,*)(,***H G G H −−→−−−−−−−→−−−−−→−⊆ 注意:由上可见,代数系统、半群、群(子群)是一条线下来,条件逐步加强,半群和群是我们讨论的重点.群的性质:(1) (a -1)-1=a ; (2) (a *b )-1=b -1*a -1;(3) a m *a n =a m +n ;(4) (a m )n =a mn ; (5)(方程的可解性) 方程a *x =b 或y *a =b 有唯一解; (6) (消去律) 由a *c =b *c 或 c *a =c *b ,可得a =b3. 特殊群交换群,群(G ,*)的二元运算*满足交换律,(G ,*)是交换群(阿贝尔群) .循环群,群G 能表成G ={a k ∣k ∈Z ,a ∈G }G 是循环群. 记作G =<a >,a 是群G 的生成元.对称群 设S={1,2,…,N},S 上的所有n 元置换构成的集合Sn , 对于置换乘法,构成一个群,称为n 元对称群.置换群,n 元集合S 上的所有n 元置换构成的集合S n ,关于置换乘法构成n 元对换群,它的子群叫置换群.4. 置换,置换,有限集合S ={a 1,a 2,…,a n }上的双射σ:S →S ,n 元置换⎪⎪⎭⎫⎝⎛=)()()(11121a a a a a a n σσσσ 置换复合(乘法),设⎪⎪⎭⎫ ⎝⎛=)()()(2121n n a a a a a a σσσσ ,⎪⎪⎭⎫ ⎝⎛=)()()(2121n n a a a a a a ττττ 那么⎪⎪⎭⎫ ⎝⎛===∆))(())(())(())((*2121n n a a a a a a x στστστστσττσ 单位置换,⎪⎪⎭⎫ ⎝⎛=n n a a a a a a I 2121 逆置换,σ-1=⎪⎪⎭⎫ ⎝⎛n n a a a a a a 2121)()()(σσσ n 元集合S 上的n 元置换有n !个,有n 元置换构成的集合,记作S n .轮换,满足:(1)σ(a 1)=a 2, σ(a 2)=a 3, …,σ(a m )=a 1; (2)σ(a )=a ,当a ≠a k ,(k =1,2,…,m )时. 则σ是一个长度为m 的轮换,记作(a 1,a 2,…,a m ).重要结论:置换有结合律;不相交的轮换有交换律;S n 中任一置换都可以唯一地表示成一系列不相交的轮换之积. 而任何轮换又可以进一步表示成对换之积,所以任何n 元置换都可以表示成对换之积。

相关文档
最新文档