离散数学课件.pptxVIP

集合;集合的概念;表示集合的描述法;集合包含關係的性質;全集與空集的概念;注意區分關係?與?;習題2.1#9:若A,B,C都是集合且A?B和B?C,A?C可能嗎?A?C常真嗎?;習題2.1#10(b):A,B,C都是集合,(A?B∧B?C)?A?C不成立;§2.1的作業佈置;羅素悖(bei)論;集合上的運算;集合的並,交和差運算的文氏圖;注意集合運算與邏輯運算的對應關係;用謂詞演算證明集合論公式;§2.2的作業佈置;§2.2#6(a):若C?A且C?B,則C?A∪B;另證:已知(C?A)∧(C?B)

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

∵x?A∪B

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

?x?C

∴?x(x?(A∪B)?x?C)

?C?A∪B

得證(C?A)∧(C?B)?C?A∪B;並、交、差運算的性質;用謂詞演算證明集合論公式;集合A的補運算,記為A??U-A;集合補運算的性質;④??=U,U?=?.

(由?F=T或?T=F推出)

⑤(A∪B)?=A?∩B?;(A∩B)?=A?∪B?.

用摩根律:

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

⑥A∩B?=A-B.

(A-B={x|A(x)∧?B(x)}=A∩B?);習題2.2#11(b)對任意集合A,B,證明:A∪(B-A)=A∪B;集合的並和交運算的擴張;集合並和交運算擴張的例;習題2.2#17證明下列分配律的推廣:B∩(∪S?CS)=∪S?C(B∩S);習題1.6作業中出現的一些問題;習題1.7#3證明:

P(x)∧?xQ(x)??x(P(x)∧Q(x));習題1.8#7證明:

苏格拉底论证是有效的;習題1.8#8(b)證明:

?x(P(x)∧Q(x))??xP(x)無效;兩集合的環和(對稱差);對稱差的文氏圖;兩集合環和的(對稱差)性質;A?(B?C),(A?B)?C的文氏圖;習題2.2#20(c)A,B,C是任意集合,證明:C∩(A?B)=(C∩A)?(C∩B);集合A的冪集;n元集冪集與n位二進位數集一一對應;有限集的計數;;自然數的定義—皮亞諾公設;數學歸納法第一原理;數學歸納法第二原理;試證:1+2+…+n=n(n+1)/2;數學歸納法第一原理證明舉例;數學歸納法第二原理應用舉例;集合的笛卡爾乘積;集合的笛卡爾乘積的運算性質;例(A∩B)?C=(A?C)∩(B?C)

定理2.5-1(d);集合笛卡爾乘積的元素個數;2.5習題的作業佈置;習題2.5#5A,B是任意集合,證明:A?B=B?A?A=?∨B=?∨A=B;2.5習題#6(a)A,B是任意集合(A∪B)?(C∪D)=(A?C)∪(B?D)不成立;第三章二元關係;§3.1基本概念;關係的概念;二元關係的圖示;二元關係的前域,陪域,定義域,值域;一些重要關係;定義域,值域的一些性質;②D(R∩S)?D(R)∩D(S).

證: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)

注:D(R∩S)?D(R)∩D(S)一般不成立.例如,習題3.1#5中的關係R,S,就使上式不成立.;關係的幾個重要特性;習題3.1的作業佈置;習題3.1#7(b)

证明:A上有2|A?A|個2元關係;關係矩陣的概念(重要);習題3.1#3(b)求關係矩陣:A={0,1,2,3},R={?x,y?|x?2∧y?1};空關係與全域關係的關係矩陣;基於R與MR互相唯一決定,可用關係矩陣有效地刻畫關係的許多性質;習題3.1#8(d)R={?a,b?,?b,c?,?c,a?,?d,d?}只有反對稱性;習題3.1#10:整數集I上五個二元關係=,?,?,I?I,?的有關特性;本次作業存在的一些問題;§2.2#6(b):若C?A且C?B,則C?A∩B;習題§2.2#18:求已知集合的冪集;二已知關係R?A?B和S?B?C的合成關係記為RS;例1(c)A={1,2,3,4,5}

R={?1,2?,?3,4??2,2?}

S={?4,2?,?2,5?,?3,1?,?1,3?}

RS={?1,5?,?3,2??2,5?}

SR={?4,2?,?3,2?,?1,4?}

(RS)R={?3,2?}

RS?SR

注:即使A=B=C時,