第一章 单元测试
1、单选题:
令p:我们划船。 q:我们跑步。命题“我们不能既划船又跑步”符号化为( )。
选项:
A:
B:
C:
D:
答案: 【】
2、单选题:
下面哪个语句是真命题?
选项:
A:如果1+2=3,那么雪是黑的。
B:如果1+2=3,那么雪是白的。
C:严禁吸烟。
D:我只知道一件事,那就是我什么都不知道。
答案: 【如果1+2=3,那么雪是白的。】
3、多选题:
令p:我将去镇上。 q:我有时间。命题“我将去镇上,仅当我有时间”符号化为( )。
选项:
A:
B:
C:
D:
答案: 【;】
4、单选题:
n个命题变元可以产生( )个具有不同真值的命题公式。
选项:
A:
B:
C:
D:
答案: 【】
5、单选题:
命题公式是( )。
选项:
A:重言式
B:不能确定
C:矛盾式
D:非重言式的可满足式
答案: 【重言式】
6、单选题:
下面命题公式中,( )与等值。
选项:
A:
B:
C:
D:
答案: 【
】
7、单选题:
下面联结词集中,不是联结词完备集的是( )。
选项:
A:
B:
C:
D:
答案: 【】
8、单选题:
若公式的主析取范式是 ,则其主合取范式是( )。
选项:
A:
B:
C:
D:
答案: 【】
9、单选题:
设A、C为两个命题公式,当且仅当( )为重言式时,称C可由A逻辑地推出。
选项:
A:
B:
C:
D:
答案: 【】
10、单选题:
下列推理定理中,( )是不正确的。
选项:
A:
B:
C:
D:
答案: 【】
第二章 单元测试
1、单选题:
设C(x):x是国家足球队选手。G(x):x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为( )。
选项:
A:
B:
C:
D:
答案: 【】
2、单选题:
设L(x):x是人。 J(x):x是花。 A(x,y):x喜欢y。 命题“有的人喜欢所有的花”符号化为( )。
选项:
A:
B:
C:
D:
答案: 【
】
选项:
A:
B:
C:
D:
答案: 【
】
4、单选题:
设论域为整数集,下列公式中值为真的是( )
选项:
A:
B:
C:
D:
答案: 【】
5、单选题:
设个体域A={a, b}, 公式在A上消去量词后应为( )
选项:
A:
B:
C:
D:
答案: 【】
6、单选题:
下列谓词公式中,( )是等值的。
选项:
A:
B:
C:
D:
答案: 【】
7、单选题:
下列谓词公式中,是逻辑有效式的是( )。
选项:
A:
B:
C:
D:
答案: 【】
8、单选题:
下列各式中哪个是正确的?
选项:
A:
B:
C:
D:
答案: 【】
9、单选题:
下列推理步骤错在( )。① P② ①US③ P④ ③ES⑤ ②④假言推理⑥ ⑤EG
选项:
A:②
B:⑥
C:④
D:⑤
答案: 【④
】
10、单选题:
下列推导错在( )。① P② ①US③ ②ES④ ③UG
选项:
A:无
B:④
C:②
D:③
答案: 【③】
第三章 单元测试
1、单选题:
设A={a, b},则P(A)×A = ( )。
选项:
A:
B:A
C:
D:P(A)
答案:
2、单选题:
设R和S是P上的关系,P是所有人的集合,,,则表示关系 ( )。
选项:
A:
B:
C:
D:
答案:
3、单选题:
集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y∈A},则R 的性质为( )。
选项:
A:传递的,对称的
B:传递的
C:对称的
D:自反的
答案:
4、单选题:
设R,S是集合A上的关系,则下列说法正确的是( )。
选项:
A:
若R,S 是反自反的, 则是反自反的。
B:
若R,S 是自反的, 则是自反的。
C:
若R,S 是对称的, 则是对称的。
D:
若R,S 是传递的, 则是传递的。
答案:
5、单选题:
设S={1,2,3},S上关系R的关系图如下 ,则R具有( )性质。
选项:
A:自反性、对称性、传递性
B:反自反性、反对称性
C:反自反性、反对称性、传递性
D:自反性
答案:
6、单选题:
集合A={1,2,3}上的下列关系矩阵中符合等价关系条件的是( )。
选项:
A:
B:
C:
D:
答案:
7、单选题:
设A={a,b,c,d},A上的等价关系R={<a, b>, <b, a>, <c, d>, <d, c>}∪IA,则对应于R的A的划分是( )。
选项:
A:{{a, b},{c}, {d}}
B:{{a},{b, c},{d}}
C:{{a},{b},{c},{d}}
D:{{a, b}, {c,d}}
答案:
8、单选题:
R={<1,4>,<2,3>,<3,1>,<4,3>},则下列不是t(R)中元素的是( )。
选项:
A:<1,3>
B:<1,4>
C:<1,2>
D:<1,1>
答案:
9、单选题:
设A={1,2,3,4},P(A)(A的幂集)上规定二元系,则P(A)/ R=( )。
选项:
A:P(A)
B:{[φ]R,[{1}]R,[{1,2}]R,[{1,2,3}]R,[{1,2,3,4}]R }
C:{[φ]R,[2]R,[2,3]R,[2,3,4]R,[A]R }
D:A
答案:
10、单选题:
集合A={1,2,3,4}上的偏序关系图如下所示,则它的哈斯图为( )。
选项:
A:
B:
C:
D:
答案:
11、单选题:
集合A={2,3,6,12,24,36}上偏序关系R的Hass图如右所示,则集合B={2,3,6,12}的上确界、B={2,3,6,12}的下界、C={6,12,24,36}的下确界、D={6,12,24,36}的上界分别是( )。
选项:
A:12,无,12,36
B:12,无,6,无
C:12,无,6,36
D:12,2,6,36
答案:
第四章 单元测试
1、单选题:
对右图,则分别为( )
选项:
A:1、1、1
B:2、2、1
C:1、1、2
D:1、2、2
答案:
2、单选题:
一棵树有7片树叶,3个3度结点,其余全是4度结点,则该树有( )个4度结点
选项:
A:1
B:2
C:4
D:3
答案:
3、单选题:
设G是有n个结点m条边的连通平面图,且有k个面,则k等于( )
选项:
A:n+m-2
B:m+n+2
C:n-m+2
D:m-n+2
答案:
4、单选题:
一棵无向树T有4度、3度、2度的分枝点各1个,其余顶点均为树叶,则T中有( )片树叶
选项:
A:4
B:5
C:3
D:6
答案:
5、单选题:
设V={a, b, c, d, e, f},E={<a,b>, <c,b>, <c,a>, <d,a>, <d,e>, <f,e>},则有向图G=<V, E>是( )
选项:
A:弱连通的
B:不连通的
C:单侧连通的
D:强连通的
答案:
6、单选题:
在Peterson图 中,至少填加( )条边才能构成哈密顿图
选项:
A:4
B:5
C:2
D:1
答案:
7、单选题:
下面那一个图可一笔画出( )
选项:
A:
B:
C:
D:
答案:
8、单选题:
下面给出的集合中,哪一个是前缀码?( )
选项:
A:{0,10,110,101111}
B:{1,11,101,001,0011}
C:{b,c,aa,ab,aba}
D:{01,001,000,1}
答案:
9、单选题:
二部图是( )。
选项:
A:平面图
B:完全图
C:哈密顿图
D:欧拉图
答案:
10、单选题:
具有6 个顶点,12条边的连通简单平面图中,一共有几个面?( )
选项:
A:8
B:6
C:7
D:5
答案:
第五章 单元测试
1、单选题:
设S={a,b},则S上总共可定义的二元运算的个数是( )。
选项:
A:16
B:32
C:4
D:8
答案:
2、单选题:
在自然数集N上,下列可结合的运算时( )。
选项:
A:a*b= a – b
B:a*b= |a – b|
C:a*b = max{a, b}
D:a*b = a + 2b
答案:
3、单选题:
Q为有理数集合,Q上定义运算*为a*b= a + b -ab, 则<Q, *>的幺元是( )。
选项:
A:b
B:0
C:a
D:1
答案:
4、单选题:
设I为整数集合,m是任意正整数,是由模m的同余类组成的同余类集合,在上定义运算,则代数系统最确切的性质是( )。
选项:
A:独异点
B:群
C:半群
D:封闭的代数系统
答案:
5、单选题:
设集合A={1,2,3,… ,10},下面定义的运算中关于集合A不封闭的是( )。
选项:
A: x*y = min{x, y}
B: x*y = max{x, y}
C:x*y = lcm(x, y),即x,y的最小公倍数
D:x*y = gcd(x, y),即x,y的最大公约数
答案:
6、单选题:
在有理数集Q上定义的二元运算*,有,则Q中满足( )。
选项:
A:时有逆元
B:所有元素都有逆元
C:所有元素都无逆元
D:只有唯一逆元
答案:
7、单选题:
设<{a , b , c},*>为代数系统,*运算如下:
* | a | b | c |
a | a | b | c |
b | b | a | c |
c | c | c | c |
则零元为( )。
选项:
A:a
B:c
C:b
D:无
答案:
8、单选题:
,其中S={1,2,3},为集合对称差运算,则方程的解为( )。
选项:
A:{1,2,3}
B:{1,3}
C:φ
D:{2,3}
答案:
9、单选题:
具有如下定义的代数系统<S, *>中,哪个不构成群( )。
选项:
A: S = {1,3,4,5,9}, *是模11乘法
B: S = Q(有理数集合), *是一般加法
C: S = Q(有理数集合), *是一般乘法
D:S={1, 10}, *是模11乘法
答案:
10、单选题:
对于模6加法运算,则下面的代数系统<A, >是群<Z6, >的子群的有( )。
选项:
A:A={0, 2,4}
B:A={0, 1, 2, 4}
C:A={0, 1, 3, 5}
D:A={1, 5}
答案:
11、单选题:
集合A={a,b,c,d},*的定义如下表所示,问:哪些表所确定的运算*,使<A,*>成为群?
选项:
A:
B:
C:
D:
答案:
请先
!