离散数学集合论-西安电子科技大学
西安电子科技大学考研复试科目-离散数学01命题逻辑a
若一个命题已不能分解成更简单的命题, 则这个命题叫原 子命题或本原命题。 例 1 中(a) , (b) , (d) , (e)都是本原命题, 但(c) 不是, 因为它可写成“2 是偶数”和“3 是奇数”两个命题。 命题和本原命题常用大写字母P , Q , R表示。 如用P表示 “4 是质数”, 则记为 ; P: 4 是质数。 表示命题的符号称为命题标识符。一个命题标识符如果表示确 定的命题,就称为命题常元;如果表示任意命题,就称为命题 变元。命题变元不是命题。可以对命题变元进行指派。
4
……
西安电子科技大学计算机学院 毛立强
lqmao@
课程信息
离散数学是现代数学的一个分支,以离散对象的结 构和相互关系为研究对象。 主要包括数理逻辑、集合论、代数结构和图论四部 分 通过学习本课程,掌握基本的离散信息的组织和管 理方法,了解计算机科学的部分理论基础。 强调逻辑性、抽象性,注重概念、方法与应用。
西安电子科技大学计算机学院 毛立强
14
lqmao@
在代数式x+3 中, x , 3 叫运算对象, +叫运算符, x+3 表示运算结果。在命题演算中, 也用同样术语。联 结词就是命题演算中的运算符, 叫逻辑运算符或叫逻 辑联结词(logic connective) 。常用的有以下 5 个:否定、合取、析取、条件、双条件
22
lqmao@
3. 析取∨ 如果P和Q是命题,那么“P或Q”是一个复合命题,记做P∨Q, 称为P和Q的析取(disjunction)。当且仅当P、Q至少有一个为T 时,P∨Q为T,否则,P∨Q为F。
P 0 0 1 1 Q 0 1 0 1
23
P∨Q 0 1 1 1 西安电子科技大学计算机学院 毛立强
电子科技大学离散数学第01章 集合论
2018/7/3
61-13
2、叙述法(隐式法)
通过刻画集合中元素所具备的某种特性来表示集 合的方法称为叙述法(隐式法) X所具有的
性质P
一般表示方法:A={x|P(x)}
适用场景:
代表元
一个集合含有很多或无穷多个元素;
一个集合的元素之间有容易刻画的共同特征
其突出优点是原则上不要求列出集合中全部元素, 而只要给出该集合中元素的特性。
number),记为|A|。
如|A|是有限的,则称集合A为有限集, 如|A|是无限的,则称集合A为无限集。
例1.2.13 求下列集合的基数。 (2)B = {Φ};
(1)A =Φ ; 解
2018/7/3
(3)C = {a, b, c};(4)D = {a, {b, c}}。
|A| = 0, |B| = 1,|C| = 3,|D| = 2。
示一个集合。A来自A2018/7/3
61-19
1.2.2 集合与元素的关系
元素与集合之间的“属于关系”是“明确”的。
对某个集合A和元素a来说,
a属于集合A,记为aA
或者
a不属于集合A,记为aA 两者必居其一且仅居其一。 例如,对元素2和N,就有2属于N,即 2N, 对元素-2和N,就有-2不属于N,即 -2N。
1.2.3 集合与集合的关系
一、集合的三大特征
1、互异性-集合中的元素都是不同的,凡是相同的 元素,均视为同一个元素; {1,1,2}={1,2} 2、确定性-能够明确加以“区分的”对象; 3、无序性-集合中的元素是没有顺序的。 {2,1}={1,2}
2018/7/3 61-22
例1.2.5
设E = {x|(x - 1)(x - 2)(x - 3) = 0}, x∈R}
西安电子科技大学考研复试科目-离散数学08图论b
西安电子科技大学计算机学院 毛立强
14
lqmao@
路径和回路
在图G=<V,E>中,从结点vi到vj最短路径的长度称为从vi到vj 的距离,记为d(vi,vj)。若从vi到vj不存在路径,则d(vi,vj)= ∞。 在有向图中,d(vi,vj)不一定等于d(vj,vi)。 d(vi,vj)≥0。 d(vi,vi)=0。 d(vi,vj) + d(vj,vk)≥d(vi,vk)。 -三角不等式
西安电子科技大学计算机学院
数 学 离 散
毛立强 主讲
西安电子科技大学计算机学院 毛立强
1
lqmao@
图论
图的基本概念 路径与回路 图的矩阵表示 二部图 平面图 树和有向树
西安电子科技大学计算机学院 毛立强
2
lqmao@
图的基本概念
H = G ,显然G = G。
西安电子科技大学计算机学院 毛立强
11
lqmao@
路径和回路
在有向图中,从顶点v0到顶点vn的一条路径(walk)是图的一 个点边交替序列(v0e1v1e2v2...envn),其中vi-1和vi分别是边ei 的始点和终点,i=1,2,...,n。在序列中,如果同一条边不出现 两次,则称此路径是简单路径(迹,trail),如果同一顶点不出 现两次,则称此路径是基本路径(或称为通路,path)。如 果路径的始点v0和终点vn相重合,即v0=vn,则此路径称为 回路(curcuit),没有相同边的回路称为简单回路(闭迹, closed trail),通过各顶点不超过一次的回路称为基本回路 (圈,cycle)。
3 e2 2 e1 e4 e3 1 4 e5 5 6 e6 e8 e7 8 7
弱分图
西安电子科技大学考研复试科目-离散数学08图论c
西安电子科技大学计算机学院 毛立强
10
lqmao@
路径和回路
最邻近算法 选任意点作为始点,找出一个与始点最近的点,形成一条边 的初始路径,然后用第二步的方法逐步扩充这条路径; 设x表示最新加到这条路径上的点,从不在路径上的所有点 中,选一个与x最邻近的点,把连接x与此点的边加到这条路 径中。重复这一步,直至G中所有顶点包含在路径中。 把始点和最后加入的顶点之间的边放入,就得出一个回路。
A = ∑ A( i )
+ i =1 ∞
而在n个结点的简单有向图中,基本路径长度不超过n-1,基 本回路长度不超过n,因此仅需考察 Bn-1=A+A(2)+ A(3)+···+ A(n-1),i≠j时 Bn=A+A(2)+ A(3)+···+ A(n),i=j时 此时,bij≠0,i≠j时表示从vi到vj是可达的,i=j时表示经过vi 的回路存在;bij=0,i≠j时表示从vi到vj是不可达的,分属于 不同强分图,i=j时表示经过vi的回路不存在。即bij表明了结 点间的可达性。 西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
11
lqmao@
路径和回路
a 13 b 12 10 14 6 d e 7 9 8 15 c 11
西安电子科技大学计算机学院 毛立强
12
lqmao@
路径和回路
a 13 b 12 10 14 6 d e 7 9 8 15 c 11
西安电子科技大学计算机学院 毛立强
3
lqmao@
路径和回路
|S|=3,w(G-S)=4,4>3,所以该图不是汉密尔顿图。
西安电子科技大学计算机学院 毛立强
4
lqmao@
路径和回路
西安电子科技大学考研复试科目-离散数学01命题逻辑d
(¬P ∧ Q ∧ R ) ∨ (Q ∧ ¬R ) ∨ R
是一个析取范式。
西安电子科技大学计算机学院 毛立强
7
lqmao@
定义 一个命题公式称为合取范式(conjunctive normal form), 当且仅当它具有如下形式:
A1 ∧ A 2 ∧ ... ∧ A n
现以两个变元为例25西安电子科技大学计算机学院毛立强lqmaomailxidianeducn这样n个变元的大项可以很快写出来26西安电子科技大学计算机学院毛立强lqmaomailxidianeducn这里是将命题变元对应于0命题变元的否定对应于1小项记法相反例如3个变元的大项是这样对应的大项其目的是当且仅当将大项的对应指派代入该大项才使该大项的真值为0使今后许多运算得到方便
例如
( n ≥ 1)
其中,A1,A2,…,An是由命题变元或其否定所组成的析取式。
( ¬ P ∨ Q ∨ R ) ∧ (Q ∨ ¬ R ) ∧ R
是一个合取范式。
西安电子科技大学计算机学院 毛立强
8
lqmao@
任何一个命题公式,都可以求得它的合取范式或者析取范 式,步骤如下: 将公式中的联结词都归约成¬、∨和∧。 利用德·摩根定律将否定符号¬直接移到各命题变元之前。 利用分配律、结合律将公式归约成合取范式或者析取范 式。
2n −1 i =0
∨ mi ⇔ T
定义 一个仅由小项的析取组成的公式, 如果与给定的命题公式 A等价, 则称它是A的主析取范式(principle disjunctive normal form)。
16
西安电子科技大学计算机学院 毛立强
lqmao@
定理:在真值表中,一个公式的真值为T的指派所对应 的小项的析取,即为此公式的主析取范式。 例3 用构造真值表的方法求命题公式 ¬P ∧ (Q → R)的主析取范式。
离散数学第二篇集合论-西安电子科技大学
» 内容总结和延伸
西安电子科技大学 软件学院
集合的基数 有限集合的基数是其包含元素的个数 ,无限集合 的大小不能用元素个数来度量。
有限集合与无 Nk是标准的有限集合。
限集合
可数集合
有限集合+可数无限集合(以N为标准)。
§4.3.4 可数集合
西安电子科技大学 软件学院
『定理』任意两个可数集合的并集是可数集合。 <a0, a1, a2,…,an,…> <b0, b1, b2,…,bn,…>
『定理』可数个可数集合的并集是可数集合。
§4.3.5 不可数集合
西安电子科技大学 软件学院
不可数集合 与自然数集不等势的无限集统称为不可数 集合,不可数无限集合的基数用“”א (阿列夫)表示。
§4.3.3 有限集合与无限集合
西安电子科技大学 软件学院
『定理』自然数N是无限集合。 证明:设n是任意自然数,f是任意从{0,1,…,n1}到N的函数。
设k=1+max{f(0),f(1),…,f(n-1)},那么k∈N。
但k在函数f下找不到原象,因此f不可能是满 射的。故N不可能与任一有限集合等势,N是 无限集合。
不可数集合 与N不等势的无限集合。
» 结束语
西安电子科技大学 软件学院
本节内容结束,谢谢大家!
作业(左孝凌书 ):P170(1,2,3,4,5)
证明:定义函数f: R→(0,1), f (x)=argtan(x)/π+1/2
f显然是双射的,所以R~(0,1)。
§4.3.3 有限集合与无限集合
西安电子科技大学考研复试科目-离散数学02集合b
数 学 离 散
毛立强 主讲
西安电子科技大学计算机学院 毛立强
1
lqmao@
集合
集合的基本概念 集合上的运算
有限集的计数(容斥原理) 归纳证明 集合的笛卡儿乘积
西安电子科技大学计算机学院 毛立强
2
lqmao@
9
西安电子科技大学计算机学院 毛立强
lqmao@
归纳证明
归纳定义的集合 符号串 自然数 归纳证明 数学归纳法第一原理 数学归纳法第二原理
西安电子科技大学计算机学院 毛立强
10
lqmao@
归纳定义的集合
集合的两种最常用方法——列举法和描述法,但 有许多集合难以用这两种方法表示出来, 诸如算术表 达式集合, 命题公式集合, C语言程序集合等等, 这些 集合用归纳定义来指定较为方便。
西安电子科技大学计算机学院 毛立强
14
lqmao@
符号串
设x是Σ上的一个字,如果x=a1a2...an,(ai∈Σ),那么x中 的符号个数n称为x的长度,记为||x||。长度为0的串表示为 Λ,称为空串。 如果x和y都是在Σ上的符号串, x=a1a2...an和 y=b1b2...bm,那么x连结(并置、毗连)y,记为xy,是串 xy= a1a2...anb1b2...bm。
性质:
(a) A⊗B = A ⊗B A⊗B = B⊗ A A⊗ A =U (b) (A⊗B) ⊗C = A⊗(B⊗C) (c) A∪(B⊗C) = (A∪B) ⊗(A∪C)
西安电子科技大学计算机学院 毛立强
4
lqmao@
例1 分别用集合相等的充要条件、公式等价推演的方法, 证明(A-B)⋃(B-A)=(A⋃B)-(A⋂B)。 证明 根据集合相等的充要条件是两集合互为子集。即证,使得 x∈[(A-B)⋃(B-A)]⇒ x∈[(A⋃B)-(A⋂B)] x∈[(A⋃B)-(A⋂B)]⇒ x∈[(A-B)⋃(B-A)] 任取x∈[(A-B)⋃(B-A)],则必有x∈(A-B)或x∈(B-A)成立。 (i)若x∈(A-B),则x∈A且x∉B,故有x∈A⋃B且x∉ A⋂B,即 x∈[(A⋃B)-(A⋂B)] (1) (ii)若x∈(B-A),则x∈B且x∉A,故有x∈A⋃B且x∉ A⋂B,即 x∈[(A⋃B)-(A⋂B)] (2) 由(1)(2)可得:(A-B)⋃(B-A)⊆ (A⋃B)-(A⋂B) 同理可得: (A⋃B)-(A⋂B)⊆(A-B)⋃(B-A) 因此有(A-B)⋃(B-A)=(A⋃B)-(A⋂B)。
离散数学集合论-西安电子科技大学
§3.2.2 二元关系的定义
西安电子科技大学 软件学院
设R是集合A到集合B的二元关系。
前域 陪域
集合A称为R的前域。 集合B称为R的陪域。
定义域 值域
domR = {x | (∃y)(< x, y >∈ R)} ranR = {y | (∃x)(< x, y >∈ R)}
§3.2.2 二元关系的定义
§3.2.1 两个集合的笛卡儿积
西安电子科技大学 软件学院
【定理】如果集合A和B都是有限集,那么
A×B = A • B
两个有限集合的笛卡儿积的基数等于两 个集合基数的乘积。
§3.2.2 二元关系的定义
西安电子科技大学 软件学院
二元关系 两个集合A和B的笛卡儿积A×B的子集,
称为A到B的二元关系。
西安电子科技大学 软件学院
ο
§3.2.5 关系的复合运算
西安电子科技大学 软件学院
复合关系 设R为集合A到B的二元关系,S为集合B 到C的二元关系,则R◦S为集合A到C的二 元关系。
RοS ={<a,c>| a∈A∧c∈C∧(∃b)(b∈B∧<a,b>∈R∧<b,c>∈R}
§3.2.5 关系的复合运算
§3.2.6 关系的逆运算
西安电子科技大学 软件学院
【例题】设集合A={1, 2, 3, 4}, B={2, 3, 4}, C={1, 2, 3}。
R = {< x, y >| x + y = 6, x ∈ A, y ∈ B} = {< 2,4 >, < 4,2 >, < 3,3 >} S = {< y, z >| y − z = 1, y ∈ B, z ∈C} = {< 2,1 >, < 3,2 >, < 4,3 >}
《离散数学》教学大纲48学时20170326_16级使用
《离散数学》课程教学大纲模板(黑体 小三号 居中)(以下标题为黑体小四号,行距为18磅,内容为宋体五号)一、课程定位本课程的授课对象、课程的基本描述(课程的性质、任务、与其它课程的关系等)和在人才培养过程中的地位和作用。
《离散数学》是计算机科学以及相关专业重要的专业基础课。
包括的主要内容有:数理逻辑、集合论、二元关系、函数和图论等。
它以研究离散量的结构和相互关系为主要目标,通过该课程的学习,培养学生抽象思维和严密的逻辑推理能力,为进一步学习其它专业课打好基础,并为学生今后处理离散信息,提高专业水平,从事计算机或者相应专业以及实际工作提供必备的数学工具。
二、教学目标学生通过学习该课程后,在思维、知识和能力等方面应达到的目标。
1. 有效地掌握该门课程中的所有概念。
通过讲课和布置一定数量的习题使学生能够使用所学的概念对许多问题作出正确的判断。
2. 通过课程中许多定理的证明过程复习概念,了解证明的思路,学会证明的方法,并使学生掌握定理的内容和结果。
3. 通过介绍各种做题的方法,启发学生独立思维的能力。
创造性的提出自己解决问题的方法,提高学生解决问题的能力。
4.通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力,培养学生正规的逻辑思维方式。
课程名称:离散数学/ Discrete Mathematics课程编码: 20019703总学时数/学分数:专业基础课 实验学时:0上机学时:0 课程所属部门:信息技术工程学院 适用专业:计算机科学与技术、网络工程、软件工程及相关专业课程负责人:制定日期:2017年3月说明:1.实验和上机内容只填写项目名称及学时,具体内容和要求见实验大纲。
2.教学要求分章节按“了解”、“理解”、“掌握”三个层次编写教学内容及要求。
“了解”是指学生应能辨认的科学事实、概念、原则、术语,知道事物的分类、过程及变化倾向,包括必要的记忆;“理解”是指学生能用自己的语言把学过的知识加以叙述、解释、归纳,并能把某一事实或概念分解为若干部分,指出它们之间的内在联系或与其它事物的相互关系;“掌握”是指学生能根据不同情况对某些概念、定律、原理、方法等在正确理解的基础上结合事例加以运用,包括分析和综合。
西电考博离散数学1
西安电子科技大学博士入学考试考博试题离散数学2010秋
一、
1、一个表决器有3个按钮A,B,C, 只有当B 按下,再按A 或C时灯亮,写出它的命题逻辑公式。
2、S={a,b,c},T={p,q},S到T的映射有个满射。
二、x-y=min(x,y),x ·y=max(x,y),判断这个代数系统(1)是布尔代数(2)是格还是分配格(3)是环
三、证明:题目中分别给出了2个二元运算⊙和V, 证明a⊙(bVc)=(a⊙b)V
(a ⊙c)
四、证明:根据命题计算A=┐(p1→p2)→ p3 的真度值。
五、证明:2个集合S 和T所含元素个数分别是s 和t,S∩T和S UT 的个数分别
是u,v, 证明st≥uv
六、小王做采访,共50天假期,要求每天至少访问一个,证:其中必有若
干天,这些天采访的总人数是50的倍数。
七、证明:一个无向图能被2个颜色填色是当且仅当图中没有含有长度为奇
数的回路。
八、设p,q 为正数,q是素数,p<q
1、证:pq 阶群最多有一个q 阶子群,该群是正规子群吗?
2、pq阶群是否最多有一个p 阶子群?。
西安电子科技大学考研复试科目-离散数学03关系c
(a)
sr ( R) = s ( R ∪ Ix) = ( R ∪ Ix) ∪ ( R ∪ Ix) −1 = ( R ∪ Ix) ∪ ( R −1 ∪ Ix −1 ) = R ∪ R −1 ∪ Ix = s ( R) ∪ Ix = rs ( R)
10
西安电子科技大学计算机学院 毛立强
lqmao@
关系的闭包运算
设R是X上的二元关系,如果有另一个关系R’满足: R’是自反的(对称的,可传递的); R ⊆ R’; 对于任何自反的(对称的,可传递的)关系R”,如果有 R⊆R”,就有R’⊆R”,则称关系R’为R的自反(对称,传递) 闭包(reflexive closure, symmetric closure, transitive closure)。记为:r(R), (s(R), t(R))。 设R是X上的二元关系,如果 R是自反的,当且仅当r(R)=R; R是对称的,当且仅当s(R)=R; R是传递的,当且仅当t(R)=R;
西安电子科技大学计算机学院 毛立强
5
lqmao@
关系的闭包运算
设R是X上的二元关系,则 t ( R ) =
R i ⊆ t ( R ) ,用归纳法。 先证 U
i =1
∞
Ri = R ∪ R 2 ∪ R3 ∪L U
i =1
∞
(1) 根据传递闭包定义,R⊆ t(R)。 (2) 假定n≥1时,Rn ⊆ t(R),设<x,y>∈Rn+1。因为 Rn+1=Rn°R,故必有某个c∈X,使<x,c>∈Rn和<c,y>∈R, 故有<x,c>∈t(R)和<c,y>∈t(R),即<x,y>∈t(R),所以Rn+1⊆ t(R)。
西电离散数学习题答案
西电离散数学习题答案《西电离散数学习题答案》离散数学是计算机科学和数学中的重要分支,它研究离散对象和离散关系的数学结构。
西安电子科技大学是中国著名的工科院校,其离散数学课程一直以严谨的教学和丰富的习题而闻名。
在这篇文章中,我们将为大家提供西电离散数学习题的答案,希望能够帮助大家更好地掌握离散数学的知识。
1. 集合论1) 设A={1,2,3,4,5},B={3,4,5,6,7},求集合A和B的并集和交集。
答:A和B的并集为{1,2,3,4,5,6,7},交集为{3,4,5}。
2) 若集合A={a,b,c},B={b,c,d},C={c,d,e},求(A∩B)∪C。
答:(A∩B)∪C = {c,d}∪{c,d,e} = {c,d,e}。
2. 图论1) 给定一个简单图G,如果G有6个顶点和8条边,求G的度序列。
答:度序列为{2,2,2,2,1,1}。
2) 若一个图G有5个顶点和7条边,求G的连通分量数目。
答:连通分量数目为1,因为所有顶点都在同一个连通分量中。
3. 命题逻辑1) 设p为命题“今天下雨”,q为命题“我要带伞”,若今天下雨我就要带伞,用命题逻辑表示。
答:p→q。
2) 已知命题p为“我喜欢数学”,q为“我喜欢计算机”,用命题逻辑表示“我既喜欢数学又喜欢计算机”。
答:p∧q。
通过以上习题的答案,我们可以看到西电离散数学课程的内容涵盖了集合论、图论、命题逻辑等多个方面,而且题目设计严谨,能够帮助学生更好地理解和掌握离散数学的知识。
希望同学们在学习离散数学的过程中能够认真对待习题,不断巩固知识,提升自己的数学素养。
西安电子科技大学考研复试科目-离散数学01命题逻辑c
西安电子科技大学计算机学院 毛立强
20
lqmao@
作业
1.2 1.4 1、a c e g i k m 4 1、2、4 7 8、c d
西安电子科技大学计算机学院 毛立强
21
lqmao@
E14 E11、E1和替换规则 E7 E9和替换规则 E21和替换规则 E18和替换规则
⇔ P ∧ ¬ Q ∨ (Q ∨ R )
⇔ ( P ∧ ¬Q ∨ Q ) ∨ R
⇔ ( P ∨ Q ) ∧ (¬Q ∨ Q ) ∨ R
⇔ ( P ∨ Q) ∧ T ∨ R
⇔ P ∨ Q ∨ R
西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
10
lqmao@
例5 证明¬Q∧(P→Q)⇒¬P。 证明 ( 1 )肯定前件法:设¬Q∧(P→Q )为T,则¬Q为T, (P→Q )为T, 所以Q为F,P为F,于是¬P为T,所以¬Q∧(P→Q ) ⇒¬P成立。 ( 2 )否定后件法:设¬P为F,则P为T, ( i )当Q为F,则P→Q为F,所以¬Q∧(P→Q )为F; ( ii )当Q为T,则¬Q为F,所以¬Q∧(P→Q )为F。 所以¬Q∧(P→Q ) ⇒¬P成立。
西安电子科技大学计算机学院 毛立强
3
lqmao@
在一个命题公式中,如果用其他公式替换命题公式的某一部 分,一般将会产生新的公式,例如¬P∧¬Q中用P→Q替换Q, 则产生的新公式¬P∧¬(P→Q)就与原式不同。而有些情况 下,替换后的公式与原式是等价的,例如(P→Q)∨R中用 ¬P∨Q替换P→Q,得到的(¬P∨Q)∨R就与原式是等价的。 为了保证替换后的公式与原式等价,需对替换做出一些规定。
lqmao@
西安电子科技大学计算机学院 毛立强
西安电子科技大学考研复试科目-离散数学03关系d
西安电子科技大学计算机学院 毛立强
15
lqmao@
序关系
每一个有限的全序集合,一定是良序集合。 证明:设A={a1,a2,...an},令<A,≤>是全序集合,现在假定 <A,≤>不是良序集合,那么必定存在一个非空集合B,是A的 子集,在B中不存在最小元,由于B是一个有限集合,故一定 存在两个元素x与y是无关的,由于<A,≤>是全序集合, x,y∈A,所以x,y必有关系,得出矛盾,故<A,≤>必是良序 集合。 上述结论对无限的全序集合不一定成立,如大于0小于1 的全部实数,按大小次序关系是一个全序集合,但因为不存 在最小元,所以不是良序集合。
西安电子科技大学计算机学院 毛立强
17
lqmao@
序关系
由于<N,≤>和有限线序集合都是良序的,由此可定义出 Σ*上的一个良序,通常称为标准序。 设Σ是一有限字母表,指定了字母表序(线序)。||x||表示 x∈Σ*的长度,如果x,y∈Σ*, ||x||<||y||,或者 ||x||=||y||,且在Σ*的词典序中x前于y,那么x≤y。≤称为 标准序。
西安电子科技大学计算机学院 毛立强
9
lqmao@
序关系
24 123,6}, 则最小上界为6,没有最大下界;若 B={6,12},则最小上界为12,最大下界 为6。
2
3
设偏序集<A,≤>,且B是A的子集,若B 有最大下界(最小上界),则必是唯一的。
14 21 15
B的极小元集合为{2,3,7}, 极大元集合为{14,21}
2
7
3
5
极大元和极小元不是唯一的
西安电子科技大学计算机学院 毛立强
电子科技大学离散数学课程组国家精品课程
2Байду номын сангаас3.1 排列问题
定义2.3.1 从含n个不同元素的集合S中有序选取 的r个元素叫做S的一个r -排列,不同的排列总数 记为P(n, r)。如果r = n,则称这个排列为S的一 个全排列,简称为S的排列。 显然,当r>n时,P(n, r) = 0。
电子科技大学离散数学课程组国家精 品课程
例2.3.1
汉堡(H) 3.25 茶水(T) 0.70
三明治 3.65 牛奶 0.85
(S)
(M)
鱼排(F) 3.15 可乐(C) 0.75
啤酒(B) 0.75
电子科技大学离散数学课程组国家精 品课程
2.2.1 乘法原理
如果一些工作需要t步完成,第一步有n1种 不同的选择,第二步有n2种不同的选择,… , 第t步有nt种不同的选择,那么完成这项工作所 有可能的选择种数为:
电子科技大学离散数学课程组国家精 品课程
定理2.3.4
对满足0< r ≤n的正整数n和r有,即
证明 先从n个不同元素中选出r个元素,有 C(n, r)种选法,再把每一种选法选出的r个 元素做全排列,有r!种排法。
电子科技大学离散数学课程组国家精 品课程
定理2.3.4(续)
根据乘法原理,n个元素的r排列数为: 即
电子科技大学离散数学课程组国家精 品课程
定理2.3.3
含n个不同元素的集合的环形r-排列数Pc(n,r)是
电子科技大学离散数学课程组国家精 品课程
例2.3.4
求满足下列条件的排列数。 (1)10个男孩和5个女孩站成一排,无两个女孩相邻。 (2)10个男孩和5个女孩站成一圆圈,无两个女孩相邻. 解 (1)根据推论2.3.2,10个男孩的全排列为10!,5 个女孩插入到10个男孩形成的11个空格中的插入方法 数为P(11, 5)。根据乘法原理,10个男孩和5个女孩 站成一排,没有两个女孩相邻的排列数为:
西安电子科技大学考研复试科目-离散数学01命题逻辑b
lqmao@
单个命题变元和命题常元叫原子公式。 由以下形成规则生 成的公式叫命题公式 (合式公式): ; (1) 单个原子公式是命题公式。 (2) 如果A和B是命题公式, 则(¬A) , (A∧B) , (A∨B) , (A→B) , (A↔B)是命题公式。 (3) 只有有限步应用条款(1)和(2)生成的公式才是命题公式。 这种定义叫归纳定义, 也叫递归定义。由这种定义产生的公 式叫合式公式 。
•运算符结合力的强弱顺序为:
¬、∧,∨,→,↔
凡符合此顺序的, 括号均可省去。 •相同的运算符, 按从左至右次序计算时, 括号可省去。 •最外层的圆括号可以省去。 例如: ( ¬((P∧¬Q)∨R)→((R∨P)∨Q)) 可写成 : ¬(P∧¬Q∨R)→R∨P∨Q
但有时为了看起来清楚醒目, 也可以保留某些原可省去的括号。
西安电子科技大学计算机学院 毛立强
4
lqmao@
在日常生活中用条件式来断言前提和结论之间的因果或实 质关系, 如上例(a)和(b), 这样的条件式叫形式条件, 然而, 在命题 演算中, 一个条件式的前提和结论并不需要有因果和实质联系, 这样的条件式叫实质条件, 如上例(c)中, 桔子的颜色和大地的外 形之间没有因果和实质关系存在, 但条件式W→V是真, 因为前 提是假而结论是真。 采用实质条件作定义, 是因为在讨论逻辑 和数学问题中, 这不仅是正确的, 且方便应用。 -“善意推定”
西安电子科技大学计算机学院 毛立强
24
lqmao@
逻辑等价
给定两个命题公式A和B,当且仅当A↔B是重言式,则称A和B是等价的或 者逻辑相等(logically equivalent)的,记做A⇔B,读做“A等价于B”。 例如:¬(P∧Q)↔(¬P∨¬Q)是一个重言式,所以有 ¬(P∧Q) ⇔ (¬P∨¬Q) 可见,给定两个命题公式A和B,设P1、P2、…、Pn为所有出现在A和B 中的原子变元,但Pi(i=1,2,…,n)不一定在A和B中同时出现。若给P1、 P2、…、Pn任一组真值指派,A和B的真值都相同,则A↔B是一个重言 式,所以A和B是等价的。这也可以作为两个命题公式等价的定义。 注意 ⇔ 和 ↔ 的区别 证明命题公式A和B等价可以采用真值表的方法。
西安电子科技大学考研复试科目-离散数学05无限集合b-08图论a
西安电子科技大学计算机学院 毛立强
lqmao@
小结
明确有限集、可数无限集、不可数无限集及其基 数的概念 基数的比较
西安电子科技大学计算机学院 毛立强
15
lqmao@
作业
• 5-1 (3) • 5-2 (2) (10)
西安电子科技大学计算机学院 毛立强
基数的比较
如果A是无限集,那么s\s0 ≤|A|( s\s0是最小的无限集基数) 证明:如果A是无限集合, 那么A包含一可数无限子集B。因 为映射f: B→A, f(x)=x, x∈B是从B到A的单射函数, 这得出 |B|≤|A|, 而|B|= s\s0 ,所以s\s0 ≤|A|。 虽然有上述两个结论,但目前为止,还没有人能够证明是否 有一无限集,其基数严格介于s\s0和c之间。于是,假定c是大 于s\s0的最小基数,即不存在任何基数|S|,使s\s0 <|S|< c成立。 (连续统假设) Cantor定理:设M是一个集合,T为M的幂集,则 |M|<|T|。 说明没有最大的基数,没有最大的集合
西安电子科技大学计算机学院 毛立强
11
lqmao@
基数的比较
例:证明 [ 0 ,1]和 ( 0 ,1)具有相同的基数。 证明:作单射函数: x 1 f : [ 0 ,1] → ( 0 ,1), f ( x ) = + 2 4 g : ( 0 ,1) → [ 0 ,1], g ( x ) = x
说明没有最大的基数没有最大的集合15西安电子科技大学计算机学院毛立强lqmaomailxidianeducn小结?明确有限集可数无限集不可数无限集及其基数的概念?基数的比较16西安电子科技大学计算机学院毛立强lqmaomailxidianeducn作业?513?5221017西安电子科技大学计算机学院毛立强lqmaomailxidianeducn图论?图的基本概念?路径与回路?图的矩阵表示?二部图?平面图?树和有向树18西安电子科技大学计算机学院毛立强lqmaomailxidianeducn图的基本概念?一个图graphg是一个三重组vgegg其中vg是一个非空的结点顶点vertices集合eg是边edge的集合g是从边集e到结点偶对集合上的函数
西安电子科技大学考研复试科目-离散数学02集合a
{a | a ∈ Z ∧ 1 ≤ a ≤ 50}
Z表示整数集合。一般的 S={ a | P(a) }表示a属于S当且 仅当P(a)为真。 归纳定义法
西安电子科技大学计算机学院 毛立强
4
lqmao@
集合的基本概念
单元素集合:仅含有一个元素的集合,注意区分A和{A}。 有限集合:含有有限个元素的集合。有限集合的元素个数称 为该集合的基数或势。集合A的基数记为|A| 不是有限集合的集合称为无限集合或无穷集。
10
lqmao@
集合上的运算
(e) ( f ) (g ) (h) (i) ( j) (k ) (l ) A ∪ (B ∩ C ) = ( A ∪ B ) ∩ ( A ∪ C ) A ∩ (B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C ) A ∪ A = A A ∩ A = A A ∪ Φ = A A ∩ Φ = Φ A − Φ = A A − B ⊆ A
西安电子科技大学计算机学院 毛立强
12
lqmao@
集合上的运算
A的补(complement of A):设U是全集,而A是U的 子集,则A的补(绝对补):
A = U − A = {x | x ∈ U ∧ x ∉ A} = {x | x ∉ A}
性质:
(a) (b)
A∪ B = A ∩ B A∩ B = A ∪ B
A⊆ B⇒ B ⊆ A
( j)
A− B = A∩ B
西安电子科技大学计算机学院 毛立强
14
lqmao@
集合上的运算
文氏图(Venn diagram)
A
U
A
U
B
A
A∪ B
西安电子科技大学计算机学院 毛立强
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
笛卡儿积 设A和B是两个集合,称集合
A× B = {< a,b >| a ∈ A ∧ b ∈ B}
为集合A和B的笛卡儿积或叉集。
§3.2.1 两个集合的笛卡儿积
西安电子科技大学 软件学院
【例题】设A={a, b}, B={α, β},求A×B
解答:
A×B={<a, α >,<a, β >,<b, α >,<b, β >}
S = {< 2,1 >, < 3,2 >, < 4,3 >} R οS = {< 2,3 >, < 4,1 >, < 3,2 >}
= {< x, z >| x + z = 5, x ∈ A, z ∈ C}
§3.2.5 关系的复合运算
西安电子科技大学 软件学院
【定理】设R是从集合A和B的二元关系,S为B到C 的二元关系,P为从C到D的二元关系,则有:
西安电子科技大学 软件学院
序偶
两个元素a和b组成的具有固定次序的序列, 记为<a, b>。
例如:<北京,上海> 表示某火车行驶的起点和终点。
<北京,上海>≠<上海,北京>
两个序偶<a1, b1>=<a2,b2>的充要条件是: a1=a2且b1=b2
§3.2.1 两个集合的笛卡儿积
西安电子科技大学 软件学院
离散数学
西安电子科技大学 软件学院
第二篇 集合论
第3章 集合与关系
第13课时
3.1 集合及其运算
第14课时 第15课时 第16课时 第17-18课时 第19-20课时
3.2 二元关系 3.3 集合上的二元关系及其特性 3.4 关系的闭包运算 3.5 等价关系 3.6 序关系
§3.2.1 两个集合的笛卡儿积
ρ ( A × B ) = 2 m⋅n
§3.2.2 二元关系的定义
A到B上特殊的二元关系:
Φ (1)空关系
A × B (2)全域关系
西安电子科技大学 软件学院
§3.2.3 二元关系的表示方法
西安电子科技大学 软件学院
(1)列举法
例如: R={<张明,马琳>, <李军,王燕>, <李军,马琳}
(2)关系矩阵 (3)关系图
§3.2.1 两个集合的笛卡儿积
西安电子科技大学 软件学院
【定理】如果集合A和B都是有限集,那么
A×B = A • B
两个有限集合的笛卡儿积的基数等于两 个集合基数的乘积。
§3.2.2 二元关系的定义
西安电子科技大学 软件学院
二元关系 两个集合A和B的笛卡儿积A×B的子集,
称为A到B的二元关系。
求R与S的逆关系Rc和Sc。 解答:
Rc = {< 4,2 >, < 2,4 >, < 3,3 >} = {< y, x >| x + y = 6, x ∈ A, y ∈ B}
S c = {< 1,2 >, < 2,3 >, < 3,4 >} = {< z, y >| y − z = 1, y ∈ B, z ∈C}
张明
M R = 李军
刘刚
马琳 王燕
⎡1 0⎤
⎢⎢ 1
1
⎥ ⎥
⎢⎣0 0 ⎥⎦
张明 李军 刘刚
马琳 王燕
§3.2.4 关系的集合运算
西安电子科技大学 软件学院
由于关系是以序偶为元素构成的集合,因此集 合上的所有运算在关系上依然适用。 (1)并 (2)交 (3)差 (4)补 (5)环和
§3.2.4 关系的集合运算
» 内容总结和延伸
西安电子科技大学 软件学院
西安电子科技大学 软件学院
ο
§3.2.5 关系的复合运算
西安电子科技大学 软件学院
复合关系 设R为集合A到B的二元关系,S为集合B 到C的二元关系,则R◦S为集合A到C的二 元关系。
RοS ={<a,c>| a∈A∧c∈C∧(∃b)(b∈B∧<a,b>∈R∧<b,c>∈R}
§3.2.5 关系的复合运算
西安电子科技大学 软件学院
【例题】设集合A={1, 2, 3, 4}, B={2, 3, 4}, C={1, 2, 3}。 R = {< x, y >| x + y = 6, x ∈ A, y ∈ B} S = {< y, z >| y − z = 1, y ∈ B, z ∈ C}
求R与S的复合关系R◦S。 解答: R = {< 2,4 >, < 4,2 >, < 3,3 >}
§3.2.2 二元关系的定义
西安电子科技大学 软件学院
设R是集合A到集合B的二元关系。
前域 陪域
集合A称为R的前域。 集合B称为R的陪域。
定义域 值域
domR = {x | (∃y)(< x, y >∈ R)} ranR = {y | (∃x)(< x, y >∈ R)}
§3.2.2 二元关系的定义
§3.2.6 关系的逆运算
西安电子科技大学 软件学院
【例题】设集合A={1, 2, 3, 4}, B={2, 3, 4}, C={1, 2, 3}。
R = {< x, y >| x + y = 6, x ∈ A, y ∈ B} = {< 2,4 >, < 4,2 >, < 3,3 >} S = {< y, z >| y − z = 1, y ∈ B, z ∈C} = {< 2,1 >, < 3,2 >, < 4,3 >}
设R⊆A×B,若<x,y>∈R,则称x与y有 R关系,记为:
xRy
若<x,y>∈R,则称x与y没有R关系,记为:
xR/ y
§2.2.2 二元关系的定义
例如:
西安电子科技大学 软件学院
{张明,李军,刘刚}
{马琳,王燕 }
A:舞会上的男生
B:舞会上的女生
A与B的笛卡儿积中总共有3×2=6个序偶
“舞伴关系” R={<张明,马琳>, <李军,王燕>}
(R οS) οP = R ο(S οP)
关系的复合运算满足结合率。
若R是从集合A和A的二元关系,则有:
R的幂次: R n = 1R ο4 R2Λ4 ο3R
Hale Waihona Puke n个ο§3.2.6 关系的逆运算
西安电子科技大学 软件学院
逆关系
设R为集合A到B的二元关系,R的逆关系 Rc是从集合B到A的二元关系。
Rc ={<b,a> <a,b>∈R}
定义域dom(R)
R
西安电子科技大学 软件学院
值 域ran(R)
前域A
陪域B
§3.2.2 二元关系的定义
西安电子科技大学 软件学院
【思考题】设集合A和B都是有限集合,|A|=m, |B|=n。请问A到B上可以定义多少个不同的二 元关系?
解答:A与B的笛卡儿积有多少个不同的子集,在A到B 上就可以定义多少个不同的二元关系,因此: