离散数学(第29讲半期考试讲评).ppt

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn Tel:* * 计算机学院 * 主要内容 第一大题 1、只有不怕困难，才能战胜困难； 解： p：怕困难， q：战胜困难 q→?p or p→?q 完全答对： 37人 基本答对： 7人 完全答错：0 原因分析： 分不清楚命题和逻辑谓词之间表示的区别。 * 计算机学院 * 2、整数n 是偶数当且仅当n能被2整除.； 解：p:整数n是偶数，q:整数n能被2整除 p?q 完全答对： 26人 基本答对： 17人 完全答错：1 原因分析： 分不清楚命题和逻辑谓词之间表示的区别，没有注意到当且仅当是双条件命题。 * 计算机学院 * 3、发明家都是聪明的并且是勤劳的，王前进是发明家，所以王前进是聪明的并且是勤劳的； 解： F(x)：x是发明家，G(x)：x是聪明的，H(x)：x是勤劳的，a：王前进 (?x(F(x)→(G(x)∧H(x))) ∧F(a)?G(a)∧H(a) 完全答对： 7人 基本答对： 31人 完全答错：5 原因分析： 逻辑谓词的全称量词没有写，或者逻辑混淆。 * 计算机学院 * 4、若x与y都是实数，且 x＞y，则 x+2＞y+2； 解： F(x)：x是实数，H(x，y)：x＞y ?x?y(F(x)∧F(y)∧H(x,y)→H(x+2，x+2)) 完全答对： 20人 基本答对： 22人 完全答错：2 原因分析： 逻辑谓词的全称量词没有写。 * 计算机学院 * 5、不存在最大的自然数。 解： F(x)：x是实数，H(x，y)： x＞y ??x (F(x)∧?y(F(y)→H(x,y))) 或 ?x(F(x) →?y(F(y)∧?H(x,y))) 完全答对： 5人 基本答对： 24人 完全答错：15 原因分析： 逻辑谓词的存在量词和全称量词没有写，对这句话理解很多人不是很清楚。 * 计算机学院 * 第二大题 1、用等价变换法求下列公式的主析取范式和主合取范式 * 计算机学院 * 完全答对： 27人 基本答对： 5人 完全答错：12 原因分析：对命题公式不熟悉，计算错误。 * 计算机学院 * 2、求2A，其中A={?，a，{b}}； 解：2A= {?，{?},{a},{{b}},{?,a}，{?,{b}},{a，{b}},A} 完全答对： 35人 基本答对： 0人 完全答错：9 原因分析：典型错误是少写一个?，或{?}。 * 计算机学院 * 3、假设R的关系图如图所示，试给出r（R）、s（R）、t（R）的关系矩阵M（r（R））、M（s（R））、M（t（R））。 * 计算机学院 * * 计算机学院 * 完全答对： 14人 基本答对： 26人 完全答错：4 原因分析：没有根据图写出关系或关系矩阵R，对r（R）和s（R）错误较少，t（R）错误较多，可能是对warshall算法不了解或不熟悉。 * 计算机学院 * 4、如图是偏序集 的哈斯图，求X和≤的集合表达式， 并指出该偏序集的极大元、极小元、最大元、最小元。 解：X={a,b,c,d,e,f} ≤={〈a,b〉, 〈a,c〉, 〈a,d〉, 〈a,e〉, 〈a,f〉, 〈b,e〉, 〈c,e〉, 〈c,f〉, 〈d,f〉}∪IX 极大元e,f；极小元a；最大元不存在，最小元a； * 计算机学院 * 完全答对： 6人 基本答对： 33人 完全答错：5 原因分析：偏序关系写对的人很少，大部分写的是 ≤={〈a,b〉, 〈a,c〉, 〈a,d〉, 〈a,e〉, 〈a,f〉, 〈b,e〉, 〈c,e〉, 〈c,f〉, 〈d,f〉}缺少Ix * 计算机学院 * 5、设 求 * 计算机学院 * 完全答对： 32人 基本答对： 5人 完全答错：7 原因分析：如果按函数的算对的比较多，按关系的有一个，其他的错误是按函数算，但定义域没写对。 * 计算机学院 * 第三大题 1、用CP规则证明下面推理 前提: 结论: * 计算机学院 * 完全答对： 27人 基本答对： 11人 完全答错：6 原因分析：采用CP规则推理时，没有严格的按逻辑推理，有些关键步骤被省略，对推理中使用的规则使用不当。有些不了解ＣＰ规则。 * 计算机学院 * 2、用反证法证明下面推理 前提: