本课程的教学内容分为三个单元，其中第三单元的名称是（ ）．
A. 数理逻辑
B. 集合论
C. 图论
D. 谓词逻辑
【答案】：A
本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其中第2章关系与函数中的第3个知识点的名称是（ ）．
A. 函数
B. 关系的概念及其运算
C. 关系的性质与闭包运算
D. 几个重要关系
【答案】：D
本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（ ）讲．
A. 18
B. 20
C. 19
D. 17
【答案】：B
本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（ ）．
A. 集合恒等式与等价关系的判定
B. 图论部分书面作业
C. 集合论部分书面作业
D. 网上学习问答
【答案】：微信号：zuoye580
课程学习平台左侧第1个版块名称是：（ ）．
A. 课程导学
B. 课程公告
C. 课程信息
D. 使用帮助
【答案】：微信号：zuoye580
课程学习平台右侧第5个版块名称是：（ ）．
A. 典型例题
B. 视频课堂
C. VOD点播
D. 常见问题
【答案】：微信号：zuoye580
“教学活动资料”版块是课程学习平台右侧的第（ ）个版块．
A. 6
B. 7
C. 8
D. 9
【答案】：微信号：zuoye580
课程学习平台中“课程复习”版块下，放有本课程历年考试试卷的栏目名称是：（ ）．
A. 复习指导
B. 视频
C. 课件
D. 自测
【答案】：微信号：zuoye580
设集合A = {1, a }，则P(A) = ( )．
A. {{1}, {a}}
B. {,{1}, {a}}
C. {{1}, {a}, {1, a }}
D. {,{1}, {a}, {1, a }}
【答案】：微信号：zuoye580
集合A={1, 2, 3, 4}上的关系R={
A. 不是自反的
B. 不是对称的
C. 传递的
D. 反自反
【答案】：微信号：zuoye580
若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．
A. {a，{a}}A
B. {1，2}A
C. {a}A
D. A
【答案】：微信号：zuoye580
设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2, 1>，<3, 1>}，
则h =（ ）．
A. f?g
B. g?f
C. f?f
D. g?g
【答案】：微信号：zuoye580
设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（ ）闭包．
A. 自反
B. 传递
C. 对称
D. 自反和传递
【答案】：微信号：zuoye580
若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．
A. AB，且AB
B. BA，且AB
C. AB，且AB
D. AB，且AB
【答案】：微信号：zuoye580
设集合A={1，2，3，4，5}，偏序关系￡是A上的整除关系，则偏序集
A. 最大元
B. 最小元
C. 极大元
D. 极小元
【答案】：微信号：zuoye580
若集合A的元素个数为10，则其幂集的元素个数为（ ）．
A. 1024
B. 10
C. 100
D. 1
【答案】：微信号：zuoye580
如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（ ）个．
A. 0
B. 2
C. 1
D. 3
【答案】：微信号：zuoye580
设集合A={a}，则A的幂集为( )．
A. {{a}}
B. {a，{a}}
C. {，{a}}
D. {，a}
【答案】：微信号：zuoye580
设A、B是两个任意集合，侧A-B = ?? ( )．
A. A=B
B. AíB
C. AêB
D. B=?
【答案】：微信号：zuoye580
若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．
A. {a，{ a }}?A
B. ??A
C. {2}?A
D. { a }íA
【答案】：微信号：zuoye580
集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={
A. 自反的
B. 对称的
C. 传递且对称的
D. 反自反且传递的
【答案】：微信号：zuoye580
设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（ ）．
A. 2
B. 3
C. 6
D. 8
【答案】：微信号：zuoye580
设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={
A. f°g ={
B. g° f ={
C. f°g ={<5，a >, <4，b >}
D. g° f ={<5，a >, <4，b >}
【答案】：微信号：zuoye580
设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为 ( )．
A. 8、2、8、2
B. 8、1、6、1
C. 6、2、6、2
D. 无、2、无、2
【答案】：微信号：zuoye580
设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={
A.
{<2, 3>, <4, 5>, <6, 7>}
B.
{<2, 1>, <4, 3>, <6, 5>}
C.
{<2, 1>, <3, 2>, <4, 3>}
D. {<2, 2>, <3, 3>, <4, 6>}
【答案】：微信号：zuoye580
设函数f：N?N，f(n)=n+1，下列表述正确的是（ ）．
A. f存在反函数
B. f是双射的
C. f是满射的
D. f 是单射函数
【答案】：微信号：zuoye580
设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如右图所示，若A的子集B = {3, 4, 5}，则元素3为B的（ ）．
A. 下界
B. 最小上界
C. 最大下界
D. 最小元
【答案】：微信号：zuoye580
设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．
A. {1, 2, 3, 4}
B. {1, 2, 3, 5}
C. {2, 3, 4, 5}
D. {4, 5, 6, 7}
【答案】：微信号：zuoye580
无向树T有8个结点，则T的边数为( )．
A. 6
B. 7
C. 8
D. 9
【答案】：微信号：zuoye580
图G如图三所示，以下说法正确的是 ( ) ．
A. {(a, d)}是割边
B. {(a, d)}是边割集
C. {(a, d) ,(b, d)}是边割集
D. {(b, d)}是边割集
【答案】：微信号：zuoye580
设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )．
A. （a）只是弱连通的
B. （b）只是弱连通的
C. （c）只是弱连通的
D. （d）只是弱连通的
【答案】：微信号：zuoye580
如图一所示，以下说法正确的是 ( ) ．
A. {(a, e)}是割边
B. {(a, e)}是边割集
C. {(a, e) ,(b, c)}是边割集
D. {(d, e)}是边割集
【答案】：微信号：zuoye580
设G是有n个结点，m条边的连通图，必须删去G的( )条边，才能确定G的一棵生成树．
A. m-n+1
B. m-n
C. m+n+1
D. n-m+1
【答案】：微信号：zuoye580
设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．
A. e－v＋2
B. v＋e－2
C. e－v－2
D. e＋v＋2
【答案】：微信号：zuoye580
设无向图G的邻接矩阵为，则G的边数为( )．
A. 6
B. 5
C. 4
D. 3
【答案】：微信号：zuoye580
如图所示，以下说法正确的是 ( )．
A. e是割点
B. {a, e}是点割集
C. {b, e}是点割集
D. {d}是点割集
【答案】：微信号：zuoye580
无向简单图G是棵树，当且仅当( )．
A. G连通且边数比结点数少1
B. G连通且结点数比边数少1
C. G的边数比结点数少1
D. G中没有回路．
【答案】：微信号：zuoye580
以下结论正确的是( )．
A. 无向完全图都是欧拉图
B. 有n个结点n－1条边的无向图都是树
C. 无向完全图都是平面图
D. 树的每条边都是割边
【答案】：微信号：zuoye580
图G如图二所示，以下说法正确的是 ( )．
A. a是割点
B. {b, c}是点割集
C. {b, d}是点割集
D. {c}是点割集
【答案】：微信号：zuoye580
无向图G存在欧拉回路，当且仅当（ ）.
A. G中所有结点的度数全为偶数
B. G中至多有两个奇数度结点
C. G连通且所有结点的度数全为偶数
D. G连通且至多有两个奇数度结点
【答案】：微信号：zuoye580
无向完全图K4是（ ）．
A. 欧拉图
B. 汉密尔顿图
C. 非平面图
D. 树
【答案】：微信号：zuoye580
设图G＝
A. deg(v)=2|E|
B. deg(v)=|E|
C.
D.
【答案】：微信号：zuoye580
若G是一个汉密尔顿图，则G一定是( )．
A. 平面图
B. 对偶图
C. 欧拉图
D. 连通图
【答案】：微信号：zuoye580
设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )．
图四
A. （a）是强连通的
B. （b）是强连通的
C. （c）是强连通的
D. （d）是强连通的
【答案】：微信号：zuoye580
若G是一个欧拉图，则G一定是( )．
A. 平面图
B. 汉密尔顿图
C. 连通图
D. 对偶图
【答案】：微信号：zuoye580
已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．
A. 8
B. 5
C. 4
D. 3
【答案】：微信号：zuoye580
设无向图G的邻接矩阵为
，
则G的边数为( )．
A. 1
B. 6
C. 7
D. 14
【答案】：微信号：zuoye580
已知无向图G的邻接矩阵为，则G有（ ）．
A. 5点，8边
B. 6点，7边
C. 6点，8边
D. 5点，7边
【答案】：微信号：zuoye580
命题公式的析取范式是( )．
A.
B.
C.
D.
【答案】：微信号：zuoye580
设个体域为整数集，则公式”x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
【答案】：微信号：zuoye580
下列公式成立的为( )．
A. ?Pù?Q ? PúQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pù(PúQ)TQ
【答案】：微信号：zuoye580
下列公式中 ( )为永真式．
A. ?Aù?B ? ?Aú?B
B. ?Aù?B ? ?(AúB)
C. ?Aù?B ? AúB
D. ?Aù?B ? ?(AùB)
【答案】：微信号：zuoye580
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．
A.
B.
C.
D.
【答案】：微信号：zuoye580
命题公式(PúQ)?R的析取范式是 ( )
A. ?(PúQ)úR
B. (PùQ)úR
C. (PúQ)úR
D. (?Pù?Q)úR
【答案】：微信号：zuoye580
命题公式（PúQ）的合取范式是 ( )．
A. （PùQ）
B. （PùQ）ú（PúQ）
C. （PúQ）
D. ?（?Pù?Q）
【答案】：微信号：zuoye580
设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
【答案】：微信号：zuoye580
命题公式P?Q的主合取范式是( )．
A. (PúQ)ù(Pú?Q)ù(?Pú?Q)
B. ?PùQ
C. ?PúQ
D. Pú?Q
【答案】：微信号：zuoye580
下列等价公式成立的为( )．
A. ?PùP ??QùQ
B. ?Q?P?P?Q
C. PùQ?PúQ
D. ?PúP ?Q
【答案】：微信号：zuoye580
命题公式(PúQ)?Q为( )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
【答案】：微信号：zuoye580
在谓词公式(“x)(A(x)→B(x)úC(x，y))中，（ ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
【答案】：微信号：zuoye580
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）．
A. ?(x)(A(x)ù?B(x))
B. (“x)(A(x)ùB(x))
C. ?(“x)(A(x)?B(x))
D. (x)(A(x)ùB(x))
【答案】：微信号：zuoye580
下列公式 ( )为重言式．
A. ?Pù?Q?PúQ
B. (Q?(PúQ)) ?(?Qù(PúQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pú(PùQ)) ?Q
【答案】：微信号：zuoye580
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．
A. ┐(“x)(A(x)→B(x))
B. ?(x)(A(x)ùB(x))
C. (“x)(A(x)∧B(x))
D. ?(x)(A(x)ù?B(x))
【答案】：微信号：zuoye580
设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为 ．
A. (A(a)úA(b)úA(c))ú(B(a)ùB(b)ùB(b))
B. (A(a)ùA(b)ùA(c))ú(B(a)úB(b)úB(b))
C. (A(a)úA(b)úA(c))ú(B(a)úB(b)úB(b))
D. (A(a)ùA(b)ùA(c))ú(B(a)ùB(b)ùB(b))
【答案】：微信号：zuoye580
前提条件的有效结论是( )．
A. P
B. ?P
C. Q
D. ?Q
【答案】：微信号：zuoye580
表达式中的辖域是( )．
A. P(x, y)
B. P(x, y)úQ(z)
C. R(x, y)
D. P(x, y)ùR(x, y)
【答案】：微信号：zuoye580
设个体域D是整数集合，则命题”x$y (x×y = y)的真值是（ ）．
A. T
B. F
C. 不确定
D. 以上说法都不是
【答案】：微信号：zuoye580
