- 博客(8)
- 收藏
- 关注
RSS订阅原创 离散数学第六章 格和布尔代数
离散数学第六章 格和布尔代数6-1格的概念格：设<A,≼>是一个偏序集，如果A中任意两个元素都有最小上界和最大下界，则称<A,≼>是格并运算/交运算：a∨b=a和b的最小上界，a∧b=a和b的最大下界子格：设<A,≼>是一个格，由<A,≼>诱导的代数系统为<A,∨,∧>，设B⊆A且B≠∅，如果A中的这两个运算∨和∧关于B是封闭的，则称<B,≼>是<A,≼>的子格（可证子格必成为格）eg1.格的基本性质：
2021-05-27 19:06:50
7152
2
原创 离散数学第三章 集合与关系
第三章 集合与关系3-1 集合的概念和表示法说明集合的方法有两种：列举法（eg.A={a,b,c,d}）叙述法（eg.S₁={x|x是中国的省}）我们用p(x)表示任何谓词，则{x|p(x)}可表示集合。如果p(b)为真，那么b∈A，否则b∉A外延性原理：两个集合是相等的，当且仅当它们有相同的成员两个集合A和B是相等的，记作A=B，两个集合不相等，则记作A≠B集合的元素还可以允许是一个集合，例如：S={a,{1,2},p,{q}}。必须指出：q∈{q},但q∉S，同
2021-05-27 10:46:44
14513
1
原创 离散数学第七章 图论
离散数学第七章 图论7-1 图的基本概念一个图是由一些结点和连接两个结点之间的连线所组成，至于连线的长度及结点的位置是无关紧要的G=<V,E>：V是非空结点集，E是连接结点的边集无向边：某条边与某结点不相关联有向边：某条边与某结点相关联无向图：每一条边都是无向边的图有向图：每一条边都是有向边的图混合图：图中一些边是有向边，另一些边是无向边邻接点：在一个图中，两个结点由一条有向边或一条无向边关联孤立结点：在一个图中不与任何结点相邻接的结点零图：仅由孤立结点组成的图平凡图：
2021-05-25 20:20:40
11109
2
原创 离散数学第五章 代数结构
离散数学第五章 代数结构5-1 代数系统的引入定义1：对于集合A，一个从Aⁿ到B的映射，称为集合A上的一个n元运算。如果B⊆A，则称该n元运算是封闭的。定义2：一个非空集合A连同若干个定义在该集合上的运算f₁，f₂,…,f(n)所组成的系统就称为一个代数系统，记作<A，f₁，f₂,…,f(n)>5-2运算及其性质一些性质封闭性：设*是定义在集合A上的二元运算，如果对于任意的x,y∈A，都有x * y∈A，则称二元运算 * 在A上是封闭的。可交换性：设*是定义在集合A上的二元运算
2021-05-05 13:05:44
5496
1
原创 离散数学第三章 集合与关系（8~12）
第三章（8~12）3-8关系的闭包运算定义：设R是X上的二元关系，如果有另一个关系R’满足： 1.R‘是自反的（对称的，可传递的） 2.R’⊇R 3.对于任何自反的（对称的，可传递的）关系R‘’，如果有R‘’⊇R，就有R‘’⊇R‘。 则称关系R’为R的自反（对称，传递）闭包。记作r(R ),(s(R
2021-04-21 15:59:47
9959
原创 离散数学第三章 集合与关系（1~7）
第三章 集合与关系（1~7）3-1 集合的概念和表示法说明集合的方法有两种：列举法（eg.A={a,b,c,d}）叙述法（eg.S₁={x|x是中国的省}）我们用p(x)表示任何谓词，则{x|p(x)}可表示集合。如果p(b)为真，那么b∈A，否则b∉A外延性原理：两个集合是相等的，当且仅当它们有相同的成员两个集合A和B是相等的，记作A=B，两个集合不相等，则记作A≠B集合的元素还可以允许是一个集合，例如：S={a,{1,2},p,{q}}。必须指出：q∈{q},但
2021-04-08 17:04:25
8014
3
原创 离散数学第二章 谓词逻辑
离散数学第二章 谓词逻辑2-1谓词的概念与表示用以刻划客体的性质或关系的即是谓词我们将用大写字母表示谓词，用小写字母表示客体名称用谓词表达命题，必须包含客体和谓词字母两个部分，一般地说，“b是A”类型的命题可用A（b）表达对于“a是小于b”这种两个客体之间关系的命题，可表达为B（a,b），这里B表示“是小于”。又如命题“点a在b与c之中”可表示为L：…在…和…之中，故可记为L（a,b,c）我们把A（b）称作一元谓词，B（a,b）称作二元谓词，L（a,b,c）称作三元谓词，依次
2021-03-30 18:57:00
5017
原创 离散数学第一章 命题逻辑
第一章 命题逻辑1-2联结词PQ¬PP∧QP∨QP→QP⇄QTTFTTTTTFFFTFFFTTFTTFFFTFFTTtips: P→Q ~ ¬P∨Q P⇄Q⇔(P→Q)∧(Q→P) P⇄Q⇔(P∧Q)∨(¬P∧¬Q)1-4真值表与等价公式真值表定义在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇成列表，就是命题公式的
2021-03-23 18:11:38
7994
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人