当前位置: 首页 > 所有学科 > 数学

离散数学知识点,离散数学数理逻辑总结

  • 数学
  • 2024-10-07

离散数学知识点?离散数学知识点介绍如下:1、→,前键为真,后键为假才为假;<—>,相同为真,不同为假。2、主析取范式:极小项(m)之和;主合取范式:极大项(M)之积。3、求极小项时,命题变元的肯定为1,否定为0,求极大项时相反。4、求极大极小项时,每个变元或变元的否定只能出现一次,那么,离散数学知识点?一起来了解一下吧。

命题逻辑是什么科目学的

离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是有限个或可数个元素,因此他充分描述了计算机科学离散性的特点。由于离散数学在计算机科学中的重要性,因此,许多大学都把它作为研究生入学考试的专业课程中的一门,或者是一门中的一部分。

作为计算机系的一门课程,离散数学有与其它课程相通相似的部分,当然也有它自身的特点,现在我们就它作为考试内容时具有的特点作一个简要的分析。

1、定义和定理多。

离散数学是建立在大量定义上面的逻辑推理学科。因而对概念的理解是我们学习这门学科的核心。在这些概念的基础上,特别要注意概念之间的联系,而描述这些联系的实体则是大量的定理和性质。

在考试中的一部分内容就是考察大家对定义和定理的识记、理解和运用。如2002年上海交通大学的试题,问什么是相容关系。如果知道的话,很容易得分;如果不清楚,那么无论如何也得不到分数的。这类型题目往往因其难度低而在复习中被忽视。实际上这是一种相当错误的认识,在研究生入学考试的专业课试题中,经常出现直接考查对某知识点的识记的题目。对于这种题目,考生应该能够准确、全面、完整地再现此知识点。

离散数学基本知识

1,自反:R为A上的二元关系,若

对于任意的x,x属于集合A→∈R,则称R在A上是自反的

2;对称:数学上,若对所有的

a

b

属于

X,下述语句保持有效,则集合

X

上的二元关系

R

是对称的:「若

a

关系到

b,则

b

关系到

a。」

数学上表示为:

\forall

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。」

数学上表示为:

\forall

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、集合的性质:确定性、互异性、。

猜你喜欢