离散数学第16章_简单版
离散数学(第16讲)
1 2 3 4 1 2 3 4 2 4 1 3 (1 2 4 3), 3 2 4 1 ( 3 4 1), (1 2 4 3)(3 4 1) ( 2 4)
2018/11/12 计算机学院 15
例6.3
设
1 2 3 4 5 6 1 2 3 4 5 6 1 1 3 6 5 4 2 , 2 2 1 3 5 6 4
2018/11/12
f2＝{<a,1>,<b,2>}； f4＝{<a,2>,<b,2>}。
计算机学院 6
常将从A到B的一切函数构成的集合记为BA：BA＝｛f|f：A→B}
函数相等
定义6.2 f=g。 设 f和g ：X→Y是两个函数，如果对
xX ,都有f(x)=g(x), 则称f与g相等，记为
2018/11/12
2018/11/12 计算机学院 14
循环的积
一个置换可能由一个单一的循环表示出来， 也可能由多个循环连接在一起表示，称之为循 环的积（置换的复合）。 当两个循环没有公共元素时，它们的积仍是 原来的两个循环；当两个循环有公共元素时， 它们的积按照复合的意义变成了新的循环的积。 例如
1 2 3 4 5 6 0 3 1 6 4 2 5 (1 3 6 5 2)
2018/11/12 计算机学院 3ຫໍສະໝຸດ §6.1 一般集合的函数概念
定义6.1 设f是集合A到B的关系，如果对每个x∈A，都 存在惟一的y∈B，使得<x,y>∈f，则称关系f为A到B 的函数（或映射、变换），记为f：A→B。当 <x,y>∈f时，通常记为y=f(x)，这时称x为函数的自 变量，称y为x在f下的函数值（或映像）。 由函数的定义显然有： 1) domf=A，称为函数f的定义域； 2) ranf=B，称为函数f的值域，并称f(A)为A在f下的像； 3) <x,y>∈f∧<x,z>∈f y=z； 4) |f|=|A|。
离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案之欧阳与创编
离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)⇔ 0∨(0∧1)⇔0（2）（p↔r）∧(﹁q∨s)⇔（0↔1）∧(1∨1)⇔0∧1⇔0.（3）（⌝p∧⌝q∧r）↔(p∧q∧﹁r)⇔（1∧1∧1）↔(0∧0∧0)⇔0(4)（⌝r∧s）→(p∧⌝q)⇔（0∧1）→(1∧0)⇔0→0⇔1 17．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p: π是无理数 1q: 3是无理数 0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除 0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：（4）(p→q) →(⌝q→⌝p)（5）(p∧r)↔(⌝p∧⌝q)（6）((p→q) ∧(q→r)) →(p→r)答：（4）p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1)⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p ∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式：(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明（2）(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)（4）(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔ (⌝p∧⌝q)∨(⌝q∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔∑(0,2,3)主合取范式：(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p∨(⌝q∨p))∧(⌝q∨(⌝q∨p))⇔1∧(p∨⌝q)⇔(p∨⌝q)⇔ M1⇔∏(1)(2) 主合取范式为：⌝(p→q)∧q∧r⇔⌝(⌝p∨q)∧q∧r⇔(p∧⌝q)∧q∧r⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为：(p∨(q∧r))→(p∨q∨r)⇔⌝(p∨(q∧r))→(p∨q∨r)⇔(⌝p∧(⌝q∨⌝r))∨(p∨q∨r)⇔(⌝p∨(p∨q∨r))∧((⌝q∨⌝r))∨(p∨q∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明： (2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p（3）⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q) ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x):2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)(x∀，在（a）中为假命xF题，在(b)中为真命题。
离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案,DOC
离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)⇔0∨(0∧1)⇔0（2）（p?r）∧(﹁q∨s)⇔（0?1）∧(1∨1)⇔0∧1⇔0.（3）（⌝(4)（176能被2q:3r:2s:619（4）(p（5）(p（6）((p答：（pqp→q⌝0011111011011110010011110011所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1)⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P qrp∨qp∧r（p∨q）→(p∧r)0000010010014.(2)(p→(4)(p∧证明（2（45.(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔∑(0,2,3)主合取范式：(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p⇔1∧(p⇔(p∨⇔∏(2)⌝(p→q)⇔(p∧(3)⇔⌝⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明：(2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r)前提引入②⌝q∨⌝r①置换③q→⌝r②蕴含等值式④r⑤⌝q⑥p→q⑦￢p（3证明（4①t②t③q④s⑤q⑥（⑦（⑧q⑨q⑩p15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s附加前提引入②s→p前提引入③p①②假言推理④p→(q→r)前提引入⑤q→r③④假言推理⑥q前提引入⑦r⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p②p③﹁④￢⑤￢⑥r⑦r⑧r3.:(1)均有2=(x+)(x).(2)其中(a)(b)解：F(x):2=(x+)(x).G(x):x+5=9.(1)在两个个体域中都解释为)(x∀，在（a）中为假命题，在(b)中为真命题。
离散数学sec16-17 群
模 6 加群 <Z6, >中 由 2 生成的子群 <2> = { 0, 2, 4 }
21
特殊子群2
例 设G为群，令C是与G中所有的可交换的元素构 成的集合，即 C＝{a|a∈G∧x∈G(ax＝xa)} 则C是G的子群，称为G的中心。
限群。 群G的基数称为群G的阶，有限群G的阶记作|G|。
(2)只含单位元的群称为平凡群。
(3)若群G中的二元运算是可交换的，则称G为交 换群或阿贝尔(Abel)群。
11
群论中常用的概念－元素的n次幂
定义 设G是群，a∈G，n∈Z，则a的n次幂 P250 定义17.4
e a n a n1a
(a 1 )n
换 σ∈Sn，逆置换σ1是σ 的逆元. 这就证明了Sn关于置换的乘法构成一个群，称为 n
元对称群. n元对称群的子群称为 n元置换群.
31
例 设 S = {1, 2, 3}，3元对称群
S3的对称群是？ 运算表？ S3的子群？
32
n元置换的分解式
• k阶轮换与轮换分解方法 定义11.11 P258
定义 设<G,>是代数系统，为二元运算。如果运 算是可结合的，存在单位元e∈G，并且对G中 的任何元素x都有x-1∈G,则称G为群（group）。 (P249定义17.1)
例 <Z,+>,<Q,+>,<R,+>,<Z+,+>,<N,+>是不是群？
<Zn,>是群?
8
14.4+16离散数学
13
有向图关联矩阵的性质： 有向图关联矩阵的性质：
14
有向图关联矩阵的性质： 有向图关联矩阵的性质：
（1）∑ m ij = 0( j = 1,2,⋯, m ) ，从而 ∑ ∑ m ij = 0 ，这说明 j=1 i =1 i =1 有向图关联矩阵中所有元素之和为0。
n
m
n
0 0 0 − 1 1 1 −1 1 0 0 0 0 0 1 1 0 0 − 1 − 1 − 1
(1 ) i = 1 j= 1
n
n
长度为1的通路的总数。 长度为1的通路的总数。 而 中环的个数， 中长度为1的回路总数。 ∑ a ii 为D中环的个数，即D中长度为1的回路总数。
(1 ) i =1 n
24
问下图中有多少条长度为2、3、4…. 的通路？
25
0 0 0 ' A = 0 0 0 0
0 0 0 0
2 1 0 0 1 0 0 0 1 0 1 1
∑a
j= 1
n
(1 ) ij
，于是 n n a (1) = n d + ( v ) = m = d ( v i )(i = 1,2,⋯, n ) ∑ ∑ ij ∑ i
+
i =1 j=1 i =1
∑a
i =1
4
强连通图和单向连通图的判别定理 定理14 14. 定理14.8 有向图D是强连通图当且仅当D中 存在经过每个顶点至少一次的回路。 定理14.9 有向图D是单向连通图当且仅当D 定理14.9 中存在经过每个顶点至少一次的通路。
5
例
（1）
（2）
（3）
（1）是强连通图 （2）是单向连通图 （3）是弱连通图
离散数学 图论-树
中序遍历（次序：左－根－右) 前序遍历（次序：根－左－右) 后序遍历（次序：左－右－根) b 中序遍历: c b e d g f a I k h j 前序遍历: a b c d e f g h i k j 后序遍历: c e g f d b k i j h a
例：给定二叉树，写出三种访问 结点的序列
是否为根树
(a) (no)
(b) (no)
(c) (yes)
从树根到T的任意顶点v的通 路(路径)长度称为v的层数。 v5的层数为 层。
层数最大顶点的层数称为树 高．将平凡树也称为根树。 右图中树高为（ ）。
v1
v2 v3
v4 v8v5Fra bibliotekv6v7 v10
v9
在根树中，由于各有向边的方向是一 致的，所以画根树时可以省去各边上的所 有箭头，并将树根画在最上方．
等长码：0-000；1-001；2-010；3-011；4-100； 5-101；6-110；7-111. 总权值: W2=3*100=300
4、二叉树的周游（遍历）
二叉树的周游：对于一棵二叉树的每一个结点都访问一次且 仅一次的操作 1）做一条绕行整个二叉树的行走路线（不能穿过树枝） 2）按行走路线经过结点的位臵（左边、下边、右边） 得到周游的方法有三种： 中序遍历（路线经过结点下边时访问结点） 访问的次序：左子树－根－右子树 前序遍历（路线经过结点左边时访问结点） 访问的次序：根－左子树－右子树 后序遍历（路线经过结点右边时访问结点） 访问的次序：左子树－右子树－根
2、根树中顶点的关系
定义：设T为一棵非平凡的根树， v2 ∀vi,vj∈V(T),若vi可达vj,则称vi为 vj的祖先,vj为vi的后代； v4 v5 若vi邻接到vj(即<vi,vj>∈E(T)，称 vi为vj的父亲,而vj为vi的儿子 v8 若vj,vk的父亲相同，则称vj与vk是兄 弟
《离散数学》课件-第16章树
18
16.3 根树及其应用
19
定义（有向树）设D是有向图，如果D的基图是无向 树，则称D为有向树。
在有向树中最重要的是根树。 定义16.6（根树）一棵非平凡的有向树，如果恰有 一个顶点的入度为O，其余所有顶点的入度均为1,则称该 树为根树。 入度为0的顶点称为树根，入度为1出度为0的顶点称 为树叶，入度为1出度不为0的点称为内点，内点和树根统 称为分支点。 树根到一个顶点的有向通路的长度称为该顶点的层数。 层数最大顶点的层数称为树高。 平凡树也称为根树。
2
16.1 树及其性质
3
定义16.1（树和森林） 连通且无回路的无向图称为无向树，简称为树，常用
T表示树。 平凡图为树，称为平凡树。 非连通且每个连通分支是树的无向图称为森林。 T中度数为1的顶点（悬挂顶点）称为树叶，度数大于
1的顶点称为分支点。 称只有一个分支点，且分支点的度数为n-1的n（n≥3）
定义16.8（子树）设T为一棵根树，则其任一顶点v 及其后代导若将层数相同的顶点都 标定次序，则称T为有序树。
根据每个分支点的儿子数以及是否有序，可将根树 分成如下若干类：
定义（跟树分类）设T为一棵根树 （1）若T的每个分支点至多有r个儿子，则称T为r叉 树。又若r叉树是有序的，则称它为r叉有序树。 （2）若T的每个分支点恰好有r个儿子，则称T为r叉 正则树。又若r叉正则树是有序的，则称它为r叉正则有 序树。 （3）若T为r叉正则树，且每个树叶的层数均为树高， 则称T为r叉完全正则树。又若r叉完全正则树是有序的， 则称它为r叉完全正则有序树。
8
平均编码长度为：L = ∑ P( i )× l( i ) = 2.53bit i=1
离散数学——树ppt课件
无向树的性质
定理16.2 设T是n阶非平凡的无向树，则T中至少有两片树叶。
证明
设T有x片树叶，由握手定理及定理16.1可知，
2(n 1) d(vi ) x 2(n x)
由上式解出x≥2。
12
例16.1
例16.1 画出6阶所有非同构的无向树。
解答 设Ti是6阶无向树。 由定理16.1可知，Ti的边数mi＝5， 由握手定理可知，∑dTi(vj)＝10，且δ(Ti)≥1，△(Ti)≤5。 于是Ti的度数列必为以下情况之一。
(1) 1，1，1，1，1，5 (2) 1，1，1，1，2，4 (3) 1，1，1，1，3，3 (4) 1，1，1，2，2，3 (5) 1，1，2，2，2，2
(4)对应两棵非同构的树， 在一棵树中两个2度顶点相邻， 在另一棵树中不相邻， 其他情况均能画出一棵非同构 的树。
13
例16.1
人们常称只有一个分支点，且分支点的度数为n-1的 n(n≥3)阶无向树为星形图，称唯一的分支点为星心。
知，G-e已不是连通图， 所以，e为桥。
9
(5)(6)
如果G是连通的且G中任何边均为桥，则G中没有回路，但在任 何两个不同的顶点之间加一条新边，在所得图中得到唯一的 一个含新边的圈。
因为G中每条边均为桥，删掉任何边，将使G变成不连通图， 所以，G中没有回路，也即G中无圈。
又由于G连通，所以G为树，由(1) (2)可知，
u,v∈V，且u≠v，则u与v之间存在唯一的路径Г，
则Г∪(u,v)（(u,v)为加的新边）为G中的圈， 显然圈是唯一的。
10
(6)(1)
如果G中没有回路，但在任何两个不同的顶点之间加一条新边， 在所得图中得到唯一的一个含新边的圈，则G是树。
屈婉玲版离散数学课后习题答案【1】
第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)⇔0∨(0∧1) ⇔0（2）（pr）∧(﹁q∨s) ⇔（01）∧(1∨1) ⇔0∧1⇔0.（3）（⌝p∧⌝q∧r）(p∧q∧﹁r) ⇔（1∧1∧1）(0∧0∧0)⇔0(4)（⌝r∧s）→(p∧⌝q) ⇔（0∧1）→(1∧0) ⇔0→0⇔117．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p: π是无理数1q: 3是无理数0r: 2是无理数 1s:6能被2整除1t: 6能被4整除0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：（4）(p→q) →(⌝q→⌝p)（5）(p∧r) ↔(⌝p∧⌝q)（6）((p→q) ∧(q→r)) →(p→r)答：（4）p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式：(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明（2）(p→q)∧(p→r)⇔(⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)（4）(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式：(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为：⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r ⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为：(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P 中构造下面推理的证明：(2)前提：p →q,⌝(q ∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p ⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q) ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.。
离散数学 16章
CHAPTER Fourteen
先证G中无回路 中无回路。 中存在某个结点v上的环 ②⇒③ 先证 中无回路。若G中存在某个结点 上的环， 中存在某个结点 上的环， 存在一条路L ∀u∈V，由条件知 到v存在一条路 1：u…v， ∈ ，由条件知u到 存在一条路 ， 有另一条路L 则u到v有另一条路 2：u…vv，矛盾。 到 有另一条路 ，矛盾。 中存在长度大于等于2的一条回路 若G中存在长度大于等于 的一条回路，则回路上两个结点之间存 中存在长度大于等于 的一条回路， 在不同的路, 矛盾。所以G中无回路 中无回路。 在不同的路 矛盾。所以 中无回路。 以下用归纳法证明m=n–1。 。 以下用归纳法证明 为平凡图， 当n=1时，G为平凡图，m=0=1–1=n–1。结论成立。 时 为平凡图 。结论成立。 设n≤k时，结论成立。下证 时 结论成立。下证n=k+1时，结论也成立。 时 结论也成立。 中的一条边， 中无回路， 设e=(u,v)是G中的一条边，由于 中无回路，所以 e有两个连 是 中的一条边 由于G中无回路 所以G- 通分支G 设它们的结点数和边数分别为： 通分支 1和G2，设它们的结点数和边数分别为：n1，m1和n2，m2。 于是有n 和 于是有 1≤k和n2≤k，由归纳假设知：m1=n1–1和m2=n2-1， ，由归纳假设知： 和 ， m=m1＋m2＋1=n1-1＋n2-1＋1=n-1。 ＋ ＋ 。
3/7/2011 8:48 AM
Discrete Math. , huang liujia
8
例题
CHAPTER Fourteen
已知无向树T有 片树叶 度与 度顶点各1个 片树叶, 度与3度顶点各 例2 已知无向树 有5片树叶 2度与 度顶点各 个, 其余顶点的度 数均为4. 求T的阶数 并画出满足要求的所有非同构的无向树. 数均为 的阶数n, 并画出满足要求的所有非同构的无向树 的阶数 的阶数为n, 度顶点的个数为n− 解 设T的阶数为 则边数为 −1, 4度顶点的个数为 −7. 由握手定 的阶数为 则边数为n− 度顶点的个数为 理得 2m=2(n−1)=5×1+2×1+3×1+4(n−7) − × × × − 解出n=8, 4度顶点为 个. 度顶点为1个 解出 度顶点为 T的度数列为 的度数列为1,1,1,1,1,2,3,4 的度数列为 有3棵非同构的无向树 棵非同构的无向树
《离散数学》教学大纲
《离散数学》教学大纲（Discrete Mathematics）适用专业：电子信息类课程类别：学科基础课课程学时：48课程学分：3.0先修课程：高等数学、线性代数等一、课程简介离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是计算机科学与技术的支撑学科。
它在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能与机器人、数据库、网络、计算机图形学、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习，不但可以掌握离散结构的描述工具和处理方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
二、教学目的与任务离散数学是一门培养学生缜密思维、严格推理，具有综合归纳分析能力的课程。
通过本课程的学习，使学生有一定的严格逻辑推理与抽象思维能力，掌握离散量的处理及运算技能，能够将离散数学应用到解决计算机技术中的实际问题中。
不仅能为学生奠定计算机科学的专业基础，并且能为将后续课程的学习及将来开发软、硬件技术及研究、应用提供有力的工具。
三、课程内容第1章命题逻辑的基本概念1.1命题与联结词1.2命题公式及其赋值第2章命题逻辑等值演算2.1等值式2.2析取范式与合取范式* 2.3联结词的完备集* 2.4可满足性问题与消解法第3章命题逻辑的推理理论3.1推理的形式结构3.2自然推理系统P3.3消解证明法第4章一阶逻辑基本概念4.1一阶逻辑命题符号化4.2一阶逻辑公式及其解释第5章一阶逻辑等值演算与推理5.1一阶逻辑等值式与置换规则5.2一阶逻辑前束范式* 5.3一阶逻辑的推理理论第6章集合代数6.1集合的基本概念6.2集合的运算6.3有穷集的计数6.4集合恒等式第7章二元关系7.1有序对与笛卡儿积7.2二元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系第8章函数8.1函数的定义与性质8.2函数的复合与反函数* 8.3双射函数与集合的基数* 8.4一个电话系统的描述实例第14章图的基本概念14.1图14.2通路与回路14.3图的连通性14.4图的矩阵表示* 14.5图的运算第15章欧拉图与哈密顿图15.1欧拉图15.2哈密顿图15.3最短路问题、中国邮递员问题与货郎担问题第16章树16.1无向树及其性质16.2生成树16.3根树及其应用三、课程学时分配、教学内容与教学基本要求四、教学方法与教学手段说明该课程教学方式主要有：课堂教学、交互学习、课后作业。
屈婉玲高教版离散数学部分答案2
第七章部分课后习题参考答案7.列出集合A={2,3,4}上的恒等关系I A ,全域关系E A ,小于或等于关系L A ,整除关系D A .解：I A ={<2，2>,<3,3>,<4,4>}E A ={<2,2>,<2,3>,<2,4>,<3,4>,<4,4>,<3,2>,<3,3>,<4,2>,<4,3>}L A ={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>} D A ={<2,4>}13.设A={<1,2>,<2,4>,<3,3>} B={<1,3>,<2,4>,<4,2>}求A ⋃B,A ⋂B, domA, domB, dom(A ⋃B), ranA, ranB, ran(A ⋂B ), fld(A-B). 解：A ⋃B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>} A ⋂B={<2,4>}domA={1,2,3} domB={1,2,4} dom(A ∨B)={1,2,3,4}ranA={2,3,4} ranB={2,3,4} ran(A ⋂B)={4}A-B={<1,2>,<3,3>}，fld(A-B)={1,2,3} 14.设R={<0,1><0,2>,<0,3>,<1,2>,<1,3>,<2,3>}求R R, R -1, R ↑{0,1,}, R[{1,2}] 解：R R={<0,2>,<0,3>,<1,3>}R -1,={<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>}R ↑{0,1}={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>} R[{1,2}]=ran(R|{1,2})={2,3}16．设A={a,b,c,d}，1R ，2R 为A 上的关系，其中1R ={},,,,,a a a b b d{2,,,,,,,R a d b c b d c b=求23122112,,,R R R R R R 。
离散数学完整版课件全套ppt教学教程最全整套电子讲义幻灯片(最新)
1.1 命题及联结词
运算符“析取” 与汉语的“或”几乎一致但有 区别：哪些老师讲离散数学？有人回答如下：
(16)“讲离散数学的老师是杨老师或吴老师”， 分解为
“讲离散数学的老师是杨老师”或 “讲离散数学的老师是吴老师”， 这两个原子命题有可能都是对的， 这种“或”称为“可同时为真的或”， 或简称为“可兼或”。 这种“或”表示可表 示为“析取”
1.1 命题及联结词
定义1.4条件:当p是1 ,q是0时,pq为0,即10 为0,其他情况为1。
逻辑运算符“如果…那么”， 如老妈说：“如果期终考了年级前10 名，那么奖励1000元”。 p:期终考了年级前10名 q:奖励1000元 则上面的语句表示为pq。 先考虑值为0即假的情况： 当p为1即“期终考了年级前10”， 且q为0即“没有奖励1000元” 这时老妈的话是假话空话，
这个例题有点不正点！ “郎才当且仅当女貌”，
可以表示为“郎才女貌”
1.2命题公式
对错明确的陈述语句称为命题，其真值t/f 0/1 C运算：加+、减-、乘x、除/、余数%， 命题逻辑：合、析、否定、条件、双条件(版) C语言中用变量x表示某些数，如x*x+x+10是表达式，
命题逻辑中用变量p,q,r表示任意命题，由命题常元与 此类变量所构成表达式，称为“命题公式”。
无论p/q取何值，这两个公式的值，与前面各例 不同，此表是将运算结果写在联结词的下方！
1.3 等值式
定义1.3.1等值： 对于合法的命题公式A、B， 若无论其中的命题变元取何值，A 、B值总相等， 称为两个公式等值，记为AB (边播边板)
目的:
1．掌握离散数学五大核心内容（集合论、数 理逻辑、代数结构、图论、组合数学）的基本概 念、基本理论、基本方法，训练提高学生的概括 抽象能力、逻辑思维能力、归纳构造能力，培养 学生严谨、完整、规范的科学态度和学习思维习 惯。
离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案之欧阳家百创编
离散数学答案屈婉玲版欧阳家百（2021.03.07）第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)⇔ 0∨(0∧1)⇔0（2）（p↔r）∧(﹁q∨s)⇔（0↔1）∧(1∨1)⇔0∧1⇔0.（3）（⌝p∧⌝q∧r）↔(p∧q∧﹁r)⇔（1∧1∧1）↔(0∧0∧0)⇔0(4)（⌝r∧s）→(p∧⌝q)⇔（0∧1）→(1∧0)⇔0→0⇔117．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p: π是无理数 1q: 3是无理数 0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除 0命题符号化为： p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：（4）(p→q) →(⌝q→⌝p)（5）(p∧r)↔(⌝p∧⌝q)（6）((p→q) ∧(q→r)) →(p→r)答：（4）p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1)⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式：(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明（2）(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)（4）(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔ (⌝p∧⌝q)∨(⌝q∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔∑(0,2,3)主合取范式：(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p∨(⌝q∨p))∧(⌝q∨(⌝q∨p))⇔1∧(p∨⌝q)⇔(p∨⌝q)⇔ M1⇔∏(1)(2) 主合取范式为：⌝(p→q)∧q∧r⇔⌝(⌝p∨q)∧q∧r⇔(p∧⌝q)∧q∧r⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为：(p∨(q∧r))→(p∨q∨r)⇔⌝(p∨(q∧r))→(p∨q∨r)⇔(⌝p∧(⌝q∨⌝r))∨(p∨q∨r)⇔(⌝p∨(p∨q∨r))∧((⌝q∨⌝r))∨(p∨q∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明： (2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p（3）⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q) ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x):2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)(x∀，在（a）中为假命题，xF在(b)中为真命题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2m = 2(n1) = 2(2+x) = 13+22+x
解出x = 3，故T有3片树叶.
T 的度数列应为 1, 1, 1, 2, 2, 3， 易知3度顶点与1个2度顶点相邻 与和2个2度顶点均相邻是非同 构的，因而有2棵非同构的无向 树T1, T2，如图所示.
例2 已知无向树T有5片树叶，2度与3度顶点各1个， 其余顶点的度数均为4，求T的阶数n，并画出满 足要求的所有非同构的无向树. 解 设T的阶数为n, 则边数为n1，4度顶点的个 数为n7. 由握手定理得 2m = 2(n1) = 51+21+31+4(n7) 解出n = 8，4度顶点为1个.
由此解出s k，这与s < k矛盾.
3． 证明：n阶 (n>1)阶无向树既不是欧拉图也不是 哈密顿图 证： (1)当n>1时，无向树 至少有两片树叶，而树叶是奇 度顶点，因此，不可能为欧拉图 （2） 当n=2时，T为K2，而K2不是哈密顿图，当 n>2时，T中有割点，根据定理15.6，有割点的图不 是哈密顿图
•
2、无向树的等价定义及性质 定理16.1 设G=<V,E>是n阶m条边的无向图，则下面 各命题是等价的： (1) G 是树 (2) G 中任意两个顶点之间存在惟一的路径. (3) G 中无回路且 m=n1. (4) G 是连通的且 m=n1. (5) G 是连通的且 G 中任何边均为桥. (6) G 中没有回路，但在任何两个不同的顶点之间加 一条新边，在所得图中得到惟一的一个含新边的 圈.
பைடு நூலகம்
(5) 生成树T的余树
导出子图
——全体弦组成的集合的
二、基本回路系统
定理16.3 无向图G具有生成树当且仅当G连通. 推论1 G为n阶m条边的无向连通图，则mn1.
推论2
的边数为mn+1.
推论3 为G的生成树T的余树，C为G中任意一个 圈，则C与 一定有公共边. 证 否则，C中的边全在T中，这与T为树矛盾.
T的度数列为1, 1, 1, 1, 1, 2, 3, 4，共有3棵非同构 的无向树，如图所示.
第二节 生成树
一、生成树及其存在条件
定义16.2 设G为无向图
(1) G的树——T 是G 的子图并且是树 (2) G的生成树——T 是G 的生成子图并且是树 (3) 生成树T的树枝——T 中的边 (4) 生成树T的弦——不在T 中的边
定理16.2 设T是n阶非平凡的无向树，则T 中至 少有两片树叶. 证 设 T 有 x 片树叶，由握手定理及定理16.1可知，
由上式解出x 2.
例1 已知无向树T中有1个3度顶点，2个2度顶点， 其余顶点全是树叶，试求树叶数，并画出满足 要求的非同构的无向树. 解 解本题用树的性质m=n1，握手定理. 设有x片树叶，于是 n = 1+2+x = 3+x,
第十六章 树
• 主要内容 • 无向树及其性质 • 生成树
•
第一节 无向树及其性质
一 无向树的定义及主要定理 定义16.1 (1) 无向树——连通无回路的无向图 (2) 平凡树——平凡图 (3) 森林——至少由两个连通分支（每个都是树） 组成 (4) 树叶——1度顶点 (5) 分支点——度数2的顶点
第十六章 习题课
主要内容 • 无向树及其性质 • 生成树 基本要求 • 深刻理解无向树的定义及性质 • 熟练地求解无向树，生成树
二、练习题 1． 无向树 T 有 ni 个 i 度顶点， i=2, 3, …,k， 其余顶点全是树叶， 求 T 的树叶数.
，及握手定理. 解 用树的性质：边数 m=n1（n 为阶数） （1） n ni t
i 2
k
k
t为树叶数
（2） m ni t 1
i 2
（3） 2 m 2 ni 2t 2 d (vi ) i ni t 从而解出 t (i 2)ni 2
i 3 i 2 k i 1 i 2
k
n
k
2．设n阶非平凡的无向树T中，(T) k，k 1. 证 明T至少 有k片树叶. 证 反证法. 否则，T至多有s片树叶，s < k，下面利用握手定理 及树的性质m = n1推出矛盾. 由于(T) k，故存在v0，d(v0) k. 于是，