离散数学知识点?离散数学知识点介绍如下:1、→,前键为真,后键为假才为假;<—>,相同为真,不同为假。2、主析取范式:极小项(m)之和;主合取范式:极大项(M)之积。3、求极小项时,命题变元的肯定为1,否定为0,求极大项时相反。4、求极大极小项时,每个变元或变元的否定只能出现一次,那么,离散数学知识点?一起来了解一下吧。
离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是有限个或可数个元素,因此他充分描述了计算机科学离散性的特点。由于离散数学在计算机科学中的重要性,因此,许多大学都把它作为研究生入学考试的专业课程中的一门,或者是一门中的一部分。
作为计算机系的一门课程,离散数学有与其它课程相通相似的部分,当然也有它自身的特点,现在我们就它作为考试内容时具有的特点作一个简要的分析。
1、定义和定理多。
离散数学是建立在大量定义上面的逻辑推理学科。因而对概念的理解是我们学习这门学科的核心。在这些概念的基础上,特别要注意概念之间的联系,而描述这些联系的实体则是大量的定理和性质。
在考试中的一部分内容就是考察大家对定义和定理的识记、理解和运用。如2002年上海交通大学的试题,问什么是相容关系。如果知道的话,很容易得分;如果不清楚,那么无论如何也得不到分数的。这类型题目往往因其难度低而在复习中被忽视。实际上这是一种相当错误的认识,在研究生入学考试的专业课试题中,经常出现直接考查对某知识点的识记的题目。对于这种题目,考生应该能够准确、全面、完整地再现此知识点。
1,自反:R为A上的二元关系,若
对于任意的x,x属于集合A→
2;对称:数学上,若对所有的
a
和
b
属于
X,下述语句保持有效,则集合
X
上的二元关系
R
是对称的:「若
a
关系到
b,则
b
关系到
a。」
数学上表示为:
a,
b
\in
X,\
a
R
b
\Rightarrow
\;
b
R
a
例如:“和……结婚”是对称关系;“小于”不是对称关系。
对称关系不是反对称关系(aRb
且
bRa
得到
b
=
a)的反义。有些关系既是对称的又是反对称的,比如"等于";有些关系既不是对称的也不是反对称的,比如整数的"整除";有些关系是对称的但不是反对称的,比如"模
n
同余";有些关系不是对称的但是反对称的,比如"小于"。
3传递:在逻辑学和数学中,若对所有的
a,b,c
属于
X,下述语句保持有效,则集合
X
上的二元关系
R
是传递的:「若a
关系到
b
且
b
关系到
c,
则
a
关系到
c。」
数学上表示为:
a,
b,
c
\in
X,\
a
R
b
\and
b
R
c
\;
\Rightarrow
a
R
c
4反自反:
5反对称:数学上,若对所有的
a
和
b
属于
X,下述语句保持有效,则集合
X
上的二元关系
R
是反对称的:「若对所有的
a
和
b
属于
X,若
a
关系到
b
且
b
关系到
a,则
a
=
b。
[二元关系的知识点]
1、关系、关系矩阵与关系图
2、复合关系与逆关系
3、关系的性质(自反性、对称性、反对称性、传递性)
4、关系的闭包(自反闭包、对称闭包、传递闭包)
5、等价关系与等价类
6、偏序关系与哈斯图(Hasse)、极大/小元、最大/小元、上/下界、最小上界、最大下界
7、函数及其性质(单射、满射、双射)
8、复合函数与反函数
二元关系疑难解析
2.关系的性质及其判定
关系的性质既是对关系概念的加深理解与掌握,又是关系的闭包、等价关系、半序关系的基础。对于四种性质的判定,可以依据教材中P49上总结的规律。这其中对传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。另一点是介绍一种判定传递性的“跟踪法”,即若
,则
。如若
,则有
,且
。
3.关系的闭包
在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。关键是熟记三个定理的结论:定理2
;定理3
;定理4的推论
。
4.半序关系及半序集中特殊元素的确定
理解与掌握半序关系与半序集概念的关键是哈斯图。哈斯图画法掌握了,对于确定任一子集的最大(小)元,极大(小)元也就容易了。
第五章主要是讲图的基本概念,其中大部分内容都是考研的时候接触过的。
第一节为无向图与有向图,又和以前一样,堆了若干概念定义,主要有多重集,无序积,顶点集,边集,n阶图,零图,平凡图,端点,孤立点,关联次数等等,无甚大用。
第二节为通路、回路和图的连通性,主要也是讲了图的一些概念,何为连通,何为可达等等。这一节有三个可能有用的概念,一个为弱连通图,指的是对应的无向图可以连通;一个是单向连通图,指的是任意两个节点之间至少有一个方向可以连通;另一个是双向连通图,它指任意两点任意方向都能连通的图。
第三节为图的矩阵表示,讲了无向图有向图的关联矩阵,有向图的邻接矩阵,和有向图的可达矩阵。至于可达矩阵,说的就是两个点之间是不是存在指定方向的路径,存在的话矩阵内该元素为1,否则为0。另外关于有向图的邻接矩阵还有一个比较重要的定理,即邻接矩阵的次方形式表示两点间为次方数长度的路径数。
第四节为最短路径、关键路径和着色,应用型比较强,主要讲的内容如题所示。
离散数学知识点介绍如下:
1、→,前键为真,后键为假才为假;<—>,相同为真,不同为假。
2、主析取范式:极小项(m)之和;主合取范式:极大项(M)之积。
3、求极小项时,命题变元的肯定为1,否定为0,求极大项时相反。
4、求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假。
5、求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写。
6、真值表中值为1的项为极小项,值为0的项为极大项。
7、n个变元共有个极小项或极大项,这为(0~-1)刚好为化简完后的主析取加主合取。
8、永真式没有主合取范式,永假式没有主析取范式。
9、推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假)。
10、命题逻辑的推理演算方法:P规则,T规则。
以上就是离散数学知识点的全部内容,用到的知识点:1、定义:A和B是集合,则A和B并集是所有A的元素和所有B的元素,而没有其他元素的集合。A和B的并集通常写作"A∪B",读作“A并B”2、集合的性质:确定性、互异性、。