离散数学全程导学及习题全解pdf.docVIP

离散数学全程导学及习题全解pdf 离散数学全程导学及习题全解pdf篇一：离散数学复习纲要2014.pdf ? 2013计算机1班 计算机科学与技术内部资料禁止外传 2015 年 1 月 第一章 离散数学复习纲要 1.命题的概念 2. 逻辑连接词 3. 命题的符号化与翻译 4.构造真值表 5.命题公式等价式与蕴含式 6.主析取范式、主合取范式 第二章 1.谓词公式翻译 2.量词辖域的收缩与扩张 3.前束范式 4.推理证明 第三章 1.集合与关系 2.基数、幂集、笛卡尔积 3.求关系矩阵、画关系图、关系的性质 4.等价关系、划分、等价类 5.商集、偏序关系、整除、=、哈斯图 第四章 1.函数 2.单射、满射、双射、映射的种类 3.函数的复合运算及其性质 4.双射的证明※ 第五章 1. 代数系统的概念，幺元零元逆元 2. 二元运算的性质，结合律交换律幂等律 3. 半群的概念，半群的验证，独异点 4. 群的概念，群的验证 5.阿贝尔群的概念，阿贝尔群的验证 第六章 1. 格的概念，格的判断，格的性质 2. 分配格的概念，分配格的判断，典型的非分配格 3. 有界格，有补格，逆元 4.布尔代数 第七章 1. 完全图不完全图，简单图多重图 2. 结点度数与边数的关系 3. 子图，生成子图 4. 路，迹，通路，回路，圈 5. 图的连通性，连通分支 6. 图的邻接矩阵，定长路径的判断 7. 欧拉图哈密尔顿图的判断，欧拉图的充要条件 8. 无向树的六个等价条件 9.根树的定义，完全 m 叉树中的数量关系，求最小生成树 答疑时间：21日上午9点——12点 地点：8#603A 1月13日上午9点——12点（需要预约） 说明：内容由王低调整理，仅供参考。 1 / 1 离散数学全程导学及习题全解pdf篇二：离散数学屈婉玲版课后习题 第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)? 0∨(0∧1) ?0 （2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0. （3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1） ? (0∧0∧0)?0 (4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1 17．判断下面一段论述是否为真：“?是无理数。并且，如果3是无理数，则2也是无理数。另外 6能被2整除，6才能被4整除。” 答：p: ?是无理数 1 2是无理数 1q: 3是无理数 0 r: s: 6能被2整除 1 t: 6能被4整除 0 命题符号化为： p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。 19．用真值表判断下列公式的类型： （4）(p→q) →(?q→?p) （5）(p∧r) ?(?p∧?q) （6）((p→q) ∧(q→r)) →(p→r) 答： （4） p q p→q ?q?p?q→?p (p→q)→(?q→?p) 0 01 111 1 0 11 011 1 1 00 100 1 1 11 001 1 所以公式类型为永真式 （5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答：(2)（p→(p∨q)）∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1 所以公式类型为永真式 (3) P qr p∨q p∧r （p∨q）→(p∧r) 0 0000 1 0 0100 1 0 1010 0 0 1110 0 10 010 0 10 111 1 11 010 0 11 111 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式： (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明（2）(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) （4）(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取