探秘离散数学智慧树知到答案章节测试2023年潍坊学院

绪论单元测试“离散数学”是随着计算机的发展而产生的，相对于“连续”数学而得名。（）

A:错

B:对

答案:B《离散数学》课程的学习对培养逻辑思维、抽象思维能力、知识应用能力以及了解计算机科学技术的产生和发展有重要作用。（）

A:错

B:对

答案:B课程主要内容都是在计算机科学中有重要应用的数学知识。（）

A:错

B:对

答案:B课程中的数理逻辑、集合论、图论、代数系统各部分内容都是相对独立的，没有任何联系。（）

A:对

B:错

答案:B以下不是以《离散数学》为先修课的课程是（）。（）

A:《操作系统》

B:《高等数学》

C:《数据结构》

D:《数据库原理》

答案:B模块一测试“2+3=5当且仅当19不是素数”的是真命题。（）

A:错

B:对

答案:A命题公式qÙØ(p®q)是矛盾式，所以主析取范式不存在。（）

A:对

B:错

答案:B附加前提证明法适用于结论为B®C的样式，可以把B附加引入当作前提使用。（）

A:对

B:错

答案:A求命题公式Ø(p®q)Ùq的主合取范式为：M0ÙM1ÙM2ÙM3，则公式类型为（）。

A:不确定

B:重言式

C:矛盾式

D:可满足式

答案:C常用证明命题推理是否正确的方法有（）。

A:构造证明法

B:真值表法

C:等值演算法

D:主析取范式法

答案:ABCD模块二测试谓词公式$x(F(x)ÙG(x,y))不是闭式，因为含有自由变元。（）

A:错

B:对

答案:B若谓词公式A在某些解释下均为真,则称A为永真式(也叫逻辑有效式).（）

A:错

B:对

答案:A谓词”x(F(x)®G(x))是可满足式。（）

A:对

B:错

答案:A下列公式是谓词公式xF(x)xG(x)的前束范式的是（）。（）

A:x(F(x)G(x))

B:xy(F(x)G(y))

C:xy(F(x)G(y))

D:x(F(x)G(x))

答案:CD对谓词公式”x(F(x,y)®G(x,z))，以下说法正确的是（）。

A:第一个x为指导变元

B:辖域中x的出现均为约束出现

C:y与z均为自由出现.

D:(F(x,y)®G(x,z))为”的辖域

答案:ABCD模块三测试设A={{1，2，3}，{4，5}，{6，7，8}}，下列各式中（）是错的。

A:A

B:{{4，5}}A

C:{1，2，3}A

D:{6，7，8}A

答案:C设A=,B={,{}}，则B－A是（）。

A:{{}}

B:{}

C:{,{}}

D:

答案:C已知A，B，C为任意集合，若A∪B=A∪C，则B=C。（）

A:错

B:对

答案:A设A，B为任意集合，不能AB且AB。（）

A:对

B:错

答案:B若|A|=3，则|P(A)|=8。（）

A:错

B:对

答案:B模块四测试设<A，≤>是偏序集，BA，则B的极大元bB且唯一。（）

A:对

B:错

答案:B若集合A上的关系R是对称的，则R的逆也是对称的。（）

A:错

B:对

答案:B整数集上的不等关系（≠）可确定A的一个划分。（）

A:对

B:错

答案:B设集合A、B、C为任意集合，若A×B=A×C，则B=C。（）

A:错

B:对

答案:A设R={<1,2>,<1,3>}，则R具有传递性。（）

A:错

B:对

答案:B模块五测试设f和g都是X上的双射函数，则等于。（）

A:对

B:错

答案:B集合A上的恒等关系是一个双射函数。（）

A:错

B:对

答案:B在一个有n个元素的集合上，有种不同的函数。（）

A:对

B:错

答案:A设函数f：A→B,A1A，B1B，则函数值f(x)∈B，而像f(A1)B。（）

A:对

B:错

答案:A设A={1,2,3,4,5}，B={6,7,8,9,10}，函数f：A→B，则f={<1,8>,<3,9>,<4,10>,<2,6>,<5,9>}是单射的。（）

A:错

B:对

答案:A模块六测试k-正则图的每个顶点的度数都相等且为k。（）

A:错

B:对

答案:B没有多重边的图是简单图。（）

A:错

B:对

答案:A含5个结点，4条边的无向连通图（不同构）有3个。（）

A:错

B:对

答案:B设V={a,b,c,d,e,f}，E={<a,b>,<b,c>,<c,a>,<a,d>,<d,e>,<f,e>}，则有向图G=<V,E>是（）。

A:不连通的

B:单向连通的

C:弱连通的

D:强连通的

答案:C在任何图中必定有偶数个的是（）。

A:度数为奇数的结点

B:度数为偶数的结点

C:出度为奇数的结点

D:入度为奇数的结点

答案:A模块七测试下列图中（）是根树。

A:G3=<{a,b,c,d}，{<a,b>,<a,d>,<c,a>}>

B:G1=<{a,b,c,d}，{<a,a>,<a,b>,<c,d>}>

C:G2=<{a,b,c,d}，{<a,b>,<b,d>,<c,d>}>

D:G4=<{a,b,c,d}，{<a,a>,<c,b>,<c,d>}>

答案:A一棵无向树T有8个顶点，4度、3度、2度的分支点各1个，其余顶点均为树叶，则T中有5片树叶。（）

A:错

B:对

答案:B图G中的每条边都是割边，则G必是树。（）

A:错

B:对

答案:A一条回路和任何一棵生成树至少有一条公共边。（）

A:错

B:对

答案:A给定权值相同的哈夫曼树是唯一的。（）

A:错

B:对

答案:A模块八测试能一笔画出的图不一定是欧拉图。（）

A:错

B:对

答案:A不可能有偶数个结点，奇数条边的欧拉图。（）

A:错

B:对

答案:A如果一个有向图D是欧拉图，则D是强连通图。（）

A:对

B:错

答案:A完全二部图Kr,s（r,s≥2且为偶数）中的欧拉回路共含rs条边。（）

A:对

B:错

答案:A图的经典问题“哥尼斯堡七桥问题”与以下哪种图有关（）。

A:欧拉图

B:分离图

C:二部图

D:哈密顿图

答案:A模块九测试设S={1,3,4,12}，任给x,yS,x◦y=lcm(x,y),x∗y=gcd(x,y),其中lcm是求最小公倍数，gcd是求最大公约数.则代数系统,<S,◦,∗>是布尔代数。（）

A:对

B:错

答案:A设S={0,1,2}，◦是模3加法，∗是模3乘法.则代数系统,<S,◦,∗>是布尔代数。（）

A:对

B:错

答案:B两个代数系统同构，首先必须是同类型的代数系统。（）

A:对

B:错

答案:A