《计算机科学导论》第11章 离散结构.pptVIP

第11章 离散结构 本章要点： ◆离散结构的研究对象及主要内容 ◆数理逻辑与简单推理 ◆集合论基础知识 ◆代数结构 ◆图论基本知识 ◆离散概率 ◆数值分析特点与方法 ◆运筹学概念与步骤 ◆数学建模与计算机模拟的概念与步骤 11.1离散结构的研究对象及主要内容 1.研究对象 离散数量关系以及离散系统结构的数学模型以及建模方法 。 2.研究的主要内容 传统离散数学包含的数理逻辑、集合论、代数结构和图论等四个部分，以及计算机应用对象的离散结构的研究，离散概率、运筹学、数值计算、数学建模与模拟等。 11.2 数理逻辑 1.命题逻辑 离散数量关系以及离散系统结构的数学模型以及建模方法 。 命题 在数理逻辑中，称能够分辨真假、但不能同时既真又假的陈述句为命题 。 原子命题 在命题中，有些命题是简单的陈述句，并且它们不能够被分成更为简单的陈述语句，这样的命题称为简单命题，或者原子命题。 11.2 数理逻辑 (2) 复合命题 一个简单命题再加上了一个表示否定的连接词形成的复合命题。 简单命题与复合命题都可以用简单的英文字母来表示。 [例] 用Q表示命题：8是奇数！ 用P表示命题：李平不是学生。 构成复合命题的连接词 ① 否定连接词，记作“ ” ② 合取连接词，也称“与”，记作“∧” ③ 或取连接词，也称“或”，记作“∨” ④ 蕴涵连接词，也称“条件”，记作“→” ⑤ 等价连接词，也称“双条件”，记作“ ” 11.2 数理逻辑 命题公式 命题常元、命题变元与各种逻辑连接词组合形成的更为复杂的命题，就可以称为命题公式，又叫做合式公式。 命题常元 单个的已知命题(可以是具体的命题、常真命题、常假命题) 。 (2) 命题变元 不代表具体命题的、但是取值范围仍然为“真”与“假”或“1”与“0”的符号表示的命题 。 11.2 数理逻辑 等值演算 命题常元、命题变元与各种逻辑连接词组合形成的更为复杂的命题，就可以称为命题公式，又叫做合式公式。 重言式 如果对命题公式A中命题变元的一切指派，A的真值均为真，则称命题公式A为重言式，重言式又称永真式。 (2) 等价式 设A,B为两个命题公式，若等价式A B是重言式，则称A逻辑等价于B，或A与B是等值的，记作A B。A B不是命题公式。 11.2 数理逻辑 命题推理 推理是从前提出发推出结论的思维过程，前提是已知的命题公式，结论是从前提出发应用推理规则推出的命题公式。 真值表法 等价证明法 构造证明法 11.2 数理逻辑 [例] 证明P∨Q和 Q的结论是P。 证明：只需证明(P∨Q)∧ Q→P是重言式。 ① 真值表法 按真值表的构造步骤，构造真值表如下： 11.2 数理逻辑 [例] 证明P∨Q和 Q的结论是P。 证明：只需证明(P∨Q)∧ Q→P是重言式。 ② 等价证明法 (P∨Q)∧ Q→P (P∨ Q) ∨ Q ∨ Q)→P (P∨ Q)→P P∨Q ∨P T∨Q T 11.2 数理逻辑 [例]证明：p→r, q→s, p∨q ? r∨s 。 证明： ③ 构造证明法 1) p→r 前提 2) p∨r 1) 等价置换 3) r∨ p 2) 等价置换 4) r → p 3) 等价置换 5) p∨q 前提 6) p∨ q 5) 等价置换 7) p →q 6) 等价置换 8) r →q 4)7)假言三段论 9) q→s 前提 10) r →s 8)9)假言三段论 11) r∨s 10) 等价置换 11.2 数理逻辑 2.谓词逻辑