离散数学教材（计算机专业基础课程）.pptVIP

离 散 数 学;《离散数学》(修订版)耿素云、屈婉玲, 高等教育出版社, 2004年;… 根据作者的教学经验, 本教材要在160学时内完成全部教学内容. 如果采用120学时的教学计划, 可略去第9章, 第12章, 第18章和第11章的部分内容. 软件学院的教学计划是一个学期讲解《离散数学》, 有: 18周?4学时/周, 共72学时. 如果遇到节假日, 可能还会减少2学时, 习题课还需用掉10左右学时, 用于讲课的时间可能在60学时左右. 所以, 计划讲解第二部分和第四部分的主要内容.;教材目录;第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑的推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理;有事可以随时离开教室； 请将手机调为震动； 如果铃声真的响了，请不要在课上接 ； 如果实在想接，goto 1;第六章 集合代数 第七章 二元关系 第八章 函数 第九章 集合的基数;6.1 集合的基本概念 6.2 集合的运算 6.3 集合恒等式;6.1 集合的基本概念;集合有三种表示方法:列元素法、谓词表示法和图示法.;集合的元素是彼此不同的.;元素(Element)和集合之间的隶属关系: “属于”或“不属于”.“属于”关系记作?, “不属于”记作?. 例如: A = { a, { b, c }, d, { { d } } }. 　　a?A, { b, c }?A, d?A, { { d } }?A, 　　b?A, { d }?A. 　　b和{ d }是A元素的元素. 为了体系的严谨性, 规定: 对任何集合A, 都有: A?A.;如果B不被A包含, 则记作B ? A. 包含的符号化表示为 B ? A ? ?x(x?B ? x?A) 例如: N ? Z ? Q ? R ? C, 但, Z ? N. 显然, 对任何集合A, 都有: A ? A. 包含关系表示集合之间的关系; 隶属关系表示元素和集合之间的关系, 但也可表示某些集合之间关系. 如: { a }?{ a, { a } }, { a } ? { a, { a } };定义 设A和B为集合, 如果A ? B且B ? A, 则称A与B相等, 记作: A = B.;定义 不含任何元素的集合叫做空集, 记作: ?.;例6.1 A = { 1, 2, 3 }, 将A的子集分类: ;全集是有相对性的, 不同的问题有不同的全集, 即使是同一个问题也可以取不同的全集. 例如:在研究平面上直线的相互关系时, 可把整个平面上所有点的集合看作全集, 也可把整个空间上所有点的集合看作全集. 一般地说, 全集取得小一些, 问题???描述和处理会简单些.;集合的基本运算有并(Union), 交(Intersection)和相对补(Relative Complement).;n个集合的并和交:;例如 A = { a, b, c }, B = { b, d }, 则: A?B={ a, c, d } 对称差运算的另一种定义是 A ? B = (A∪B) - (B∩A) 在给定全集E以后, A ? E, A的绝对补集~A定义如下:;E;例6.2 对24名人员掌握外语情况的调查.其统计结果如下: ;41;定理6.2(包含排斥原理) 设S为有穷集, P1, P2, …, Pm是m个性质.S中的任何元素x或者具有性质Pi, 或者不具有性质Pi(i=1..m), 两种情况必居其一.令Ai表示S中具有性质Pi的元素构成的子集, 则S中不具有性质P1, P2, …, Pm的元素数为:;推论 S中至少具有一条性质的元素数为;定义 设A为集合, A的元素的元素构成的集合称为A的广义并, 记为∪A.符号化表示为: ∪A = { x | ?z(z?A∧x?z) };例6.4: A = { {a, b, c}, { a, c, d }, { a, e, f } } B = { {a} } C = { a, { c, d } } 　　有: ∩A = { a }, ∩B = { a }, ∩C = a∩{ c, d };称广义并, 广义交, 幂集, 绝对补运算为一类运算, 并, 交, 相对补和对称差运算为二类运算.;例6.5 设 A = { { a }, { a, b } }, 计算∪∪A, ∩∩A和∩∪A∪(∪∪A - ∪∩A).;幂等率 – Idempotent Laws A∪A = A (6.1) A∩A = A (6.2) 结合律 – Associative Laws (A∪B)∪C = A∪(B∪C) (6.3) (A∩B)∩C = A∩(B∩C) (6.4) 交换律 – Commutative La