绪论 单元测试

1、 问题:“离散数学”是随着计算机的发展而产生的，相对于“连续”数学而得名。（ ）
选项：
A:对
B:错
答案: 【
对
】

2、 问题:

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

选项：
A:对
B:错
答案: 【
对
】

3、 问题:课程主要内容都是在计算机科学中有重要应用的数学知识。（ ）
选项：
A:对
B:错
答案: 【
对
】

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

5、 问题:以下不是以《离散数学》为先修课的课程是（）。（ ）
选项：
A:《数据结构》
B:《数据库原理》
C:《高等数学》
D:《操作系统》
答案: 【
《高等数学》
】

模块一 单元测试

1、 问题:“2+3=5 当且仅当 19 不是素数”的是真命题。（ ）
选项：
A:对
B:错
答案: 【
错
】

2、 问题:

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

选项：
A:对
B:错
答案: 【
错
】

3、 问题:

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

选项：
A:对
B:错
答案: 【
对
】

4、 问题:求命题公式Ø(p®q)Ùq 的主合取范式为：M0 Ù M1 Ù M2 Ù M3 ，则公式类型为（ ）。
选项：
A:重言式
B:矛盾式
C:可满足式
D:不确定
答案: 【
矛盾式
】

5、 问题:

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

选项：
A:真值表法
B:等值演算法
C:主析取范式法
D:构造证明法
答案: 【
真值表法
等值演算法
主析取范式法
构造证明法
】

模块二 单元测试

1、 问题:谓词公式 $x(F(x)ÙG(x,y)) 不是闭式 ，因为含有自由变元。（ ）
选项：
A:对
B:错
答案: 【
对
】

2、 问题:若谓词公式A在某些解释下均为真, 则称A为永真式(也叫逻辑有效式).（ ）
选项：
A:对
B:错
答案: 【
错
】

3、 问题:

谓词公式"x(F(x)®G(x))是可满足式。（ ）

选项：
A:对
B:错
答案: 【
对
】

4、 问题:

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

选项：
A:x(F(x) G(x))
B:x(F(x) G(x))
C:xy (F(x) G(y))
D:xy(F(x) G(y))
答案: 【
x(F(x) G(x))
xy(F(x) G(y))
】

本门课程剩余章节答案为付费内容
本文章不含期末不含主观题！！
本文章不含期末不含主观题！！
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦，电子资源购买后不支持退款哦
点我支付 ¥5
  已支付？输入手机号或商家订单号阅读