南京大学2010年离散数学记忆版(编译原理指出相同题型)
查看(1359) 回复(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无关。 |
回复话题 |
||
上传/修改头像 |
|
|