计算机专业复试离散数学,哈工程计算机复试离散数学07级A卷

第2页 共2页

三、计算题(每小题5分，共15分) 1．求命题公式(p → q)∧(q → r)的主合取范式。

2．设A={2,4}，给出集合A ×A 上的恒等关系I 、一个既对称又反对称的关系R 。 3．设无向树T 中，有2个2度顶点，2个3度顶点，1个4度顶点，其余的顶点均为树叶。求T 的阶数n 、边数m 和树叶数t 。 四、证明题(共45分)

1．(8分)证明在幂集P(B)中关于集合的对称差运算具有可结合性，并且交运算对对称差运算具有可分配性。 2．(8分)在自然推理系统F 中构造推理的证明：

前提：?x(F(x)∨G(x))，?x(G(x)→┐H(x))

4．(8分)设u 是群G 中任意固定元素，如下定义新的运算?：任意a,b ∈G ， a ?b=au -1b 。证明G 关于?运算构成群。 5．(8分)设f:R ×R →C ，其中R,C 分别表示实数集和复数集，f()=x+iy ，

i 2=-1，证明f 是双射函数。 6．(5分)设G 是无向简单图，δ(G)≥2，证明G 中存在长度大于或等于δ(G)+1的圈(无重复结点)。