- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学复习题 ( 全)
———————————————————————————————— 作者 :
———————————————————————————————— 日期 :
?
离散数学复习资料
一、填空
1. 命题 “对于任意给定的正实数,
都存在比它大的实数”
令 F(x) :x 为实数 , L(x, y) : x
y 则
命题的逻辑谓词公式为
。
设 p:王大力是 100 米冠军 ,q :王大力是 500米冠军,在命题逻辑中 ,命题“王大力不但是
100米冠军 ,而且是 500 米冠军”的符号化形式为 。命题“存在一个人不但是 100
米冠军 ,而且是 500 米冠军”的符号化形式为 ____。
选择合适的论域和谓词表达集合A=“直角坐标系中 ,单位元 (不包括单位圆周 )的点集” 则 A
=。
4. 设
P(x): x
是素数,
E(x):x
是偶数,O
(x ):x
是奇数 N
(x ,y): x
可以整数y。则谓词
x(P( x)
y(O( y)
N ( y, x)))
的自然语言是
对于任意一个素数都存在一个奇数
使该素数都能被整除 。
5.
设个体域是 {a, b} ,谓词公式 (
x)
P( x)
( x)P( x) 写成不含量词的形式是
。
6.
谓词
x y(
z( P( x, z)
P( y, z))
uQ( x, y,u)) 的前束范式为
。
7.
命题公式 A
P (
P
(Q
(
Q
R))) 的主合取范式为
,其编码表示
为
。
8.
设 E
为全集 ,
,称为
A
的绝对补 ,记作~A,且
~(~A)=
, ~ E
=
,
~
=
。
9.
设 A={2 ,5,6}, B
{2 ,3,4}, C
{1,3,4} ,则 A- B =
,AB=
,A×C =
。
10.
设
A { a, b, c}
考虑下列子集
S1
{{
, },{
, }}
, S2 {{ a}, { a, b}, { a, c}} ,
a b
b c
? S3
{{ a}, { b, c}} , S4
{{ a, b,c}} , S5
{{ a}, { b}, { c}} , S6
{{ a}, { a, c}}
则A的覆盖有
,A 的划分有
。
11.
设 M
{ x1
x
12, x被2整除, x
Z}
, N
{ x1
x 12, x被3整除, x
Z}
, 则
M
N
, M
N
。
12.
设 A={ < 1,2,<2 , 4 ,3 ,
3 } , B = { 1,3,2,4>,<4,2>},则 A B =
,
A
B =
。
13.
A ={1 ,2 ,3, 4,5,6
} , A
上二元关系 T {
x, y
| x y 是素数 } ,则用列举法
T
=
;T 的关系图为
,T 具有
性质。
14.
偏序集
A, R
的哈斯图为
,则R =
。
15.
设 A
{ x | x
2n , n N } ,定义 A 上的二元运算为普通乘法、
除法和加法, 则代数系统<
A,* >中运算 * 关于
运算具有封闭性。
16.
A,B , C 表示三个集合,文图中阴影部分的集合表达式为
。
A
B
0
1
0
1
V, E ,V
{v1 , v2
, v3 , v4
1
0
1
1
17.设图 G=
} 的邻接矩阵 A
1
0
,则 v1 的入度
1
0
1
0
0
0
deg (v1 ) =
, v4 的出度 deg
(v4 ) =
,从 v2 到 v4 的长度为 2
的路径有
条。
18.
结点数n ( n
3 )的简单连通平面图的边数为
m,则 m 与 n 的关系为
m =3 n- 6
。
19.
设 f,g 是自然数集 N 上的函数 x
N , f ( x) x 1 , g ( x) 2x ,则 f g( x)
。
20.
设I是整数集合,Z3 是由模 3
的同余类组成的同余类集,在 Z3
上定义+3
如 下 :
[i ] 3 [ j ] [( i
j ) mod 3] ,则 +3 的运算表为
;< Z +,+3是否构成群
。
集合 S={ α,β ,γ,δ}上的二元运算 * 为
*
α
β
γ
δ
α
δ
α
β
γ
β
α
β
γ
δ
γ
β
γ
γ
γ
δ α
那么,代数系统< S, * >中的幺元是
δ γ δ
,α的逆元是
。
22. 设<
{a,b ,c}, *
为代数系统,
*
运算如下:
* a b c
a a b c
b b a c
c c c c
则它的幺元为 ;零元为 。
23. 设A ={a
原创力文档


文档评论(0)