离散数学(集合论)课后总结

离散数学(集合论)课后总结
离散数学(集合论)课后总结

第三章集合论基础

1、设A={a,{a},{a,b},{{a,b},c}}判断下面命题的真值。

⑴{a}∈A T ⑵?({a}? A) F

⑶c∈A F ⑷{a}?{{a,b},c} F

⑸{{a}}?A T ⑹{a,b}∈{{a,b},c} T

⑺{{a,b}}?A T ⑻{a,b}?{{a,b},c} F

⑼{c}?{{a,b},c} T ⑽({c}?A)→(a∈Φ) T

2、证明空集是唯一的。(性质1:对于任何集合A,都有Φ?A。)

证明:假设有两个空集Φ1 、Φ2 ,则

因为Φ1是空集,则由性质1得Φ1 ?Φ2 。

因为Φ2是空集,则由性质1得Φ2 ?Φ1 。

所以Φ1=Φ2 。

3、设A={Φ},B=P(P(A)).问:(这道题要求知道幂集合的概念)

a)是否Φ∈B?是否Φ?B?

b)是否{Φ}∈B? 是否{Φ}?B?

c)是否{{Φ}}∈B? 是否{{Φ}}?B?

解:设A={Φ},B=P(P(A)) P(A)= {Φ,{Φ}}

在求P(P(A))时,一些同学对集合{Φ,{Φ}}难理解,实际上你就将{Φ,{Φ}}中的元素分别看成Φ=a ,{Φ}=b, 于是{Φ,{Φ}}={a,b}

B=P(P(A))=P({a,b}) ={B0, B1 , B2 , B3 }={B00, B01,B10 ,B11}={Φ, {b}, {a}, {a,b}}

然后再将a,b代回即可B=P(P(A))=P({Φ,{Φ}})={Φ,{Φ} ,{{Φ}}, {Φ,{Φ}}}

以后熟悉后就可以直接写出。

a) Φ∈B Φ?B

b) {Φ}∈B {Φ} ? B

c) {{Φ}}∈B {{Φ}}?B

a)、b)、c)中命题均为真。

4、证明A?B ? A∩B=A成立。

证明:A∩B=A ??x(x∈A∩B ?x∈A)

??x((x∈A∩B → x∈A)∧(x∈A→ x∈A∩B))

??x((x?A∩B∨x∈A)∧(x?A∨x∈A∩B))

??x((?(x∈A∧x∈B)∨x∈A)∧(x?A∨(x∈A∧x∈B))

??x(((x?A∨x?B)∨x∈A)∧(x?A∨(x∈A∧x∈B)))

??x(T∧(T∧( x?A∨x∈B)))

??x( x?A∨x∈B)??x(x∈A→x∈B)? A?B

5、(A-B)-C=(A-C)-(B-C)

证明:任取x∈(A-C)-(B-C)

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

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

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

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

?x∈A∧x?C∧x?B?x∈A∧x?B∧x?C

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

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

所以(A-B)-C=(A-C)-(B-C)

6、A-(B∪C)=(A-B)∩(A-C)

证明:任取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∈A∧x?C )

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

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

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

7、~(A∩B)=~A∪~B ~(A∪B)=~A∩~B 这两个公式称之为底-摩根定律。

证明:任取x∈~(A∩B)

x∈~(A∩B)

?x?A∩B??(x∈A∧x∈B)

?(x?A∨x?B)?x∈~A∨x∈~B

?x∈~A∪~B ∴~(A∩B)=~A∪~B

8、A?B ? ~B?~A

证明:A?B ??x(x∈A→x∈B)

??x(x?B→x?A)??x(x∈~B→x∈~A)

? ~B?~A

9、~A=B 当且仅当A∪B=E且A∩B=Φ

证明:A∪B=E∧A∩B=Φ

??x(x∈A∪B?x∈E)∧(P?T?P)

?x(x∈A∩B?x∈Φ) (P?F??P)

??x(x∈A∪B?T)∧?x(x∈A∩B?F)

??x(x∈A∪B∧?(x∈A∩B))

??x((x∈A∨x∈B)∧?(x∈A∧x∈B))

??x((x∈A∨x∈B)∧(x?A∨x?B))

??x((x?A→x∈B)∧(x∈B→x?A))

??x((x∈~A→x∈B)∧(x∈B→x∈~A))

??x((x∈~A?x∈B)

?~A=B

关于对称差

A、B是集合,由属于A而不属于B,或者属于B而不属于A的元素构成的集合,称之为A与B的对称差,记作A⊕B。例如A={1,2,3} B={2,3,4}A⊕B={1,4}

谓词定义:A⊕B=(A-B)∪(B-A)={x|(x∈A∧x?B)∨(x∈B∧x?A)}

A⊕B=(A∪B)-(A∩B)

10、∩对⊕可分配A∩(B⊕C)=(A∩B)⊕(A∩C)

证明:(A∩B)⊕(A∩C)

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

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

= A∩((B∪C)-(B∩C)) (∩对-分配)

= A∩(B⊕C)

但是∪对⊕不可分配, 举反例:

A ∪(A ⊕B)=A ∪

B , 而(A ∪A)⊕(A ∪B)=A ⊕(A ∪B)= (A ∪B)-A

A ∪(A ⊕B)≠(A ∪A)⊕(A ∪B)

一般地,有n 个有限集合A1, A2,... An,则

11、某个研究所有170名职工,其中120人会英语,80人会法语,60人会日语,50人会英语和法语,25人会英语和日语,30人会法语和日语,10人会英语、日语和法语。问有多少人不会这三种语言?

解:令U 为全集,E 、F 、J 分别为会英语、 法语和日语人的集合。|U|=170

|E|=120 |F|=80 |J|=60 |E ∩F|=50

|E ∩J|=25 |F ∩J|=30 |E ∩F ∩J|=10

|E ∪F ∪J|=|E|+|F|+|J|-|E ∩F|-|E ∩J|-|F ∩J|+|E ∩F ∩J|

= 120+80+60-50-25-30+10=165

|U-(E ∪F ∪J)|=170-165=5 即有5人不会这三种语言。

12、求1到1000之间不能被5、6、8整除的数的个数。

解.设全集 E ={x| x 是1到1000的整数} |E|=1000

A5、 A6、 A8是E 的子集并分别表示可被5、6、8整除的数的集合。?x ? 表示小于或等于x 的最大整数。

LCM(x,y):表示x,y 两个数的最小公倍数。

(Least Common Multiple ) 33301000)6,5(1000|65|12581000||16661000||20051000||865=??

????=??????==??

????==??

????==??

????=LCM A A A A A E F

J

10

U

不能被5、6、8整除的数的集合为~(A5∪A6∪A8)

|~(A5∪A6∪A8)|=|E|-|A5∪A6∪A8|=|E|-(|A5|+|A6|+|A8|-|A5∩A6|-|A5∩A8|-|A6∩A8|+|A5∩A6∩A8|)

=1000-(200+166+125-33-25-41+8)=600

13、对24名科技人员掌握外语的情况进行调查结果如下:英、日、德、法四种外语中,每个人至少会一种;会英、日、德、法语的人数分别是13、5、10、9人; 同时会英、日语的有2人; 同时会英、法语的有4人; 同时会德、法语的有4人; 同时会英、德语的有4人;会日语的人不会德语,也不会法语;

问这24人中,只会一种外语的人各是多少人?同时会英、法、德三种语言的人有多少人? 解:设全集为U ,E,F,G ,J 分别表示会英、法、德、日语

人的集合。 |U|=24 |E ∩F|=|G ∩F|=|E ∩G|=4

又设 |E ∩F ∩G|=x 只会英、法、德、日一种外语的人分

别是y1, y2, y3, y4。 于是可以画出文氏图及方程如下:

y1 +2(4-x)+x+2=13

y2 +2(4-x)+x=9

y3 +2(4-x)+x=10

y4+2=5

y1+ y2+ y3 +y4 +3(4-x)+x+2=24 解得: y1=4, y2=2, y3=3, y4=3 x=1

14、A,B 是有限集合, P(A)表示A 的幂集,已知|A|=3,|P(B)|= 64 ,|P(A ∪B)|= 256, 则|B|=( ), |A ∩B|=( ),|A-B|=( ),|A ⊕B|=( )。

解:由|P(B)|=64=26,得 |B|=6

由|P(A ∪B)|=256=28,得|A ∪B|=8

由包含排斥原理得 |A ∪B|=|A|+|B|-|A ∩B|

得8=3+6-|A ∩B| ,所以 |A ∩B|=1

|A-B|=|A|-|A ∩B|=3-1=2

|A ⊕B|=|A ∪B|-|A ∩B|=8-1=7

E F G J x 4-x 4-x 4-x 2 y 1

y 2 y 3 y 4

81201000)8,6,5(1000||41241000)8,6(1000||25401000)8,5(1000||8658685=??????=??????==?????

?=??????==??????=??????=LCM A A A LCM A A LCM A A

15、设F表示一年级大学生的集合,S表示二年级大学生的集合,M表示数学专业学生的集合,C表示计算机专业学生的集合,D表示听离散数学课学生的集合,G表示星期六晚上参加音乐会的学生的集合,H表示星期六晚上很晚才睡觉的学生集合,则将下面各个句子所对应的集合表达式分别写在句子后面的括号内:

(1)所有计算机专业二年级的学生在学离散数学课。( C∩S ? D )

(2)这些且只有这些学离散数学课的学生或者星期六晚上去听音乐会的学生在星期六晚上很晚才睡觉。( D ∪G=H )

(3)星期六晚上的音乐会只有大学一、二年级的学生参加。( G ? F∪S )

(4)除去数学专业和计算机专业以外的二年级的学生都去参加星期六晚上的音乐会。( ~(M∪

C) ∩S ? G )

16、一个班有50人,第一次考试得A的人数等于第二次考试得A的人数,仅仅在一次考试中得A的学生总数是40,有4个学生两次考试都没有得到A,问有多少学生仅在第一次考试中取得A?问有多少学生仅在第二次考试中取得A?问有多少学生两次考试中都取得A?

解.设A1、A2 分别表示在第一次和第二次得A的人的集合。

根据题意得: |E| = 50, |A1| = |A2|,

(|A1| - |A1∩A2|) + (|A2| - |A1∩A2|) = 40 ,

即|A1| + |A2| - |A1∩A2| - |A1∩A2 | = 40 ,

∴2|A1| - 2|A1∩A2| = 40 , (1)

∴|A1| - |A1∩A2| = |A2| - |A1∩A2| = 20 , (仅一次得A)

又|E| - |A1∪A2| = 4, ∴|A1∪A2| = 50 - 4 = 46

即|A1| + |A2| - |A1∩A2| = 2|A1| - |A1∩A2| = 46, (2)

(2) - (1)得:|A1∩A2| = 6。(两次得A为6人)

17、在什么条件下,下面命题为真?

a) (A-B)∪(A-C) = A

解.(A-B)∪(A-C) = (A∩~B)∪(A∩~C) = A∩(~B∪~C)= A∩~(B∩C) = A-(B∩C) = A

所以满足此式的充要条件是:A∩B∩C = Φ

b) (A-B)∪(A-C) = Φ

解.(A-B)∪(A-C) = A-(B∩C) = Φ

所以满足此式的充要条件是:A ? B∩C

c) (A-B)∩(A-C) =Φ

解.(A-B)∩(A-C) = (A∩~B)∩(A∩~C) = A∩(~B∩~C)= A∩~(B∪C) = A-(B∪C) = Φ

所以满足此式的充要条件是: A ? B∪C

d) (A-B)⊕(A-C) = Φ

解. 因为当且仅当A = B ,才有A⊕B = Φ

所以满足此式的充要条件是: A-B = A-C

18、计算Φ∩{Φ} = Φ{Φ}∩{Φ} = {Φ}

{Φ,{Φ}} –Φ= {Φ,{Φ}} {Φ,{Φ}} – {Φ} = {{Φ}}

{Φ,{Φ}} – {{Φ}} = {Φ}

19、证明各式彼此等价。

c)A∪B=E, ~A?B, ~B?A.

证明. A∪B=E ??x(x∈A∪B ?x∈E)

??x(x∈A∪B) (因x∈E 为T) (P?T?P)

??x(x∈A∨x∈B)

??x(x?A→x∈B) ??x(x∈~A→x∈B) ? ~A?B

同理A∪B=E ? ...??x(x∈A∨x∈B)

??x(x?B→x∈A) ??x(x∈~B→x∈A) ? ~B?A

所以A∪B=E ? ~A?B ? ~B?A.

20.证明(A∩B)∪C = A∩(B∪C) iff C?A.

证明:充分性已知C?A

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

= A∩(B∪C) (∵C?A ∴A∪C=A) 必要性已知(A∩B)∪C = A∩(B∪C)

任取x∈C ? x∈(A∩B)∪C ? x∈A∩(B∪C) ? x∈A

所以C?A.

21、证明(A-B)-C=(A-C)-B

方法1.任取x∈(A-B)-C

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

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

? x∈(A-C)-B 所以(A-B)-C = (A-C)-B

方法2 (A-B)-C = (A∩~B)∩~C = (A∩~C)∩~B = (A-C)-B

22、判断下面命题的真值:

a)如果A∈B,B?C ,则A∈C。T

证明:因为B?C ,A∈B,所以A∈C。

b)如果A∈B,B?C,则A?C 。 F

举反例A = {1} B = {{1}} C = {{1},2}

满足A∈B, B?C ,但是不满足A?C (1∈A 但1?C )。

c)如果A?B,B∈C,则A∈C。 F

举反例A = {1} B = {1,2} C = {{1,2}}

满足A?B, B∈C ,但是A?C 。

d)如果A?B,B∈C,则A?C。 F

举反例A = {1} B = {1,2} C = {{1,2}}

满足A?B, B∈C ,但是不满足A?C 。

离散数学(集合论)课后总结

第三章集合论基础 1、设A={a,{a},{a,b},{{a,b},c}}判断下面命题的真值。 ⑴{a}∈A T ⑵?({a}? A) F ⑶c∈A F ⑷{a}?{{a,b},c} F ⑸{{a}}?A T ⑹{a,b}∈{{a,b},c} T ⑺{{a,b}}?A T ⑻{a,b}?{{a,b},c} F ⑼{c}?{{a,b},c} T ⑽({c}?A)→(a∈Φ) T 2、证明空集是唯一的。(性质1:对于任何集合A,都有Φ?A。) 证明:假设有两个空集Φ1 、Φ2 ,则 因为Φ1是空集,则由性质1得Φ1 ?Φ2 。 因为Φ2是空集,则由性质1得Φ2 ?Φ1 。 所以Φ1=Φ2 。 3、设A={Φ},B=P(P(A)).问:(这道题要求知道幂集合的概念) a)是否Φ∈B?是否Φ?B? b)是否{Φ}∈B? 是否{Φ}?B? c)是否{{Φ}}∈B? 是否{{Φ}}?B? 解:设A={Φ},B=P(P(A)) P(A)= {Φ,{Φ}} 在求P(P(A))时,一些同学对集合{Φ,{Φ}}难理解,实际上你就将{Φ,{Φ}}中的元素分别看成Φ=a ,{Φ}=b, 于是{Φ,{Φ}}={a,b} B=P(P(A))=P({a,b}) ={B0, B1 , B2 , B3 }={B00, B01,B10 ,B11}={Φ, {b}, {a}, {a,b}} 然后再将a,b代回即可B=P(P(A))=P({Φ,{Φ}})={Φ,{Φ} ,{{Φ}}, {Φ,{Φ}}} 以后熟悉后就可以直接写出。 a) Φ∈B Φ?B b) {Φ}∈B {Φ} ? B c) {{Φ}}∈B {{Φ}}?B a)、b)、c)中命题均为真。 4、证明A?B ? A∩B=A成立。 证明:A∩B=A ??x(x∈A∩B ?x∈A) ??x((x∈A∩B → x∈A)∧(x∈A→ x∈A∩B)) ??x((x?A∩B∨x∈A)∧(x?A∨x∈A∩B)) ??x((?(x∈A∧x∈B)∨x∈A)∧(x?A∨(x∈A∧x∈B)) ??x(((x?A∨x?B)∨x∈A)∧(x?A∨(x∈A∧x∈B))) ??x(T∧(T∧( x?A∨x∈B))) ??x( x?A∨x∈B)??x(x∈A→x∈B)? A?B 5、(A-B)-C=(A-C)-(B-C) 证明:任取x∈(A-C)-(B-C) ?x∈(A-C)∧x?(B-C) ?(x∈A∧x?C)∧?(x∈B∧x?C) ?(x∈A∧x?C)∧(x?B∨x∈C) ?(x∈A∧x?C∧x?B)∨(x∈A∧x?C∧x∈C) ?x∈A∧x?C∧x?B?x∈A∧x?B∧x?C ?(x∈A∧x?B)∧x?C ?x∈A-B∧x?C?x∈(A-B)-C 所以(A-B)-C=(A-C)-(B-C)

离散数学必备知识点总结

离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;

2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;

离散数学期末练习题-(带答案)

离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()

离散数学测试(集合论)

《离散数学》单元测试(集合论) 3.1集合的基本概念 1.设A、B、C是集合,确定下列命题是否正确,说明理由。 (1)Ф?Ф (2)Ф∈Ф (3)Ф?{Ф} (4)Ф∈{Ф} (5)如果A∈B与B?C,则A?C (6)如果A∈B与B?C,则A∈C (7)如果A?B与B∈C,则A∈C (8)如果A?B与B∈C,则A?C 2.有n个元素的集合A的幂集ρ(A)的元素个数为多少?求下列集合的幂集合。 (1)Ф (2){Ф} (3){Ф,{Ф}} (4){a,b} (5){a,b,{a,b}} (6){1,{1},2,{2}} 3.2 集合的运算 1.设A,B是两个集合,A={1,2,3},B={2,3,4},则B-A= ,ρ(B)- ρ(A)= 。 2.全集E={a,b,c,d,e},A={a,d},B={a,b,e},C={b,d},求 ,ρ(A)∩ρ(B) A B C= () = 。 3.下列命题正确的是()。 A.φ∩{φ}=φB.φ∪{φ}=φC.{a}∈{a,b,c} D.φ∈{a,b,c} 4.确定下列各式的值: Ф∩{Ф}= {Ф,{Ф}}-Ф= {Ф,{Ф}}-{Ф}= 6.证明下列各等式: A∩(B-A)=Ф A∪(A∩B)=A 3.3 有穷集合的计数问题 掌握文氏图和容斥原理求解有穷集合的计数问题的方法,并会简单应用。以教材的示例为基础。

第4章 二元关系 4.1二元关系的定义、表示方法与特性 1. A 和B 是任意两个集合,若序偶的第一个元素是A 的一个元素,第二个元素是B 的一个 元素,则所有这样的序偶集合称为集合A 和B 的 , 记作A ?B ,即A ?B= 。A ?B 的子集R 称为A 到B 的一个 。若|A|=m , B|=n ,则A 到B 共有 个不同的二元关系。 2. 设集合A ={a,b},B ={x,y},求笛卡尔乘积A ×B,B ×A,,A ×ρ(B)。 3. 证明: (1) (A ∩B)×C=(A ×C)∩(B ×C) (2) (A ∪B)×C=(A ×C)∪(B ×C) 4. 设A={a,b},B={x,y},则从A 到B 的二元关系共有多少个?请分别列出。 5. 设集合A={a,b,c,d},B={1,2,3},R 是A 到B 的二元关系,R={,,,,,},写出R 的关系矩阵和关系图。 6. 设集合 A={1,2,3},A 上的关系R={<1,1>, <1,2>, <2,2>, <3,3>, <3,2>},则R 不具备( )。 A 自反性 B. 反自反性 C. 对称性 D. 反对称性 E. 传递性 7. 设集合A={a,b,c},R 是A 上的二元关系,R={〈a,a 〉,〈a,b 〉,〈a,c 〉,〈c,a 〉},那么R 具备( )。 A 自反性 B. 反自反性 C. 对称性 D. 反对称性 E. 传递性 4.2 关系的运算(合成、逆运算、闭包运算) 1. 集合A={a 1,a 2,a 3},B={b 1,b 2,b 3,b 4},C={c 1,c 2,c 3,c 4}; R 是A 到B 的二元关系,R={,,,,}; S 是B 到C 的二元关系,S={,,,,}。 求复合关系R оS 。 2. 设集合{1,2,,10}A = ,A 上的二元关系R={|x,y ∈A,x+3y=12},试求R n 。 3. 设R ,S 是二元关系,证明:111)(---=R S S R 。 4. 集合},,,{d c b a R =,R 是集合A 上的关系,{,,,,,}R a b b a b c =<><><>,求 )(),(),(R t R s R r ,并分别画出它们的关系图。 4.3 等价关系及划分 1. R 是集合A 上的二元关系,如果关系R 同时具有 性、 性 和 性,则称R 是等价关系。 2. R 是集合A={a ,b ,c ,d ,e ,f }是上的二元关系, R={〈a ,d 〉,〈d ,a 〉,〈a ,e 〉,〈e ,a 〉, }∪I A

离散数学谓词逻辑课后总结

第二章谓词逻辑 2—1基本概念 例题1. 所有的自然数都是整数。 设N(x):x是自然数。I(x):x是整数。此命题可以写成?x(N(x)→I(x)) 例题2. 有些自然数是偶数。 设E(x):x是偶数。此命题可以写成?x(N(x)∧E(x)) 例题3. 每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。此命题可以写 成:?x(P(x)→?y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设客体函数g(x)=2x, 谓词O(x):x是奇数,E(x):x是偶数, 则此命题可以表示为:?x(O(x)→E(g(x))) 例题2 小王的父亲是个医生。 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))。 例题3 如果x和y都是奇数,则x+y是偶数。 设h(x,y)=x+y ,此命题可以表示为:?x?y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). ?xA(x)?A(a1)∧A(a2)∧......∧A(an) (2). ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 1.每个自然数都是整数。该命题的真值是真的。 表达式?x(N(x)→I(x))在全总个体域的真值是真的, 因?x(N(x)→I(x))?(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an)) 式中的x不论用自然数客体代入,还是用非自然数客体代入均为真。例如(N(0.1)→I(0.1))也为真。 而?x(N(x)∧I(x))在全总个体域却不是永真式。

离散数学集合论部分测试题

离散数学集合论部分测试题

离散数学集合论部分综合练习 本课程综合练习共分3次,分别是集合论部分、图论部分、数理逻辑部分的综合练习,这3次综合练习基本上是按照考试的题型安排练习题目,目的是通过综合练习,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次是集合论部分的综合练习。 一、单项选择题 1.若集合A={a,b},B={ a,b,{ a,b }},则(). A.A?B,且A∈B B.A∈B,但A?B C.A?B,但A?B D.A?B,且A?B 2.若集合A={2,a,{ a },4},则下列表述正确的是( ). A.{a,{ a }}∈A B.{ a }?A C.{2}∈A D.?∈A 3.若集合A={ a,{a},{1,2}},则下列表述正确的是( ). A.{a,{a}}∈A B.{2}?A C.{a}?A D.?∈A 4.若集合A={a,b,{1,2 }},B={1,2},则(). A.B? A,且B∈A B.B∈ A,但B?A C.B ? A,但B?A D.B? A,且B?A 5.设集合A = {1, a },则P(A) = ( ). A.{{1}, {a}} B.{?,{1}, {a}} C.{?,{1}, {a}, {1, a }} D.{{1}, {a}, {1, a }} 6.若集合A的元素个数为10,则其幂集的元素个数为(). A.1024 B.10 C.100 D.1 7.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={|x+y=10且x, y∈A},则R 的性质为(). A.自反的B.对称的 C.传递且对称的D.反自反且传递的 8.设集合A = {1,2,3,4,5,6 }上的二元关系R ={?a , b∈A , 且a +b = 8},则R具有的性质为(). A.自反的B.对称的 C.对称和传递的D.反自反和传递的 9.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个. A.0 B.2 C.1 D.3 10.设集合A={1 , 2 , 3 , 4}上的二元关系 R = {<1 , 1>,<2 , 2>,<2 , 3>,<4 , 4>},

离散数学之集合论

第二篇集合与关系 集合论是现代各科数学的基础,它是德国数学家康托(Geog Cantor, 1845~1918)于1874年创立的,1876~1883年康托一系列有关集合论的文章,对任意元的集合进行了深入的探讨,提出了关于基数、序数和良序集等理论,奠定了集合论深厚的基础,19世纪90年代后逐渐为数学家们采用,成为分析数学、代数和几何的有力工具。 随着集合论的发展,以及它与数学哲学密切联系所作的讨论,在1900年前后出现了各种悖论,使集合的发展一度陷入僵滞的局面。1904~1908年,策墨罗(Zermelo)列出了第一个集合论的公理系统,它的公理,使数学哲学中产生的一些矛盾基本上得到了统一,在此基础上以后就逐渐形成了公理化集合论和抽象集合论,使该学科成为在数学中发展最为迅速的一个分支。 现在,集合论已经成为内容充实、实用广泛的一门学科,在近代数学中占据重要地位,它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支,正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用,计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证,成为计算机科学工作者必不可少的基础知识。集合论可作为数学学科的通用语言,一切必要的数据结构都可以利用集合这个原始数据结构而构造出来,计算机科学家或许也可以利用这种方法。 本篇介绍集合论的基础知识,主要内容包括集合及其运算、性质、序偶、关系、映射、函数、基数等。 第2-1章集合及其运算 §2-1-1 集合的概念及其表示 一、集合的概念 “集合”是集合论中的一个原始的概念,因此它不能被精确地定义出来。一般地说,把具有某种共同性质的许多事物,汇集成一个整体,就形成一个集合。构成这个集合的每一个事物称为这个集合的一个成员(或一个元素),构成集合的这些成员可以是具体东西,也可以是抽象东西。例如:教室内的桌椅;图书馆的藏书;全国的高等学校;自然数的全体;程序设计语言C的基本字符的全体等均分别构成一个集合。通常用大写的英文字母表示集合的名称;用小写的英文字母表示元素。若元素a属于集合A记作

离散数学第二章一阶逻辑知识点总结

数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x

存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中

(完整word版)离散数学必备知识点总结.docx

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写; 6.真值表中值为 1 的项为极小项,值为0 的项为极大项; 7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -1)刚好为化简完 后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法 (=>) :真值表法;分析法 (假定前键为真推出后键 为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则, T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取 ^;

3.既有存在又有全称量,先消存在量,再消全称量; 第四章集合 1.N ,表示自然数集, 1,2,3 ??,不包括 0; 2.基:集合 A 中不同元素的个数, |A|; 3.集:定集合 A,以集合 A 的所有子集元素成的集合,P(A) ; 4.若集合 A 有 n 个元素,集 P(A) 有2 n个元素, |P(A)|= 2| A| = 2 n; 5.集合的分划: (等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合; ② 几个子集相交空,相并全(A); 6.集合的分划与覆盖的比: 分划:每个元素均出且出一次在子集中; 覆盖:只要求每个元素都出,没有要求只出一次; 第五章关系 1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn, A 到 B 上可以定2mn种不同的关系; 2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系; 3.全关系的性:自反性,称性,性; 空关系的性:反自反性,反称性,性;

离散数学课程总结

离散数学课程总结 姓名: 学号: 班级:级计科系软件工程()班 近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。第一部分:数理逻辑 数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演

算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分:集合论 在集合论中,主要学习了集合代数、二元关系和函数。 1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元 集、幂集、全集;集合的基本运算:并、交、补相对、对称差等; 集合恒等式:集合运算的主要算律、恒等式的证明方法。

离散数学集合论部分测试题

离散数学集合论部分综合练习 本课程综合练习共分3次,分别是集合论部分、图论部分、数理逻辑部分的综合练习,这3次综合练习基本上是按照考试的题型安排练习题目,目的是通过综合练习,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次是集合论部分的综合练习。 一、单项选择题 1.若集合A={a,b},B={ a,b,{ a,b }},则(). A.A?B,且A∈B B.A∈B,但A?B C.A?B,但A?B D.A?B,且A?B 2.若集合A={2,a,{ a },4},则下列表述正确的是( ). A.{a,{ a }}∈A B.{ a }?A C.{2}∈A D.?∈A 3.若集合A={ a,{a},{1,2}},则下列表述正确的是( ). A.{a,{a}}∈A B.{2}?A C.{a}?A D.?∈A 4.若集合A={a,b,{1,2 }},B={1,2},则(). A.B? A,且B∈A B.B∈ A,但B?A C.B ? A,但B?A D.B? A,且B?A 5.设集合A = {1, a },则P(A) = ( ). A.{{1}, {a}} B.{?,{1}, {a}} C.{?,{1}, {a}, {1, a }} D.{{1}, {a}, {1, a }} 6.若集合A的元素个数为10,则其幂集的元素个数为(). A.1024 B.10 C.100 D.1 7.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={|x+y=10且x, y∈A},则R的性质为(). A.自反的 B.对称的 C.传递且对称的 D.反自反且传递的 8.设集合A= {1,2,3,4,5,6 }上的二元关系R ={?a, b∈A, 且a +b = 8},则R具有的性质为(). A.自反的 B.对称的 C.对称和传递的 D.反自反和传递的 9.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个. A.0 B.2 C.1 D.3 10.设集合A={1 , 2 , 3 , 4}上的二元关系 R = {<1 , 1>,<2 , 2>,<2 , 3>,<4 , 4>},

离散数学部分概念和公式总结

离散数学部分概念和公式总结 命题:称能判断真假的陈述句为命题。 命题公式:若在复合命题中,p、q、r等不仅可以代表命题常项,还可以代表命题变项,这样的复合命题形式称为命题公式。 命题的赋值:设A为一命题公式,p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值,称为对A的一个赋值或解释。若指定的一组值使A的值为真,则称成真赋值。真值表:含n(n≥1)个命题变项的命题公式,共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表,称为A的真值表。 命题公式的类型:(1)若A在它的各种赋值下均取值为真,则称A为重言式或永真式。 (2)若A在它的赋值下取值均为假,则称A为矛盾式或永假式。 (3)若A至少存在一组赋值是成真赋值,则A是可满足式。 主析取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合取式全是极小项,则称该析取范式为A的主析取范式。 主合取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合析式全是极大项,则称该析取范式为A的主析取范式。 命题的等值式:设A、B为两命题公式,若等价式A?B是重言式,则称A与B是等值的,记作A<=>B。 约束变元和自由变元:在合式公式?x A和?x A中,称x为指导变项,称A为相应量词的辖域,x称为约束变元,x的出现称为约束出现,A中其他出现称为自由出现(自由变元)。一阶逻辑等值式:设A,B是一阶逻辑中任意的两公式,若A?B为逻辑有效式,则称A与B是等值的,记作A<=>B,称A<=>B为等值式。 前束范式:设A为一谓词公式,若A具有如下形式Q1x1Q2x2Q k…x k B,称A为前束范式。集合的基本运算:并、交、差、相对补和对称差运算。 笛卡尔积:设A和B为集合,用A中元素为第一元素,用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积,记为A×B。 二元关系:如果一个集合R为空集或者它的元素都是有序对,则称集合R是一个二元关系。特殊关系:(1)、空关系:Φ(2)全域关系:EA={ | x∈A ∧y∈A }= A×A (3)恒等关系:IA={ | x∈A} (4)小于等于关系:LA={| x, y∈A∧x≤y∈A },A ? R (5)整除关系:R? ={| x,y∈ψ∧x ? y} ,ψ是集合族 二元关系的运算:设R是二元关系, (1)R中所有有序对的第一元素构成的集合称为R的定义域dom R = { x |?y(∈R)} (2)R中所有有序对的第二元素构成的集合称为R的值域ranR = {y |?x(∈R)} (3)R的定义域和值域的并集称为R的域fld R= dom R∪ran R 二元关系的性质:自反性,反自反性,对称性,反对称性,传递性。 等价关系:如果集合A上的二元关系R是自反的,对称的和传递的,那么称R是等价关系。设R是A上的等价关系,x , y是A的任意元素,记作x~y。 等价类:设R是A上的等价关系,对任意的?x∈A,令[x]R={ y| y∈A∧x R y },称[x]R 为x关于R的等价类。 偏序关系:设R是集合A上的二元关系,如果R是自反的,反对称的和传递的,那么称R 为A上的偏序,记作≤;称序偶< A ,R >为偏序集合。 函数的性质:设f: A→B, (1)若ran f = B,则称f 是满射(到上)的。

东北大学离散数学复习总结(满分版)

方法、知识点总结(知识重点和考题重点) 前三章重点内容(知识重点): 1、蕴含(条件)“→”的真值 P→Q的真值为假,当且仅当P为真,Q为假。 2、重言(永真)蕴涵式证明方法 <1>假设前件为真,推出后件也为真。 <2>假设后件为假,推出前件也为假。 易错 3、等价公式和证明中运用

4、重要公式 重言蕴涵式:P∧Q => P or Q P or Q => p∨Q A->B =>(A∧or∨C)->(B∧or∨C) 其他是在此基础上演变 等价公式:幂等律P∧P=P P∨P=P 吸收律P∧(P∨Q)=P P∨(P∧Q)=P 同一律P∨F=P P∧T=P P∨T=T P∧F=F P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q) 5、范式的写法(最方便就是真值表法) 6、派遣人员、课表安排类算法: 第一步:列出所有条件,写成符号公式 第二步:用合取∧连接 第三步:求上一步中的析取范式即可 7、逻辑推理的写法 直接推理论证:其中I公式是指重言蕴涵式那部分 其中E公式是指等价公式部分 条件论证: 形如~ , ~, ~ => R->S

R P(附加条件) ... ... S T R->S CP 8、谓词基本内容 注意:任意用—> 连接 存在用∧连接 量词的否定公式 量词的辖域扩充公式

量词分配公式 其他公式 9、带量词的公式在论域内的展开 10、量词辖域的扩充公式 11、前束范式的写法 给定一个带有量词的谓词公式, 1)消去公式中的联接词→和←→(为了便于量词辖域的扩充); 2)如果量词前有“﹁ ”,则用量词否定公式﹁ ”后移。再用摩根定律或求公式的否定公式,将“﹁ ”后移到原子谓词公式之前; 3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备); 4)用量词辖域扩充公式提取量词,使之成为前束范式形式。 简要概括:1、去-> ,<-> 2、移﹁ 3、换元 4、量词辖域扩充

离散数学集合论期末复习题

集合论期末复习题 1. 求(())P P φ 答:(()){,{}}P P φφφ= 2. 设||A n =,求|()|P A 答:|()|2n P A = 3. {,{}}________φφφ-=,{,{}}{}________φφφ-= 答:{,{}}φφ,{{}}φ 4. 证明:()()()A B C A B A C ?⊕=?⊕? 证明: () [()()] (~)(~) (~)(~) (~)(~)(~)(~)[()(~~)][()(~~)] [()~()][()~()] [()()][()()] ()() A B C A B C C B A B C C B A B C A C B A B A A B C A C B A C A A B A C A C B A A B A C A C A B A B A C A C A B A B A C ?⊕=?-?-=????=?????=???????????=???????=???????=?-???-?=?⊕? 5. 200人中,有67人学数学,47人学物理,95人学生物,26人学数学和生物,28人学数学和物理,27人学生物和物理,50人三门都不学,问:三门都学的人数和单学一门的人数? 解:设三门都学的人数和单学数学、物理、生物的人数分别为x ,y1,y2,y3,则如下图: (26)(28)167(27)(28)247(26)(27)395 (26)(27)(28)12350200 x x x y x x x y x x x y x x x x y y y +-+-+=??+-+-+=??+-+-+=??-+-+-+++++=? 求解得到:1132228135342214123269364 y x x y x y y x y y y y x y -==????-=-=?????-==????++-==?? 6. 集合S={0,1,2,3,4,5,6},R 为S 上的关系。R={|x

完整word版,离散数学知识汇总,推荐文档

离散数学笔记 第一章命题逻辑 合取 析取 定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句 定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句 定义 1.2.1合式公式 (1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串A 是合式公式,则?A、(A)也是合式公式。 (3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式

将一个普通公式转换为范式的基本步骤

1.6推理 定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。(用等值演算或真值表) 第二章 谓词逻辑 2.1、基本概念 ?:全称量词 ?:存在量词 一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式 例题 R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x ?y(R(x)∧T(y)→H(x,y)) 有的兔子比所有的乌龟跑得快表示为:?x ?y(R(x)∧T(y)→H(x,y)) 2.2、谓词公式及其解释 定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式

离散数学及其应用集合论部分课后习题答案

作业答案:集合论部分 P90:习题六 5、确定下列命题是否为真。 (2)?∈? (4){}?∈? (6){,}{,,,{,}}a b a b c a b ∈ 解答:(2)假(4)真(6)真 8、求下列集合的幂集。 (5){{1,2},{2,1,1},{2,1,1,2}} (6){{,2},{2}}? 解答: (5)集合的元素彼此互不相同,所以{2,1,1,2}{1,2}=,所以该题的结论应该为 {,{{1,2}},{{2,1,1}},{{1,2},{2,1,1}}}? (6){,{{,2}},{{2}},{{,2},{2}}}??? 9、设{1,2,3,4,5,6}E =,{1,4}A =,{1,2,5}B =,{2,4}C =,求下列集合。 (1)A B (2)()A B 解答: (1){1,4}{3,4,6}{4}A B == (2)(){1}{2,3,4,5,6}A B == 31、设A,B,C 为任意集合,证明 () ()()()A B B A A B A B --=- 证明: ()() {|}{|()()}{|()()()()} {|()()}{|()()}{|()()} {|()()}{|()(A B B A x x A B x B A x x A x B x B x A x x A x B x B x B x A x A x B x A x x A x B x B x A x x A B x A x B x x A B x A x B x x A B x B x x A B x A --=∈-∨∈-=∈∧?∨∈∧?=∈∨∈∧?∨∈∧∈∨?∧?∨?=∈∨∈∧?∨?=∈∧?∨?=∈∧∈∨∈=∈∧∈=∈∧∈)} B A B A B =-

离散数学总结

离散数学总结 班级:学号:姓名: 临近期末各科课程已经结束,随之而来就是总结各科学习总结和对这门学科的建议。《离散数学》这门课程当然也不会例外了。经过一个学期的学习我发现《离散数学》是一门理论性非常强的课程,而且知识点非常多,定义和定理以及定律是数之不尽。 《离散数学》顾名思义就是一门数学,它是数学众多领域中的一个小分支,即使是一个小小的分支,但是它的内容也非常之多,同时也非常抽象。自认我的数学成绩还是不错的,但是面对《离散数学》我就头痛,书本里面很多知识点我都是似懂非懂地。但鉴于《离散数学》在计算科学中的重要性,这是一门必须牢牢掌握的课程。因此我也很无奈,只好硬着头皮去学好它了。 离散数学是理论性较强的学科,学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握,对基本原理及基本运算的运用,并要多做练习。 《离散数学》的特点是: 1、知识点集中,概念和定理多。《离散数学》是建立在大量概念之上的逻辑推理学科,概念的理解是我们学习这门学科的核心。不管哪本离散数学教材,都会在每一章节列出若干定义和定理,接着就是这些定义定理的直接应用。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系,而描述这些联系的则是定理和性质。 2、方法性强:离散数学的特点是抽象思维能力的要求较高。通过对它的学习,能大大提高我们本身的逻辑推理能力、抽象思维能力和形式化思维能力,从而今后在学习任何一门计算机科学的专业主干课程时,都不会遇上任何思维理解上的困难。《离散数学》的证明题多,不同的题型会需要不同的证明方法(如直接证明法、反证法、归纳法等),同一个题也可能有几种方法。但是《离散数学》证明题的方法性是很强的,如果知道一道题用什么方法讲明,则很容易可以证出来,否则就会事倍功半。因此在平时的学习中,要勤于思考,对于同一个问题,尽可能多探讨几种证明方法,从而学会熟练运用这些证明方法,再者要善于总结。 在学习《离散数学》的过程中,我明白了理解概念是至关重要的。只有概念明确,才有可能将离散数学学好。但是初学者往往不能够将概念与现实世界中的事物联系起来,这是学好离散数学的基础,因此也是初学者面临的一个困难。只有克服它,你才能有可能学好《离散数学》。 学完这门课后,我总结到了,如果你想学得更好——你可以在进行完一章的学习后,用专门的时间对该章包括的定义与定理实施强记。只有这样才可能本课程的抽象能够适应,并为后续学习打下良好的基础。而且必须及时复习和总结。 《离散数学》是一门数学科,大家都知道学数学就是要大量做数学,因此《离散数学》也不会例外。学习数学不仅限于学习数学知识,更重要的还在于学习数学的思维方法。这一点非常重要。 课程虽然是上完了,但是老师你的教学方法独特而新颖,思想开化而先进,是个容易沟通的老师。有你带着我们学习《离散数学》就是我们不想学好,我想也是很难吧!就我来说每次上课时在我快要与“周公”会面之际,你突然一个笑话和雷人的语录,我和“周公”迫不得已就分开了。当我再次看到周公时,耳边

离散数学集合论练习题

集合论练习题 一、选择题 1.设B = { {2}, 3, 4, 2},那么下列命题中错误的是( ). A .{2}∈ B B .{2, {2}, 3, 4}B C .{2}B D .{2, {2}}B 2.若集合A ={a ,b ,{ 1,2 }},B ={ 1,2},则( ). A . B A ,且BA B .B A ,但BA C .B A ,但BA D .B A ,且BA 3.设集合A = {1, a },则P (A ) = ( ). A .{{1}, {a }} B .{?,{1}, {a }} C .{?,{1}, {a }, {1, a }} D .{{1}, {a }, {1, a }} 4.已知AB ={1,2,3}, AC ={2,3,4},若2 B,则( ) A . 1?C B .2? C C .3?C D .4?C 5. 下列选项中错误的是( ) A . ??? B . ?∈? C . {}??? D .{}?∈? 6. 下列命题中不正确的是( ) A . x {x }-{{x }} B .{}{}{{}}x x x ?- C .{}A x x =?,则xA 且x A ? D . A B A B -=??= 7. A , B 是集合,P (A ),P (B )为其幂集,且A B ?=?,则()()P A P B ?=( ) A . ? B . {}? C . {{}}? D .{,{}}?? 8. 空集?的幂集()P ?的基数是( ) A . 0 B .1 C .3 D .4 9.设集合A = {1,2,3,4,5,6 }上的二元关系R ={a , b ∈A , 且a +b = 8},则R 具有的性质为( ). A .自反的 B .对称的 C .对称和传递的 D .反自反和传递的

相关文档
最新文档