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

探秘离散数学知到章节测试答案智慧树2023 年最新潍坊学院 绪论单元测试 1. “离散数学”是随着计算机的发展而产生的，相对于“连续”数学而得名。（） 参考答案: 对 2. 《离散数学》课程的学习对培养逻辑思维、抽象思维能力、知识应用能力以 及了解计算机科学技术的产生和发展有重要作用。（ ） 参考答案: 对 3. 课程主要内容都是在计算机科学中有重要应用的数学知识。（ ） 参考答案: 对 4. 课程中的数理逻辑、集合论、图论、代数系统各部分内容都是相对独立的， 没有任何联系。（ ） 参考答案: 错 5. 以下不是以《离散数学》为先修课的课程是（）。（） 参考答案: 《高等数学》 模块一测试 1. “2+3=5当且仅当 19不是素数”的是真命题。（） 参考答案: 错 2. 命题公式 qÙØ(p®q)是矛盾式，所以主析取范式不存在。（） 参考答案: 错 3. 附加前提证明法适用于结论为B®C的样式，可以把B 附加引入当作前提使 用。（） 参考答案: 对 4. 求命题公式Ø(p®q)Ùq的主合取范式为：M Ù M Ù M Ù M，则公式类型 0 1 2 3 为（）。 参考答案: 矛盾式 5. 常用证明命题推理是否正确的方法有（ ）。 参考答案: 构造证明法;真值表法;等值演算法;主析取范式法 模块二测试 1. 谓词公式 $x(F(x)ÙG(x,y))不是闭式，因为含有自由变元。（） 参考答案: 对 2. 若谓词公式A 在某些解释下均为真,则称A 为永真式(也叫逻辑有效式). （） 参考答案: 错 3. 谓词x(F(x)®G(x))是可满足式。（） 参考答案: 对 4. 下列公式是谓词公式 xF(x) xG(x) 的前束范式的是（）。（） 参考答案: x y(F(x) G(y));x(F(x) G(x)) 5. 对谓词公式x(F(x,y)®G(x,z))，以下说法正确的是（）。 参考答案: 第一个x 为指导变元;辖域中x 的出现均为约束出现;y与 z均为自由出 现.;(F(x,y)®G(x,z))为的辖域 模块三测试 1. 设A={{1，2，3}，{4，5}，{6，7，8}}，下列各式中（）是错的。 参考答案: {1，2，3} A 2. 设A= ,B={ ,{ }}，则B－A 是（）。 参考答案: { ,{ }} 3. 已知 A，B，C为任意集合，若A∪B=A∪C，则B=C。（） 参考答案: 错 4. 设A，B为任意集合，不能A B且A B。（） 参考答案: 错 5. 若|A|=3，则|P(A)|=8。（） 参考答案: 对 模块四测试 1. 设A，≤是偏序集，B A，则B 的极大元b B且唯一。（ ） 参考答案: 错 2. 若集合A 上的关系R是对称的，则R 的逆也是对称的。（） 参考答案: 对 3. 整数集上的不等关系（≠）可确定A 的一个划分。（） 参考答案: 错 4. 设集合A、B、C为任意集合，若A×B=A×C，则B=C。（） 参考答案: 错 5. 设R={1,2,1,3}，则R具有传递性。（） 参考答案: 对 模块五测试 1. 设f和g都是X 上的双射函数，则 等于 。（）