《离散数学》教案

《离散数学》教案
《离散数学》教案

《离散数学》教案

第一章集合与关系

集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的一个分支。

G. Cantor(康脱)是作为数学分支的集合论的奠基人。1870年前后,他关于无穷序列的研究导致集合论的系统发展。1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。1878年,他引进了两个集合具有相等的“势”的概念。然而,朴素集合论中包含着悖论。第一个悖论是布拉利-福尔蒂的最大序数悖论。1901年罗素发现了有名的罗素悖论。1932年康脱也发表了关于最大基数的悖论。集合论的现代公理化开始于1908年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称为策梅罗-弗兰克尔集合论(ZF),其中包括1904年策梅罗引入的选择公理。另外一种系统是冯·诺伊曼-伯奈斯-哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。现在把策梅罗-弗兰克尔集合论与选择公理一起称为ZFC系统。

一、学习目的与要求

本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运算方法,为学习后续章节打下良好基础。

二、知识点

1.集合的基本概念与表示方法;

2.集合的运算;

3.序偶与笛卡尔积;

4.关系及其表示、关系矩阵、关系图;

5.关系的性质,符合关系、逆关系;

6.关系的闭包运算;

7.集合的划分与覆盖、等价关系与等价类;相容关系;

8.序关系、偏序集、哈斯图。

三、要求

1.识记

集合的层次关系、集合与其元素间的关系,自反关系、对称关系、传递关系的识别,复合关系、逆关系的识别。

2.领会

领会下列概念:两个集合相等的概念几证明方法,关系的闭包运算,关系等价性证明。

1.1 集合论的基本概念与运算

1.1.1 集合的概念

集合不能精确定义。集合可以描述为:一个集合把世间万物分成两类,一些对象属于该集合,是组成这个集合的成员,另一些对象不属于该集合。可以说,由于一个集合的存在,世上的对象可分成两类,任一对象或属于该集合或不属于该集合,二者必居其一也只居其一。

直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。

例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;……

集合通常用大写的英文字母A,B,C,…,来标记,元素通常用小写字母a,b,c,…,来表示。例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。

集合的表示方法:表示一个集合的方法通常有三种:列举法、描述法和归纳定义法。

(1) 列举法列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来。在能清楚地表示集合成员的情况下可使用省略号。

例如 A={a,b,c,…,z},Z={0,±1,±2,…}都是合法的表示。

(2) 描述法用谓词来概括集合中元素的属性来表示这个集合。

例如 B={x|x∈R∧x2-1=0}表示方程x2-1=0的实数解集。

许多集合可以用两种方法来表示,如B也可以写成{-1,1}。但是有些集合不可以用列元素法表示,如实数集合。

(3) 归纳定义法:1.3节再讨论。

属于、不属于:元素和集合之间的关系是隶属关系,即属于或不属于,属于记作∈,不属于记作?。例如A={a,{b,c},d,{{d}}},这里a∈A,{b,c}∈A,d∈A,{{d}}∈A,但b?A,{d}?A。b和{d}是A的元素的元素。

外延公理:两个集合A和B相等,当且仅当它们有相同的成员。

集合的元素是彼此不同的:如果同一个元素在集合中多次出现应该认为是一个元素。

如 {1,1,2,2,3}={1,2,3}。

集合的元素是无序的:如{1,2,3}={3,1,2}。

1.1.2 集合间的关系

定义1.1.1 设A ,B 为集合,如果B 中的每个元素都是A 中的元素,则称B 是A 的子集合,简称子集。这时也称B 被A 包含,或A 包含B ,记作B ?A 。称B 是A 的扩集。

包含的符号化表示为:B ?A ??x(x∈B→x∈A)。如果B 不被A 包含,则记作B ?A 。

例如 N ?Z ?Q ?R ?C ,但Z ?N 。显然对任何集合A 都有A ?A 。

注意:属于关系和包含关系都是两个集合之间的关系,对于某些集合可以同时成立这两种关系。例如A ={a ,{a}}和{a},既有{a}∈A,又有{a}?A 。前者把它们看成是不同层次上的两个集合,后者把它们看成是同一层次上的两个集合,都是正确的。

定义1.1.2 设A ,B 为集合,如果B ?A 且B≠A,则称B 是A 的真子集,记作B ?A 。如果B 不是A 的真子集,则记作B ?A 。真子集的符号化表示为:B ?A ?B ?A∧B≠A。

例如 N ?Z ?Q ?R ?C ,但N ?N 。

为方便起见,所讨论的全部集合和元素是限于某一论述域中,即使这个论述域有时没有明确地指出,但表示集合元素的变元只能在该域中取值。此论述域常用U 表示,并称为全集。

定义1.1.3 不含任何元素的集合叫空集,记作Φ。空集可以符号化表示为Φ={x|x≠x}。

例如{x|x∈R∧x 2+1=0}是方程x 2

+1=0的实数解集,因为该方程无实数解,所以是空集。

定理1.1-1 空集是一切集合的子集。

证:对任何集合A ,由子集定义有()A x x x A Φ???∈Φ→∈,右边的蕴涵式因前件为假而为真命题,所以A Φ?也为真。

推论 空集是唯一的。

证:假设存在空集1Φ和2Φ,由定理6.1有12Φ?Φ,21Φ?Φ。根据集合相等的定义,有12Φ=Φ。

含有n 个元素的集合简称n 元集,它的含有m(m≤n)个元素的子集叫做它的m 元子集。任给一个n 元集,怎样求出它的全部子集呢?举例说明如下。

例1.1.1 A ={1,2,3},将A 的子集分类:

0元子集,也就是空集,只有一个:Φ;1元子集,即单元集:{1},{2},{3}; 2元子集:{1,2},{1,3},{2,3}; 3元子集:{1,2,3}。

一般地说,对于n 元集A ,它的0元子集有0n C 个,1元子集有1

n C 个,…,m 元子集有m n C 个,…,n 元子集有n n C 个。子集总数为012n n n n n C C C +++=L 个。 全集与空集在本章中起重要作用,注意掌握它们的基本概念。

注意:∈与?的联系与区别。

(1) ∈表示集合的元素(可以为集合)与集合本身的从属关系,

(2) ?表示两个集合之间的包含关系。

例如:对于集合A={a,b,c},{a}是A 的子集:{a}?A ,a 是A 的元素:a∈A。 注意:不要写成{a}∈A 和a ?A 。

{}a a ≠,但{}a a ∈;{}Φ是一元集,而不是空集。|{}|1Φ=,||0Φ=。

1.1.3 集合的运算

集合的交、并和差运算

1. 集合交、并、差运算的定义(注意集合运算与逻辑运算的对应关系)

定义 设A 和B 是集合,

(1) A 和B 的交记为A B I ,定义为:{|}A B x x A x B =∈∧∈I ;

(2) A 和B 的并记为A B U ,定义为:{|}A B x x A x B =∈∨∈U ;

(3) A 和B 的差记为A B -,定义为:{|}A B x x A x B -=∈∧?。

例:设{,,,}A a b c d =,{,,}B b c e =,则

{,}A B b c =I ,{,,,,}A B a b c d e =U ,{,}A B a d -=,{}B A e -=

定义:如果,A B 是两个集合,A B =ΦI ,那么称A 和B 是不相交的。如果C 是一个集合的族,且C 中的任意两个不同元素都不相交,那么称C 是(两两)不相交集合的族。

2. 集合的并和交运算的推广(广义交、广义并)

n 个集合 12121{|}n

i n n i A A A A x x A x A x A ===∈∧∈∧∧∈I I L I L I ,

1

2121{|}n i n n i A A A A x x A x A x A ===∈∨∈∨∨∈U UL U L U ,

无穷可数个集合: 121i i A A A ∞

==I I L I ,121

i i A A A ∞

==U UL U 一般情形:

{|()}S C S x S S C x S ∈=?∈→∈I (C ≠Φ),

{|()}S C S x S S C x S ∈=?∈∧∈U

3. 集合交、并、差运算的性质:

(1) 交换律 A B B A =I I , A B B A =U U ,

(2) 结合律 ()()A B C A B C =I I I I , ()()A B C A B C =U U U U .

(3) 分配律 ()()()A B C A B A C =U I U I U , ()()()A B C A B A C =I U I U I

(4) 幂等律 A A A =I , A A A =U ,

(5) 同一律 A A Φ=U , A U A =I ,

(6) 零 律 A U U =U A Φ=ΦI ,

(7) 吸收律 ()A A B A =U I , ()A A B A =I U ,

(8) 德摩根律 ()()()A B C A B A C -=--U I ()()()A B C A B A C -=--I U

(9) (a) A A -Φ=, (b) A B A -?, (c)A A B ?U , (d)A B A ?I ,

(e) 若A B ?,C D ?,则()()A C B D ?U U ,()()A C B D ?I I ,

(f) 若A B ?,则A B A =I , (g) 若A B ?,则A B B =U ,

(h) A B A A B B A B =?=?-=ΦI U 。

证:利用运算的定义(与逻辑运算的关系)或已证明的性质。

集合的补运算

1. 集合的补运算的定义

定义:设U 是论述域而A 是U 的子集,则A 的(绝对)补为:

{|}{|}A U A x x U x A x x A =-=∈∧?=?

B A =当且仅当A B U =U 和A B =ΦI 。

2. 集合补运算的性质:

(1) 矛盾律 A A =ΦI ; (2) 排中律 A A U =U ;

(3) 德摩根律 U Φ=, U =Φ, ________A B A B =U I , ________

A B A B =I U ;

(4) 双重否定律(A 的补的补是A ):A A =;(5) 若A B ?,则B A ?。 例:证明A -(B ∪C)=(A -B)∩( A -C)。

证对任意的x ,

x ∈A -(B ∪C) ? x ∈A ∧x ?B ∪C ? x ∈A ∧┐(x ∈B ∨x ∈C) ? x ∈A ∧(┐x ∈B ∧┐x ∈C) ? x ∈A ∧x ?B ∧x ?C

? (x ∈A ∧x ?B)∧(x ∈A ∧x ?C) ? x ∈A -B)∧x ∈A -C

? x ∈(A -B)∩(A -C)

所以 A -(B ∪C)=(A -B)∩( A -C)。

例:证明A ∩E =A 。

证对任意的x ,x ∈A ∩E ?x ∈A ∧x ∈E ?x ∈A(因为x ∈E 是恒真命题),所以A ∩E =A 。

注意:以上证明的基本思想是:设P ,Q 为集合公式,欲证P =Q ,即证P ?Q ∧Q ?P 为真。

也就是要证对于任意的x 有 x ∈P ?x ∈Q 和x ∈Q ?x ∈P 成立。对于某些恒等式可以将这两个方向的推理合到一起,就是 x ∈P ?x ∈Q 。

不难看出,集合运算的规律和命题演算的某些规律是一致的,所以命题演算的方法是证明集合恒等式的基本方法。

证明集合恒等式的另一种方法是利用已知的恒等式来代入。

例:证明A ∪(A ∩B)=A 。

证 A∪(A∩B)=(A∩E)∪(A∩B)=A∩(E∪B)=A∩(B∪E)=A∩E=A 。

例:证明等式A -B =A ∩~B 。 证对于任意的x ,x ∈A -B ?x ∈A ∧x ?B ?x ∈A ∧x ∈~B ?x ∈A ∩~B , 所以A -B =A ∩~B 。

注意:上式把相对补运算转换成交运算,这在证明有关相对补的恒等式中是很有用的。

例:证明(A -B)∪B =A ∪B

证 (A -B)∪B =(A ∩~B)∪B =(A ∪B)∩(~B ∪B)=(A ∪B)∩E =A ∪B 。

例:证明命题A ∪B =B ?A ∩B =A ?A -B =Φ。 证

(1) 证A ∪B =B ?A ?B ,对于任意的x ,

x ∈A ?x ∈A ∨x ∈B ?x ∈A ∪B ?x ∈B(因为A ∪B =B),所以A ?B 。

(2) 证A ?B ?A ∩B =A 。显然有A ∩B ?A ,下面证A ?A ∩B ,对于任意的x , x ∈A ?x ∈A ∧x ∈A ?x ∈A ∧x ∈B(因为A ?B) ?x ∈A ∩B ,由集合相等的定义有A ∩B =A 。

(3) 证A ∩B =A ?A -B =Φ。

A -

B =A ∩~B =(A ∩B)∩~B(因为A ∩B =A)=A ∩(B ∩~B)=A ∩Φ=Φ。

(4) 证A -B =Φ?A ∪B =B 。A ∪B =B ∪(A -B)=B ∪Φ=B 。

注意:上式给出了A ?B 的另外三种等价的定义,这不仅为证明两个集合之间的包含关系提供了新方法,同时也可以用于集合公式的化简。

例:化简((A ∪B ∪C)∩(A ∪B))-((A ∪(B -C))∩A)。 解因为A ∪B ?A ∪B ∪C ,A ?A ∪(B -C),故有

((A ∪B ∪C)∩(A ∪B))-((A ∪(B -C))∩A)=(A ∪B)-A =B -A 。

定义:两集合,A B 的环和(对称差)定义为:

环和: ()(){|}A B A B B A x x A x B x A x B ⊕=--=∈∧?∨?∧∈U

2. 环和与环积的性质: (1) ()()()()A B A B A B A B A B ⊕==-U I U U I , (2) A B A B ⊕=⊕, B A A B ⊕=⊕,

(3) ()()A B C A B C ⊕⊕=⊕⊕, ()()()C A B C A C B ⊕=⊕I I I ;

(4) A A ⊕=Φ, A A ⊕Φ=,

(5) A B A C B C ⊕=⊕?=

例:已知A ⊕B =A ⊕C ,证明B =C 。

证 已知A ⊕B =A ⊕C ,所以有

A ⊕(A ⊕B)=A ⊕(A ⊕C) ?(A ⊕A)⊕

B =(A ⊕A)⊕C

?Φ⊕B =Φ⊕C ?B ⊕Φ=C ⊕Φ?B =C 。

3. 集合运算的文氏图表示

注意:如果没有特殊说明,任何两个集合都画成相交的。

幂集合

定义:设A 是一个集合,A 的幂集是A 的所有子集的集合,即(){|}A B B A ρ=?。 若A 是n 元集,则()A ρ有2n

个元素。

例:若A =Φ,则(){}A ρ=Φ;若{1,2}A =,则(){,{1},{2},{1,2}}A ρ=Φ。 对任意集合A :()A ρΦ∈,()A A ρ∈。

集合运算的顺序:为了使得集合表达式更为简洁,我们对集合运算的优先顺序做如下规定:称广义交,广义并,幂集,绝对补运算为一类运算,交,并,补,环和,环积运算为二类运算。一类运算优先于二类运算;一类运算之间由右向左顺序进行;二类运算之间由括号决定先后顺序。

1.2 关系及其表示

1.2.1集合的笛卡儿积与二元关系

定义 1 由两个元素x 和y (允许x=y )组成的序列记作,称为二重组或有序对或序偶,其中x 是它的第一元素(分量),y 是它的第二元素(分量)。

有序对具有以下性质:

1.当x ≠y 时,; 2.=的充分必要条件是x=u 且y=v 。 注意:这些性质是二元集{x,y}所不具备的。例如当x ≠y 时有{x,y}={y,x}。原因在于有序对中的元素是有序的,而集合中的元素是无序的。

例1 已知=<5,2x+y>,求x 和y 。

解 由有序对相等的充要条件有x+2=5,2x+y=4,解得x=3,y=-2。

定义2 设12,,,n a a a K 是(2)n n >个元素,定义

121121,,,,,,,,n n n n a a a a a a a a --<<>>=<>K K

为n 重组。

注意:n 重组是一个二重组,其中第一个分量是1n -重组。如2,3,5<>代表2,3,5<<>>而不代表2,3,5<<>>,按定义后者不是三重组,并且2,3,52,3,5<<>>≠<<>>。

n 重组121,,,,n n a a a a -<>L 与121,,,,n n b b b b -<>L 相等当且仅当i i a b =,1i n ≤≤。

定义3 设A ,B 为集合,用A 中元素为第一元素,B 中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A 和B 的笛卡儿积(叉积),记作A ×B 。

笛卡儿积的符号化表示为A ×B={|x ∈A ∧y ∈B}。

集合12,,,n A A A K (2n >)的叉积记为12n A A A ???L 或1n

i i A =?,定义为 1211()n

i n n i A A A A A -=?=????L 例2 设A={a,b}, B={0,1,2},则

A×B={,,,,,};

B×A={<0,a>,<0,b>,<1,a>,<1,b>,<2,a>,<2,b>}。

由排列组合的知识不难证明,如果|A|=m,|B|=n,则|A×B|=mn。

笛卡儿积的运算性质

(1).对任意集合A,根据定义有 A×Φ=Φ, Φ×A=Φ;

(2).一般地说,笛卡儿积运算不满足交换律,即A×B≠B×A(当A≠Φ∧B≠Φ∧A ≠B时);

(3).笛卡儿积运算不满足结合律,即(A×B)×C≠A×(B×C)(当A≠Φ∧B≠Φ∧C≠Φ时);

(4).笛卡儿积运算对并和交运算满足分配律,即

A×(B∪C)=(A×B)∪(A×C); (B∪C)×A=(B×A)∪(C×A);

A×(B∩C)=(A×B)∩(A×C); (B∩C)×A=(B×A)∩(C×A)。

我们证明其中第一个等式。

证任取

∈A×(B∪C)? x∈A∧y∈B∪C?x∈A∧(y∈B∨y∈C)

?(x∈A∧y∈B)∨(x∈A∧y∈C)?∈A×B∨∈A×C?∈(A×B∪A×C)

所以有 A×(B∪C) = (A×B)∪(A×C)。

(5).A?C∧B?D?A×B?C×D

性质5的证明和性质4类似,也采用命题演算的方法。

注意:性质5的逆命题不成立,可分以下情况讨论。

(a) 当A=B=Φ时,显然有A?C和B?D成立。

(b) 当A≠Φ且B≠Φ时,也有A?C和B?D成立。证明如下:任取x∈A,由于B≠Φ,必存在y∈B,因此有x∈A∧y∈B?∈A×B?∈C×D?x∈C∧y∈D?x∈C,

从而证明了A?C。同理可证B?D。

(c) 当A=Φ而B≠Φ时,有A?C成立,但不一定有B?D成立。

反例:令A=Φ,B={1},C={3},D={4}。

(d) 当A≠Φ而B=Φ时,有B?D成立,但不一定有A?C成立。反例类似于(c)。

例3 设A={1,2},求P(A)×A。

解 P(A)×A={Φ,{1},{2},{1,2}}×{1,2}

={<Φ,1>,<Φ,2>,<{1},1>,<{1},2>,<{2},1>,<{2},2>,<{1,2},1>,<{1,2},2>}

例4 设A ,B ,C ,D 为任意集合,判断以下命题是否为真,并说明理由。

(1) A ×B=A ×C ?B=C ; (2) A-(B ×C)=(A-B)×(A-C);

(3) A=B ∧C=D ?A ×C=B ×D ; (4) 存在集合A ,使得A ?A ×A 。 解(1) 不一定为真。当A=Φ,B={1},C={2}时,有A ×B=Φ=A ×C ,但B ≠C 。

(2) 不一定为真。当A=B={1},C={2}时有A-(B ×C)={1}–{<1,2>}={1},

(A-B)×(A-C)= Φ×{1}=Φ

(3) 为真。由等量代入的原理可证。

(4) 为真。当A=Φ时有A ?A ×A 成立。

定理1:若(1,2,,)i A i n =K 都是有限集合,则1212||||||||n n A A A A A A ???=L g g L g 。

定义4 如果一个集合满足以下条件之一:(1)集合非空,且它的元素都是有序对;

(2)集合是空集;则称该集合为一个二元关系,记作R 。二元关系也可简称为关系。

对于二元关系R ,若,x y R <>∈,则称,x y 有关系R ,可记作xRy ;若

,x y R <>?,则记作xRy /。一般地,,x y y x <>≠<>,因此xRy yRx ≠。

例1 1{1,2,,}R a b =<><>,2{1,2,,}R a b =<>,则1R 是二元关系,2R 不是二

元关系,只是一个集合,除非将a 和b 定义为有序对。根据以上记法可以写成112R ,

1aR b 等。

定义5 设,A B 为集合,A B ?的任何子集所定义的二元关系叫做从A 到B 的二元关系,特别地,当A B =时,则叫做A 上的二元关系。12n A A A ???L 的子集称为12n A A A ???L 上的一个n 元关系,当12n A A A ===L 时称为A 上的一个n 元关系。

例2 {0,1}A =,{1,2,3}B =,那么1{0,2}R =<>,2R A B =?,3R =Φ,4{0,1}R =<>等都是从A 到B 的二元关系,而其中3R 和4R 同时也是A 上的二元关

系。

注:可把A 到B 的二元关系看成是A B U 上的二元关系或2()A B U 上的二元关系。 二元关系的数目:集合A 上的二元关系的数目依赖于A 中的元素数。如果||A n =,

那么2||A A n ?=,A A ?的子集就有22n 个。每一个子集代表一个A 上的二元关系,所

以A 上有22n 个不同的二元关系。例如||3A =,则A 上有232512=个不同的二元关系。如果||i i A m =,则1212||n n A A A m m m ???=???L L ,因此12n A A A ???L 上有122n m m m ???L 个不同的n 元关系。

一些重要关系:

(1) 空关系:若R =Φ,则R 称为空关系;

(2) 全域关系:{,|}A E x y x A y B A B =<>∈∧∈=?

(3) 恒等关系:A 上的二元关系{,|}A I x x x A =<>∈称为恒等关系。

(4) 小于或等于关系:{,|,}A L x y x y A x y =<>∈∧≤,这里A R ?;

(5) B 上的整除关系:{,|,}B D x y x y B x y =<>∈∧整除,这里A Z *

?(非零整数集);

(6) A 上的包含关系:{,|,}R x y x y A x y ?=<>∈∧?,这里A 是集合族。 例3 设{1,2,3}A =,{,}B a b =,(){,{},{},{,}}C B a b a b ρ==Φ,则 {1,1,1,2,1,3,2,2,2,3,3,3}A L =<><><><><><>,

{1,1,1,2,1,3,2,2,2,3}A D =<><><><><>

C 上的包含关系:

{,,,{},,{},,{,},{},{},R a b a b a a ?=<ΦΦ><Φ><Φ><Φ><>

{},{,},{},{},{},{,},{,},{,}}a a b b b b a b a b a b <><><><>。

类似的还可以定义大于等于关系,小于关系,大于关系,真包含关系等等。 关系是有序对的集合,因此对它可进行集合运算,运算结果定义一个新的关系。例如:设R 和S 是给定集合上的关系,则R S U ,R S I ,R S -,R 分别称为关系R 与S 的并关系,交关系,差关系和R 的补关系。这样一来,可以从已知关系派生出各种新关系。

二元关系

A 到

B 的二元关系可以用一个图来形象地表示。

定义6 设R 是A 到B 的一个二元关系,则A 叫着关系R 的前域,B 叫着关系R 的陪域;(){|(,)}D R x y x y R =?<>∈称为关系R 的定义域;

(){|(,)}R R y x x y R =?<>∈称为关系R 的值域。

关于关系的定义域、值域的一些性质:

()()()D R S D R D S =U U ;()()()D R S D R D S ?I I ;

()()()R R S R R R S =U U ;()()()D R S R R R S ?I I 。

证明 (证明第一个式子,其余类似)

()(())()()()()()()()

x D R S y x R S y y xRy xSy y xRy y xSy x D R x D S x D R D S ?∈????∨??∨??∈∨∈?∈U U U 1.2.2关系矩阵与关系图

(1) 集合表示法:非空关系都是元素为有序对的集合。

(2) 关系图:设12{,,,}n A x x x =K ,R 是A 上的关系,令图,G V E =<>,其中顶点集合V A =,边集为E ,对于,i j x x V ?∈,满足,i j i j x x E x Rx <>∈?,则称图G 为R 的关系图,记作R G 。

(3)关系矩阵:设12{,,,}n A x x x =K ,R 是A 上的关系,令10i j ij i j x Rx r x Rx ?=?/?

,(,1,2,,)i j n =K

则111212122212()n n ij n n nn r r r r r r r r r r ?? ? ?= ? ???

L L M M O M L 称为关系R 的关系矩阵,记作R M 。 例 空关系的关系矩阵为全0矩阵:0A M =; 全域关系的关系矩阵为全1矩阵,记为J ;相等关系的关系矩阵为单位矩阵:A I M I =。

基于关系R 与关系矩阵R M 互相唯一决定的特性,可用关系矩阵有效地刻画关系的许多性质。如对于有限集A 上的任意关系R 与S :R S R S M M =?=;R S R S M M ??≤。

1.3关系的运算

1.3.1关系的逆

定义1 设R 是从A 到B 的二元关系,关系R 的逆(R 的逆关系)记为R %,定义

如下:

{,|,}R

x y x y R =<><>∈% 当A 上的关系R 具有对称性时,R R =%。

相等关系的逆是相等关系;空关系的逆是空关系;全域关系的逆是全域关系。

列举法:把R 中每个有序对的第一和第二成分都加以交换,就可得到逆关系R %的

所有元素。

对x A ∈和y B ∈来说,这意味着xRy yRx

?%。 关系矩阵:将R M 的行和列交换即可得到R M %,即T R R M M =%(T

R M 表示R M 的转置)。 关系图:颠倒R 的关系图中的每条弧(有向边)的箭头,就得到R %的关系图。

逆关系的性质:

(1) 设12,,R R R 都是从A 到B 的二元关系,则

(a) ()R R =%%;(b) 1212R R R R =%%%U U ;(c) 1212

R R R R =%%%I I ;(d) 1212

R R R R -=-%%%; (e) R R =%%,(R A B R =?-); (f) 1212

R R R R ???%%; (2) 设1R 是从A 到B 的关系,2R 是从B 到C 的关系,则1221

()R R R R ?=?%%%。

1.3.2关系的合成

定义2 设1R 是从A 到B 的关系,2R 是从B 到C 的关系,则1R 与2R 的合成(右复合)为从A 到C 的关系,记为12R R 或12R R g (其中g 表示合成运算),定义为

1212{,|(,,)}R R a c a A c C b b B a b R b c R =<>∈∧∈∧?∈∧<>∈∧<>∈。 例1 设{1,2,3,4}A =,{2,3,4}B =,{1,2,3}C =,1R 是从A 到B 的关系,2R 是从B 到C 的关系:

1{,|6}{2,4,3,3,4,2}R x y x y =<>+==<><><>,

2{,|1}{2,1,3,2,4,3}R y z y z =<>-==<><><>。

分别用列举法、图示法、关系矩阵表示关系的合成12R R g ,21R R g 。

例2 设{1,2,3,4,5}A =,1R 和2R 都是A 上的二元关系,如果

1{1,2,3,4,2,2}R =<><><>,

2{4,2,2,5,3,1,1,3}R =<><><><>,

分别用列举法、图示法、关系矩阵表示关系的合成12R R ?,21R R ?,121()R R R ??,121()R R R ??,11R R ?,22R R ?等。

合成关系的性质:

(1) 设R 是从A 到B 的关系,,A B I I 分别是,A B 上的相等关系,则

A B I R R I R ?=?=;

(2) 如果关系1R 的值域与2R 的定义域的交集为空集,则合成关系12R R ?是空关系;

(3) 关系的合成关于交和并的分配律:

设1R 是从A 到B 的关系,23,R R 是从B 到C 的关系,4R 是从C 到D 的关系,则 (a) 1231213()()()R R R R R R R =U U ,(b) 1231213()()()R R R R R R R ?I I ;

(c) 2342434()()()R R R R R R R =U U ,(d) 2342434()()()R R R R R R R ?I I ;

(4) 关系的合成满足结合律:

设123,,R R R 分别是从A 到B ,B 到C ,C 到D 的关系,则123123()()R R R R R R =。

1.3.3 关系的幂

定义3设R 是集合A 上的二元关系,n N ∈为任一自然数,

则R 的n 次幂记为n R ,定义为:(1) 0R 为A 上的相等关系,0

{,|}R x x x A =<>∈ (2) 1n n R R R +=?。 关系的幂运算的性质:

(1) 对A 上的任意关系12,R R 有:0012A R R I ==,1011111A R R R I R R =?=?=;

(2) 设R 是集合A 上的二元关系,,m n N ∈,则m n m n R R R +?=,()m n mn R R =;

(3) 设||A n =,R 是集合A 上的一个二元关系,则存在i 和j ,202n i j ≤<≤使i j R R =;

(4) 循环性质:设R 是集合A 上的二元关系,若存在i 和j ,i j <,使i j R R =,则

(a) 对所有0k ≥,i k j k R R ++=; (b) 对所有,0k m ≥,i mdk i k R R ++=(其中

d j i =-)

;(c) 令0121{,,,,}j S R R R R -=L ,则R 的每一次幂是S 的元素,即对n N ∈,n R S ∈。

关系的幂的计算:

给定A 上的关系R 和自然数n ,怎样计算n

R 呢?若n 是0或1,结果是很简单的。 下面考虑2n ≥的情况。

如果R 是用集合表达式给出的,可以通过1n -次合成计算得到n R 。

如果R 是用关系矩阵M 给出的,则n R 的关系矩阵是n M ,即n 个矩阵M 之积。

与普通矩阵乘法不同的是,其中的相加是逻辑加,即111,10011,000+=+=+=+=。

如果R 是用关系图G 给出的,可以直接由图G 得到n R 的关系图G '。G '的顶点集与G 相同。考察G 的每个顶点i x ,如果在G 中从i x 出发经过n 步长的路径到达顶点j x ,则在G '中加一条从i x 到j x 的边。当把所有这样的边都找到以后,就得到图G '。

例3 设{,,,}A a b c d =,{,,,,,,,}R a b b a b c c d =<><><><>,求R 的各次幂,分别用矩阵和关系图表示。

解 R 的关系矩阵为0100101000010

000M ?? ? ?= ? ???,则234,,R R R 的关系矩阵分别是 21010010100000

000M MM ?? ? ?== ? ???,320101101000000000M M M ?? ? ?== ? ???,431010010100000

000M M M ?? ? ?== ? ??? 因此42M M =,53R R =,L 。所以可以得到246R R R ===L ,

357R R R ===L ,而0R ,即A I 的关系矩阵为01000010000100

001M ?? ? ?= ? ???

。至此,R 各次幂的关系矩阵都得到了。 用关系图的方法得到0123

,,,,R R R R L 的关系图如下图所示。

合成关系的矩阵表达

二元集{,}{1,0}T F ≈上的布尔运算:

① T F F T T T T ∨?∨?∨?,F F F ∨?; 1001111∨=∨=∨=,000∨=;

② T F F T F F F ∧?∧?∧?,T T T ∧?; 1001000∧=∧=∧=,111∧=;

③ T F =?,F T =?; 10=?,01=?;

④ 配合,∨∧的其他性质(结合律、分配律等)可计算更复杂的式子。

注 {0,1}关于上述两个运算构成二元数域。

(0,1)-矩阵的布尔运算:

对于m n ?的(0,1)矩阵()R ij mn M r =,()S ij mn M s =,定义下列运算:

()R ij mn M r =??,()R S ij ij mn M M r s ∨=∨,()R S ij ij mn M M r s ∧=∧;

对m n ?和n p ?的(0,1)矩阵()R ij mn M r =和()S ij np M r =:

1(())n

R S ik kj mp k M M r s =?=∨∧。 例4 对全0矩阵0,全1矩阵J 有

零律:000M M ∧=∧=,J M M J J ∨=∨=;

同一律:0M M ∨=,J M M ∧=。

用关系矩阵的布尔运算研究关系的运算:

《离散数学》-教案.doc

《离散数学》教案 第一章集合与关系 集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普 遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的 一个分支。 G. Cantor( 康脱 ) 是作为数学分支的集合论的奠基人。1870 年前后,他关于无穷序列的研究导致集合论的系统发展。 1874 年他发表了关于实数集合不能与自然数集合建立 一一对应的有名的证明。 1878 年,他引进了两个集合具有相等的“势”的概念。然 而,朴素集合论中包含着悖论。第一个悖论是布拉利 - 福尔蒂的最大序数悖论。 1901 年罗素发现了有名的罗素悖论。 1932 年康脱也发表了关于最大基数的悖论。集合论的现代公理化开始于1908 年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称 为策梅罗 - 弗兰克尔集合论( ZF),其中包括 1904 年策梅罗引入的选择公理。另外一种系 统是冯·诺伊曼 - 伯奈斯 - 哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗 - 弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗 - 弗兰克尔集合论的独立性。现在把策梅罗 - 弗兰克尔集合论与选择公理一起称为 ZFC系统。 一、学习目的与要求 本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。 通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运 算方法,为学习后续章节打下良好基础。 二、知识点 1.集合的基本概念与表示方法; 2.集合的运算; 3.序偶与笛卡尔积; 4.关系及其表示、关系矩阵、关系图; 5.关系的性质,符合关系、逆关系; 6.关系的闭包运算; 7.集合的划分与覆盖、等价关系与等价类;相容关系; 8.序关系、偏序集、哈斯图。

离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷) 一、判断题:(每题2分,共10分) (1) (1) (2)对任意的命题公式, 若, 则 (0) (3)设是集合上的等价关系, 是由诱导的上的等价关系,则。(1) (4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 (0) (5)设是上的关系,分别表示的对称和传递闭包,则 (0) 二、填空题:(每题2分,共10分) (1) 空集的幂集的幂集为()。 (2) 写出的对偶式()。 (3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在 同一个班,则等价类的个数为(),同学小王所在 的等价类为()。 (4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。 () (5)写出命题公式的两种等价公式( )。 三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12分) (1)(1)仅当今晚有时间,我去看电影。 (2)(2)假如上午不下雨,我去看电影,否则就在家里读书。 (3)你能通你能通过考试,除非你不复习。 (4)(4)并非发光的都是金子。 (5)(5)有些男同志,既是教练员,又是国家选手。 (6)(6)有一个数比任何数都大。 四、设,给定上的两个关系和分别是

(1)(1)写出 和 的关系矩阵。(2)求 及 (12分) 五、求 的主析取范式和主合取范式。(10分) 六、设 是 到 的关系, 是 到 的关系,证明: (8分) 七、设 是一个等价关系,设 对某一个 ,有 ,证明: 也是一个等价关系。(10分) 八、(10分)用命题推理理论来论证 下述推证是否有效? 甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获 胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 九、(10分) 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑 自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论 域是人)。 十、(8分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好, 甲说:“不是我,”乙说:“是丁,”丙说:“是乙,” 丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最 好,是谁? 离散数学期末考试试卷答案(A 卷) 一、判断题:(每题2分,共10分) (1)}}{{}{x x x -∈ ( ∨) (2) 对任意的命题公式C B A ,,, 若 C B C A ∧?∧, 则B A ? ( ? ) (3)设R 是集合A 上的等价关系, L 是由 R A 诱导的A 上的等价关系,则L R =。 ( ∨ ) (4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 ( ? ) (5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则 )()(R st R ts ? ( ? ) 二、填空题:(每题2分,共10分)

离散数学华东交通大学1-4大作业

7、在A={1,2,3}上可定义( )个不同的二元关系。 A .9 B .18 C .81 D .512 8. 设S={a,b,c,d},S 上的关系R={,,},则R 的性质是 ( )。 A. 自反、对称、传递 B. 自反、对称、反对称 C. 对称、反对称、传递 D. 对称性 9.设S={1,2,3},S 上关系R 的关系图为 则R 具有( )性质。 A .自反性、对称性、传递性; B .反自反性、反对称性; C .反自反性、反对称性、传递性; D .自反性 。 10、A={a ,b ,c},在下列的二元关系中,( )不是可传递关系。 A .{} B .{} C .A ? A D .IA 11.已知A={1,2,3,4,5},则下列集合为A 的划分是( ) A.{Ф,{1},{2,3,4}} B.{{2,3} ,{1,2},{4}} C.{{1,2,3,4,5}} D.{{1},{3,4,5}} 12.Z 是整数集合,下列函数都是Z →Z 的映射,则( )是双射函数。 A .? (x) =2x B .? (x) =x2 C .? (x) =0 D .? (x) =x 二、填空题 1、设p 、q 为命题变项,则(﹁p ?q )的成真赋值为_________________________。 2.命题公式 (P ∨Q)→(P ∧Q)的类型是__________。(重言式、矛盾式、可满足式) 3.在一阶逻辑中,假设:F(x)表示x 是运动员,G(x)表示x 是大学生,语句“有些运动员是大学生”的符号化形式为__________________________________。 4.命题?xP(x)∧?x Q(x)的真值为_________,其中,P(x):x=2,Q(x):x=1,定义

离散数学》双语课程教学大纲

离散数学》双语课程教学大纲 一、课程编号:040510 二、课程类型:必修 课程学时:理论教学 72学时 / 4.5学分。 适用专业:信息与计算科学专业。 先修课程:线性代数、概率论、高等数学等。 后续课程:编译原理、操作系统、数据结构、数据库等。 三、课程性质与任务 《离散数学》是信息与计算科学中基础理论的核心课程。该课程采用双语教学形式,教材是国外原版英语教材。通过本课程的学习,主要培养学生的抽象思维能力、严密的逻辑推理能力、阅读外文科技文献能力和专业英语写作能力。并为学生今后处理离散信息、离散建模、软件开发、计算机硬件系统设计、程序设计的时间和空间复杂度分析等提供理论指导基础,是学生从事信息科学的实际工作必备数学工具。 四、教学主要内容及学时分配

五、教学基本要求 了解离散数学所涵盖的内容及背景思想;理解离散数学组的数学思想和基本概念。掌握离散数学常用的基本方法、手段、技巧,并具备一定的分析论证能力和较强的利用离散数学解决实际问题能力。具体要求有: (1 )理解子集、空集、全集、集合相等、幂集等基本概念;掌握集合的两种表示法。 (2)熟练掌握集合的交、并、差补运算;能通过文氏图理解与掌握集合的有关运算;了解包含排斥定理及其简单应用。 (3)熟练掌握集合运算的基本定律,并能熟练地应用这些定律证明集合恒等式。(4)掌握逻辑代数的基本理论和方法,理解命题﹑复合命题及真值表的概念,熟练掌握逻辑运算符‘非’﹑‘合取’ ﹑‘析取’﹑‘蕴涵’﹑及 ‘存在’﹑‘任意’等量词的定义及使用;理解条件语句的概念;理解等价。掌握一些常见的逻辑推理方法。

(5)熟练掌握乘法原理﹑加法原理﹑排列﹑组合﹑鸽笼原理及递归式,会用组合计数思想的方法计算简单的古典概率问题。 (6)理解序偶与笛卡尔积的概念;理解 n 元组与 n 个集合笛卡尔集的概念。 深刻理解关系的基本概念;掌握二元关系的关系矩阵与关系图。熟练掌握关系的自反性、对称性、反对称性和传递性四种性质并熟练掌握其求法。 深刻理解二元关系的自反闭包、对称闭包和传递闭包的概念并熟练掌握其求法。熟练掌握等价关系的判定与相关等价类的求法。了解关系的计算机表示﹑关系的运算﹑传递闭包及Warshall算法。 (7)理解映射、满射、单射、双射的概念并熟练掌握其判定方法;了解复合映射与逆映射的概念及求法。 (8)理解有向树,无向树,根数,标定树的定义及性质;掌握极小生成树算法; 了解生成树搜索法。 (9)理解无向图,哈密顿圈及哈密顿路,传输网络,匹配问题,图的着色的定义及性质;掌握欧拉环游及欧拉通路,最大流问题的定义﹑性质及算法。 掌握有关哈密顿图的一些必要和充分条件。 六、对学生课外作业的要求 本课程概念多、比较抽象、定理证明和应用有一定难度,为了学生进一步理解课堂教学内容,拟布置一定数量的课外习题为宜,教师批改作业本的 2/3, 并安排时间上习题课。各章节习题量分布如下: 七、教材及主要参考书

离散数学课后习题答案 (邱学绍)

第一章 命题逻辑 习题1.11.解 ⑴不是陈述句,所以不是命题。 ⑵x 取值不确定,所以不是命题。 ⑶问句,不是陈述句,所以不是命题。 ⑷惊叹句,不是陈述句,所以不是命题。 ⑸是命题,真值由具体情况确定。 ⑹是命题,真值由具体情况确定。 ⑺是真命题。 ⑻是悖论,所以不是命题。 ⑼是假命题。 2.解 ⑴是复合命题。设p :他们明天去百货公司;q :他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句,所以不是命题。 ⑶是悖论,所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p :王海在学习;q :李春在学习。命题符号化为p ∧q 。 ⑹是复合命题。设p :你努力学习;q :你一定能取得优异成绩。p →q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p :王海是女孩子。命题符号化为:?p 。 3.解 ⑴如果李春迟到了,那么他错过考试。 ⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试,那么他没有通过考试。 4.解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题1.2 1.解 ⑴是1层公式。 ⑵不是公式。 ⑶一层: p ∨q ,?p 二层:?p ?q 所以,)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p →q )∧?(?q ?( q →?r ))是5层公式,这是因为 一层:p →q ,?q ,?r 二层:q →?r 三层:?q ?( q →?r ) 四层:?(?q ?( q →?r )) 2.解 ⑴A =(p ∨q )∧q 是2层公式。真值表如表2-1所示: 表2-1 ⑵p q p q A →→∧= )(是3层公式。真值表如表2-2所示:

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示与关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性与传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系与逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点与难点的内容,并通过大量的练习使同学们巩固与掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题: 习题3、1:4,6;习题3、2:3(8),4(12),6(m);习题3、4:1 (2)、(4),3;习题3、5:1,4;习题3、6:2,5,6;习题3、7:2,5,6;习题3、8:1(1)-(6);习题3、9:3(2)、(4),4(3);习题3、10:1 ,4,5。

离散数学(西安交大版)习题解第一部分(集合论部分)

离散数学辅助教材 概念分析结构思想与推理证明 第一部分 集合论 刘国荣 交大电信学院计算机系

离散数学习题解答 习题一(第一章集合) 1. 列出下述集合的全部元素: 1)A={x | x ∈N∧x是偶数∧x<15} 2)B={x|x∈N∧4+x=3} 3)C={x|x是十进制的数字} [解] 1)A={2,4,6,8,10,12,14} 2)B=? 3)C={0,1,2,3,4,5,6,7,8,9} 2. 用谓词法表示下列集合: 1){奇整数集合} 2){小于7的非负整数集合} 3){3,5,7,11,13,17,19,23,29} [解] 1){n n∈I∧(?m∈I)(n=2m+1)}; 2){n n∈I∧n≥0∧n<7}; 3){p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。 3. 确定下列各命题的真假性: 1)??? 2)?∈? 3)??{?} 4)?∈{?} 5){a,b}?{a,b,c,{a,b,c}} 6){a,b}∈(a,b,c,{a,b,c}) 7){a,b}?{a,b,{{a,b,}}} 8){a,b}∈{a,b,{{a,b,}}} [解]1)真。因为空集是任意集合的子集; 2)假。因为空集不含任何元素; 3)真。因为空集是任意集合的子集; 4)真。因为?是集合{?}的元素; 5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集; 6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;

7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集; 8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。 4. 对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B∈C,则A∈C。 2)如果A∈B∧B∈C,则A∈C。 3)如果A?B∧B∈C,则A∈C。 [解] 1)假。例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。 2)假。例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A ∈C。 3)假。例如A={a},B={a,b},C={{a},a,b},从而ACB∧B∈.C,但A∈C。5.对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B?C,则A∈C。 2)如果A∈B∧B?C,则A?C。 3)如果A?B∧B∈C,则A∈C。 3)如果A?B∧B∈C,则A?C。 [解] 1)真。因为B?C??x(x∈B?x∈C),因此A∈B?A∈C。 2)假。例如A={a},B={{a},{b}},C={{a},{b},{c}}从而A∈B∧B?C,但A?C。 3)假。例如A={a},B={{a,b}},C={{a,{a,b}},从而A?B∧B∈C,但A?C。 4)假。例如A={a},B={{a,b}},C={{a,b},b},从而A?B∧B∈C,但A?C。6.求下列集合的幂集: 1){a,b,c} 2){a,{b,c}} 3){?} 4){?,{?}} 5){{a,b},{a,a,b},{a,b,a,b}} [解] 1){?,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} 2){,{a},{{b,c}},{a,{a,b}}} 3){?,{?}} 4){?,{?},{{?}},{?,{?}}} 5){?,{{a,b}}} 7.给定自然数集合N的下列子集:

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示和关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性和传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系和逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题:

习题 3.1:4,6;习题 3.2:3(8),4(12),6(m );习题 3.4:1 (2)、 (4),3;习题 3.5:1,4;习题 3.6:2,5,6;习题 3.7:2,5,6;习题 3.8:1(1)-(6);习题3.9:3(2)、(4),4(3);习题3.10:1 ,4,5。 3.1 集合的基本概念 集合(set)(或称为集)是数学中的一个最基本的概念。所谓集合,就是指具有共同性质的或适合一定条件的事物的全体,组成集合的这些“事物”称为集合的元素。 集合常用大写字母表示,集合的元素常用小写字母表示。若A 是集合,a 是A 的元素,则称a 属于A ,记作a A ∈;若a 不是A 的元素,则称a 不属于A ,记作。若组成集合的元素个数是有限的,则称该集合为有限集(Finite Set),否则称为无限集(Infinite Set)。 常见集合专用字符的约定: N —自然数集合(非负整数 集) I (或Z )—整数集合(I +,I -) Q —有理数集合(Q +,Q -) R —实数集合(R +,R -) F —分数集合(F +,F -) 脚标+和-是对正、负的区分 C —复数集合 P —素数集合 O —奇数集合 E —偶数集合 幂集 定义 3.1.1 对于每一个集合A ,由A 的所有子集组成的集合,称为集合A 的幂集(Power Set),记为 ()P A 或2A .即(){}P A B B A =?。 例如:{,,}A a b c =, (){,{},{},{},{,},{,},{,},{,,}}P A a b c a b b c a c a b c φ=。 定理3.1.1 如果有限集A 有n 个元素,则其幂集()P A 有2n 个元素。 证明 A 的所有由k 个元素组成的子集数为从n 个元素中取k 个的组合数。 (1)(2)(1)! k n n n n n k C k ---+= L 另外,因A φ?,故()P A 的元素个数N 可表示为 1 201n k n k n n n n n k N C C C C C ==++++++=∑L L 又因 0()n n k k n k n k x y C x y -=+= ∑ 令 1x y == 得 02n n k n k C ==∑ 故()P A 的元素个数是2n 。 人们常常给有限集A 的子集编码,用以表示A 的幂集的各个元素。具体方法是: 设12{,,,}n A a a a =L ,则A 子集B 按照含i a 记1、不含i a 记0(1,2,,)i n =L 的规定

天大20秋《离散数学(2)-2》在线作业二

《离散数学(2)-2》在线作业二 1:设G是连通平面图,G中有6个顶点8条边,则G的面的数目是() A、2 B、3 C、4 D、5 答案:C 2:题面见图片: A、A B、B C、C D、D 答案:D 3:在n个结点的连通图中,其边数 ( )。 A、最多有n-1条 B、至少有n-1条 C、最多有n条 D、至少有n条 答案:B

4:题面见图片: A、A B、B C、C D、D 答案:D 5:设G是n个顶点的无向简单图,则下列说法不正确的是 ( ) A、若G是树,则其边数等于n-1 B、若G是欧拉图,则G中必有割边 C、若G中有欧拉路,则G是连通图,且有零个或两个奇度数顶点 D、若G中任意一对顶点的度数之和大于等于n-1,则G中有汉密尔顿路答案:D 6:题面见图片: A、A B、B C、C D、D 答案:D

7:设无向图中有6条边,有一个3度顶点和一个5度顶点,其余顶点度为2,则该图的顶点数是() A、3 B、4 C、5 D、6 答案:B 8:设集合A={a,b,c},A上的关系R={(a,b),(a,c),(b,a),(b,c),(c,a),(c,b),(c,c)},则R具有关系的()性质。 A、自反 B、对称 C、传递 D、反对称 答案:B 9:具有6个结点的非同构的无向树的数目为() A、4 B、5 C、7 D、8 答案:C 10:任何无向图中结点间的连通关系是 ( )。 A、偏序关系 B、等价关系 C、相容关系

D、拟序关系 答案:B 11:设|V|>1,D=是强连通图,当且仅当 ( )。 A、D中至少有一条通路 B、D中至少有一条回路 C、D中有通过每个结点至少一次的通路 D、D中有通过每个结点至少一次的回路 答案:D 12:设G是由5个顶点组成的完全图,则从G中删去 ( ) 条边可以得到树。 A、4 B、5 C、6 D、10 答案:C 13:题面见图片: A、A B、B C、C D、D 答案:A

西安交大离散数学复试题

请判断下列各题的正确性。 ⑴2A∩2B=2A∩B。 ⑵A\B=A当且仅当B=。 ⑶(A′C)\(B′D)=(A\B)′(C\D)。 ⑷设|A|=5,则A上恰有31个不同的等价关系。 ⑸设R非空集合A上的关系,R是A上可传递的,当且仅当R○RíR。 ⑹若R1,R2均为非空集合A上的等价关系,那么R1○ R2也为A上的等价关系。 ⑺设为半序集,1SíP,若S有上界,则S必有上确界。 ⑻设N为自然数集合,I为整数集合,′是算术乘法,则同构。 ⑼设是群,则G中至少有一个二阶元素。 ⑽设为整环,|R|=n,则是域。 ⑾设为域,的子环,则为整环。 ⑿设为格,|L|=n,则为有界格。 ⒀存在7个结点的自补图。 ⒁下图为平面图。 图1 题1(14) ⒂下图为哈密尔顿图。

图2 题1(15)图 2 (8分) 设(G,*)为循环群,生成元为a,设(A,*)和(B,*)均为(G,*)的子群,而ai和aj分别为(A,*)和(B, *)的生成元。 ①证明(A∩B,*)是(G,*)的子群。 ②请问:(A∩B)是否为循环群。如果是,请给出其生成元。 3 (10分) 设(A,,)是环,AA={f |f是A到A的函数}。定义AA上的运算à和*如下,设f,gAA, 对于任意的xA。 (fàg)(x)=f(x)g(x); (f*g)(x)=f(x)g(x); 证明:(AA,à,*)是环。 4 (6分) 设A=和B=是两个格,f是A到B的同态函数。证明A的同态象是B的子格。(注:A的同态象即:f(L1)={f(x)|xL1})。 5 (8分) 设G=(V,E)是简单的无向平面图,证明G中至少有一个结点的度数小于等于5。 6 (10分) 设G是连通的无向图,且有2k>0个奇结点, 证明:G中存在各边不重复的k条简单路P1,P2,…,Pk,使得

离散数学双语专业词汇表

《离散数学》双语专业词汇表 set:集合subset:子集 element, member:成员,元素well-defined:良定,完全确定brace:花括号representation:表示 sensible:有意义的rational number:有理数 empty set:空集Venn diagram:文氏图 contain(in):包含(于)universal set:全集 finite (infinite) set:有限(无限)集cardinality:基数,势 power set:幂集operation on sets:集合运算 disjoint sets:不相交集intersection:交 union:并complement of B with respect to A:A与B的差集symmetric difference:对称差commutative:可交换的associative:可结合的distributive:可分配的idempotent:等幂的de Morgan’s laws:德摩根律 inclusion-exclusion principle:容斥原理sequence:序列 subscript:下标recursive:递归 explicit:显式的string:串,字符串 set corresponding to a sequence:对应于序列的集合 linear array(list):线性表characteristic function:特征函数countable(uncountable):可数(不可数)alphabet:字母表 word:词empty sequence(string):空串 catenation:合并,拼接regular expression:正则表达式division:除法multiple:倍数prime:素(数) algorithm:算法common divisor:公因子 GCD(greatest common divisor):最大公因子 LCM(least common multiple):最小公倍数 Euclidian algorithm:欧几里得算法,辗转相除法 pseudocode:伪码(拟码)matrix:矩阵square matrix:方阵 row:行column:列 entry(element):元素diagonal matrix:对角阵

北京大学2017秋课件作业【离散数学】及答案

2017秋课件作业 第一部分集合论 第一章集合的基本概念和运算 1-1设集合A={{2,3,4},5,1},下面命题为真是(选择题)[A] A.1∈A;B.2∈A;C.3∈A;D.{3,2,1}?A。 1-2A,B,C为任意集合,则他们的共同子集是(选择题)[D] A.C;B.A;C.B;D.?。 1-3设S={N,Z,Q,R},判断下列命题是否正确(是非题) (1)N?Q,Q∈S,则N?S,[错](2)-1∈Z,Z∈S,则-1∈S。[错] 1-4设集合B={4,3}∩?,C={4,3}∩{?},D={3,4,?},E={x│x∈R并且x2-7x+12=0},F={4,?,3,3},试问:集合B与那个集合之间可用等号表示(选择题)[A] A.C; B.D; C.E; D. F. 1-5用列元法表示下列集合:A={x│x∈N且3-x〈3}(选择题)[D] A.N; B.Z; C.Q; D.Z+ 1-6为何说集合的确定具有任意性?(简答题) 答:按研究的问题来确定集合的元素。我们所要研究的问题当然是随意的呗。之所以,集合的定义(就是集合成分的确定)当然带有任意性哪。 第二章二元关系 2-1设A={1,2,3},A上的关系R={〈1,2〉,〈2,1〉}∪IA, 试求:(综合题) (1)domR=?;(2)ranR=?;(3)R的性质。 (4)商集A/R=?(5)A的划分∏=?(6)合成运算(R。R)=? 答:R={<1,2>,<1,3>,<2,3>,<1,1>,<2,2>,<3,3>}; (1)DomR={R中所有有序对的x}={3,2,1}; (2)RanR={R中所有有序对的y}={2,1,3}; (3)R的性质:自反,反对称,传递性质.这时,R不是等价关系。 (4)商集A/R={{1,2,3},{2,3},{3}}。由于R不是等价关系,所以,等价类之间出现交集。这是不允许的。请看下面的划分问题。 (5)A的划分∏={{1,2,3},{2,3},{3}};也由于R不是等价关系,造成划分的荒谬结果:出现交集。试问:让“3”即参加第一组,又参加第二组,她该如何分配呢!!! 所以,关系R必须是等价关系。至于作业中,此两题应说:因为R不是等价关系,此题无解。 2-2设R是正整数集合上的关系,由方程x+3y=12决定,即 R={〈x,y〉│x,y∈Z+且x+3y=12}, 试给出dom(R。R)。(选择题)[B] A.3; B.{3}; C.〈3,3〉; D.{〈3,3〉}。

华东交大-离散数学试卷一试题与标准答案

华东交大-离散数学试卷一试题与答案

————————————————————————————————作者:————————————————————————————————日期:

华东交大离散数学试题一与答案 一、填空 20% (每小题2分) 1.设 }7|{)},5()(|{<∈=<∈=+ x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =?B A {0,1,2,3,4,6} 。 2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 A C B -⊕)( 。 3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 1 。 4.公式P R S R P ?∨∧∨∧)()(的主合取范式为 )()(R S P R S P ∨?∨?∧∨∨? 。 5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真 值为 1 。 6.设A={1,2,3,4},A 上关系图为 则 R 2 = {<1,1>, <1,3>, <2,2>, <2,4> } 。 7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为 R={,,,,} Y I A 。 8.图的补图为 A B C

。 9.设A={a,b,c,d} ,A上二元运算如下: * a b c d a b c d a b c d b c d a c d a b d a b c 那么代数系统的幺元是 a ,有逆元的元素为 a , b , c ,d ,它们的逆元分别为 a , d , c , d 。 10.下图所示的偏序集中,是格的为 c 。 二、选择20% (每小题2分) 1、下列是真命题的有(C、D) A.}} {{ } {a a?;B.}} {, { }} {{Φ Φ ∈ Φ; C.} }, {{Φ Φ ∈ Φ;D.}} {{ } {Φ ∈ Φ。 2、下列集合中相等的有(B、C) A.{4,3}Φ ?;B.{Φ,3,4}; C.{4,Φ,3,3};D.{3,4}。 3、设A={1,2,3},则A上的二元关系有(C )个。

《离散数学》双语教学 第一章 真值表,逻辑和证明

《离散数学》双语教学第一章真值表,逻辑和证明《离散数学》双语教学第一章真值表,逻辑和证明 CHAPTER 1 TRUTH TABLES, LOGIC, AND PROOFS Glossary statement, proposition:命题 logical connective:命题联结词 compound statement:复合命题 propositional variable:命题变元 negation:否定(式) truth table:真值表 conjunction:合取 disjunction:析取 propositional function:命题公式fallacy: 谬误 syllogism:三段论 universal quantification:全称量词化 existential quantification:存在量词化 hypothesis(premise): 假设~前提~前件 conditional statement, implication:条件式~蕴涵式 consequent, conclusion:结论~后件 converse:逆命题 contrapositive:逆否命题 biconditional, equivalence:双条件式~等价 (逻辑)等价的 logically equivalent: contingency:可满足式 tautology:永真式(重言式) contradiction, absurdity:永假(矛盾)式 logically follow:是…的逻辑结论 argument:论证

axioms:公理 第 1 页共 47 页 2010-12-27 《离散数学》双语教学第一章真值表,逻辑和证明 postulate:公设 rules of reference:推理规则 modus ponens:肯定律 modus tollens:否定律 reductio ad absurdum:归谬律 proof by contradiction:反证法 counterexample:反例 minterm:极小项 disjunctive normal form:主析取范式 maxterm:极大项 conjunctive normal form:主合取范式 第 2 页共 47 页 2010-12-27 《离散数学》双语教学第一章真值表,逻辑和证明 本章内容及教学要点: 1.1 Statements and Connectives 教学内容:statements(propositions)~compound statement~ connectives:negation~conjunction~disjunction~truth tables 1.2 Conditional Statements 教学内容:implications(conditional statements)~biconditional~equivalent~and quantifications 1.3 Equivalent Statements 教学内容:logical equivalence~converse~inverse~contrapositive~tautology~contradiction(absurdity)~contingency~properties of logical connectives

2019年秋季离散数学综合考试

离散数学形成性考核作业4 姓名:严先贵 学号1944201250206 得分: 教师签名: 离散数学综合练习书面作业 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、公式翻译题 1.请将语句“小王去上课,小李也去上课.”翻译成命题公式. 设:P:小王去上课。 Q:小李去旅游。 则P Q 2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 设:P:他去旅游 Q:他有时间 则P Q 3.请将语句“有人不去工作”翻译成谓词公式. 设A(x):x是人 B(x):去工作 x(A(x)﹁B(x)) 4.请将语句“所有人都努力学习.”翻译成谓词公式. 设A(x):x是人 B(x):努力学习 x(A(x)B(x))

二、计算题 1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算 (1)(A B);(2)(A∩B);(3)A×B. 解 (1)(A B)= {{1},{2}} (2)(A∩B)= {1,2} (3) A×B = {< 1 },1>,{{ 1 },2> 2.设A={1,2,3,4,5},R={|x A,y A且x+y4},S={|x A,y A且x+y<0},试求R,S,R S,S R,R-1,S-1,r(S),s(R). 解:R={〈1,1〉,〈1,2〉,〈1,3〉,〈2,1〉,〈2,2〉,〈3,1〉},S=φ R S=φ S R=φ R-1={〈1,1〉,〈2,1〉,〈3,1〉,〈1,2〉,〈2,2〉,〈1,3〉} S-1=φ r(S)= {〈1,1〉,〈2,2〉,〈3,3〉,〈4,4〉,〈5,5〉} s(R)= {〈1,1〉,〈1,2〉,〈1,3〉,〈2,1〉,〈2,2〉,〈3,1〉} 3.设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6}. (1) 写出关系R的表示式; (2) 画出关系R的哈斯图; (3) 求出集合B的最大元、最小元. 解:R={〈1,1〉,〈1,2〉,〈1,3〉,〈2,1〉,〈2,2〉,〈3,1〉}, S=φ R S=φ S R=φ R-1={〈1,1〉,〈2,1〉,〈3,1〉,〈1,2〉,〈2,2〉,〈1,3〉} S-1=φ r(S)= {〈1,1〉,〈2,2〉,〈3,3〉,〈4,4〉,〈5,5〉} s(R)= {〈1,1〉,〈1,2〉,〈1,3〉,〈2,1〉,〈2,2〉,〈3,1〉}

离散数学教案范本

《离散数学》教案 课目:第一章命题逻辑 教师:熊建英 学时: 12课时

Ⅰ教学提要 一、教学对象(人数) 学生:信息安全专业本科二年级学生50人 二、教学目标(任务) 各小结中知识点掌握程度(* 理解;** 基本掌握;***熟练掌握) 三、教学要求 (一)学生:着重知识点的学习,积极思考,参与提问。 (二)教官:严格纪律,严密组织、保持良好教学秩序,确保教学效果。 四、教官分工 主讲教师1名:负责教案编写,课堂的组织教学,教学总结编写。

五、本章重点 1、利用联接词构造复合命题公式 2、真值表的构建 3、等值演算 4、复合命题公式转化为主析取范式、主合取范式的方法 5、推理证明 六、本章难点 1、利用命题公式演算、真值表进行等值判断和公式类型判断 2、利用命题公式演算、真值表转化主析取范式、主合取范式 3、将现实背景下的条件约束构造为命题公式 七、教学方法 采用课堂教授,主要使用多媒体课件,部分内容及例题用黑板解释。 八、课时分配 1.1 命题及联接词2课时; 1.2 命题公式及其赋值2课时; 1.3 等值式2课时; 1.4 析取范式与合取范式2课时; 1.5 推理理论与消解法2课时; 1.6 命题逻辑应用案例2课时; 九、场地器材 多媒体教室 十、参考书目 1、杨圣洪、张英杰、陈义明:《离散数学》,科学出版社,2011年。 2、屈婉玲、耿素云、张立昂:《离散数学》,高等教育出版社,2008年。 3、屈婉玲、耿素云、张立昂:《离散数学学习指导与习题解析》,高等教育出版社,2008年。

Ⅱ教学进程 1.1 命题及联接词(2课时) 一、教学内容 1、命题的概念表示与分类 2、五种基本的联接词的逻辑关系 3、复合命题的符号化 4、复合命题的真值判断 二、课程时间安排 1、首先介绍本课程的性质,任务和教学安排,对学生明确提出教学上的要求(10分钟) 2、介绍离散数学学科的发展历史(20分钟) 3、命题与真值、命题的分类、简单命题符号化(15分钟) 4、联结词与复合命题(35分钟) 5、本次课小结(10分钟) 三、教学实施 (一)创设意境、导入课程(10分钟) 目的 体会离散数学理论在现实生活中的应用、是计算机专业多门核心课程的基础,让学生明白“离散数学”课程作用和意义。 1、从生活应用中理解逻辑推理作用,及离散数学学习意义; 如:犯罪推理、电路设计、人事安排的最优方案、网络中最优路径等; (1)逻辑推理问题范例(PPT展示一个犯罪推理案例) (2)离散数学是一门可以对逻辑推理规律建立相应的符号运算系统,解决此类问题的科学。 2、离散数学与其他专业课程的联系; (1) 涉及多门计算机专业中很多专业课程,如:编程语言、数据结构、操作系统、数据数据加密。

2018秋季学期离散数学语音答疑提纲下(全书考试内容)

2018秋季学期《离散数学》语音答疑提纲(下) 本次语音答疑分两步完成。第一,回答全书各部分问题。第二,指出全书考试 范围,并给出例题,加以分析。 一.2018秋季学期期末考题在参考书中内容的分配: 集合论部分(共40分) 集合的基本概念及运算(第三章,2 选择题;共 4 分). 关系及函数(第四章,4选择题-2关系,2函数;1综合.共20分). 群论(第九章,2题单选;1综合.共16分). 图论部分(共30分) 图,图-树关系(第五,七章,8选择题-图2,图-树关系6;1综合.共30分). 逻辑学部分(共30分) 逻辑学(第一,二章,8选择题(7题命题逻辑);1综合.共 30分).

二.参考书第五版各章节考试范围内的知识点及例题 第三章集合的基本概念和运算 1.集合的基本概念要求掌握: 集合与元素的关系—属于或不属于;(***) 集合与集合间的关系—子集与集合叫包含,相互包含叫相等; 子集为集合的元素时也叫属于关系。 例题1: 设集合 A ={1,{2},a,4,3},则有 2 ∈A [ 非 ]; 单项选择题: 例题2: A,B,C 为任意集合,则他们的共同子集是 [ D ] A.A;B.B;C.C;D.?。 例题3:设集合 A ={1,{2},a,4,3},下面命题为真是 [ B ] A.2 ∈A; B.1 ∈ A; C.5 ∈A; D.{2} A。 例题4: 设集合 A ={1,{2},a,4,3},则有 2 ()A。 ***** 请比较例题1,3,4,那个最容易;那个最难?!***** 2.集合的基本运算重点掌握: 五大基本运算定义的表达式。例如,并运算的”或”,交运算的”且”字的意义. 例题:N, Z+分别是自然数集合,正整数集合,则[ C ] A.N=Z+ +{0} B.N=Z+ + 0 C.N=Z+∪{0} D.N=Z+.∪0 .

相关文档
最新文档