离散数学模拟试卷
- 格式:doc
- 大小:51.50 KB
- 文档页数:2
离散数学模拟试卷
一.(10分)求与公式(x2 ∨ 1x )--->x3 逻辑等值的主合取范式和主析取范式.
二.(10分)判断下列各公式是: 1.永真式 2.永假式 3.其它
(1) (p-->(q-->r))-->(q-->(p-->r))
(2) ))(()(qppqp
(3) qprrqqp)(
(4))()(qppq
三.(10分)问),(),(yxxPyyxyPx是否谓词演算的有效式?证明你的结论.
四.(10分)将下列推理符号化并给出形式证明:
鸟会飞,猪不会飞;所以, 猪不是鸟.
五.(10分)令X={x1,x2,...,xm},Y={y1,y2,...,yn},问:
(1) 有多少不同的由X到Y的关系?
(2) 有多少不同的由X到Y的映射?
六.(10分) 设,R是一个代数系统,是R上的一个二元运算,使得对于R中的任意元
素ba,都有bababa,证明0是幺元且,R是独异点。
七.(10分) 设
是交换群。
八.(10分)把平面分成n个区域,每两个区域都相邻,问n最大为几?
九.(10) 设无向图G有16条边,有3个4度结点,4个3度结点,其余结点的度数均小于3,
问:G中至少有几个结点。
十.(10分) 一个树有2个4度结点,3个3度结点,其余结点都是叶子,则叶子数是多少?
参考答案
一.主合取范式:)()()(321321321xxxxxxxxx
主析取范式:
)()()()()(321321321321321xxxxxxxxxxxxxxx
二.(1) 1 (2) 3 (3) 2 (4) 1
三.不是.取一特定解释域 I 如下.[P(x,y)] I ="x≤y",论域D=N(自然数集)则显然有
tIyxyPx)],([
fIyxxPy)],([
故给定公式在 I 中为假,因此它不是谓词公式的有效式.
四.
(1) ))()((xflyxbirdx
(2) ))()((xflyxpigx
(3) )()(aflyabird
(4) )()(aflyapig
(5) )()(abirdafly
(6) )()(abirdapig
(7) ))()((xbirdxpigx
五.解:
(1) 一个x到y的关系对应于x*y的一个子集.因此,不同的x到y的关系数=|φ(x*y)|=mn2
(2)不同的由x到y的映射个数=|{f|f: x->y}|=|{(f(x1),f(x2),...,f(xm) )|,,}|
==
六. (1)、由运算 可知,a b∈R ,可知其在R上具有封闭性。
(2)、对于任意 a,b,c∈R
(ab) c=(a+b+ab) c=a+b+ab+c+ac+bc+abc
a(bc)=a(b+c+bc)=a+b+c+bc+ab+ac+abc
可见: (ab) c=a(bc)
即 在R上是可结合的。
(3) 因为 0i=i ,所以0是
根据上述
七. 设有任意a,b∈H,e为幺元,则根据已知条件有:
a*b=(e*a)*(b*e)
=(b*b*a)*(b*a*a)
=b*((b*a)*(b*a))*a
=b*e*a=b*a
可见a*b=b*a,即
八.在每个区域放一个结点,当两区域相临时就在响应的两个结点间连一条线,如此构造了
一个平面图且是完全图kβ.而最大的平面完全图为k4,所以,β最大为4.
九. 解:设度数小于3的结点有x个,则有
3×4+4×3+2x≥2×16
解得:x≥4
十. 解:设叶子数为n,则根据树的定义和图中总度数是边数的2倍,可列出方程如下:
2×4+3×3+n×1=2×(n+2+3-1)
解之得:n=9