南京大學2010年離散數學記憶版(編譯原理指出相同題型)
查看(1370) 回復(0) |
|
lyh2006
|
發表于 2010-09-08 00:05
樓主
1.S,T是定義在集合A上的關系,T(X)是X的傳遞閉包
(1)S,T是A上的對稱關系,證明 S°T對稱當且僅當S°T=T°S (2)S,T是A上的關系,證明T(SUT)=T(T(S)UT(T)) 2.G是奇數階的Abel群,證明G中所有元素之積為單位元 3.H和K是群G的正規子群,且H∩K={e},證明:h∈ H且k∈K,有hk=kh 4G的頂點數大于3,且u、v屬于VG,u、v不相鄰,且滿足D(u)+D(v)>=n。 證明G為H圖當且僅當G+e為H圖,e為u、v新邊 5用一階謂詞邏輯推導證明(Vx(全稱量詞)A->B)->((存在量詞)xA->B),B與X無關。 |
回復話題 |
||
上傳/修改頭像 |
|
|