[工程科技]当前位置：离散数学在线教程首.pdf

离散数学 　　　　 当前位置：　离散数学在线教程　　　　　　　　　　　　 　 　　　　　　　　 　首页　学习空间　 　 　　 课程教学 离散数学绪论 集合论初步 关系与映射 代数系统基础 无限集 重言式 布尔代数及应用 群论基础 半群 图论基本概念 图的矩阵表示 Euler,Hamilton图 通路，回路，连通性 命题及连接词 命题公式 基本逻辑等价式 离散试卷 习题讲解 离散问题（集合论初步） 离散问题（函数，无限集） 离散问题（二元关系） 离散问题（代数系统） 离散问题（图论） 指导老师：李志林 淘花/文库专用 /ycjy/xxx/xuexikongjian/lssx/lsxs.htm2003-9-25 20:43:52 离散数学绪论 离散数学绪论 1．计算机科学与离散数学 计算机科学是与计算机软件硬件有关的各学科的总称,特点是离散性,离散数学是研究离散 量的结构及其相互间关系的一门学科。 【实例1】 布尔代数({0,1},+,*,~)在电子科学和数理逻辑中可得到具体解释。 【实例2 】 计算机中鼓轮的设计用到图论知识。 2 ．离散数学的特征 （1）研究离散量 （2 ）重视能行性的研究 3 ．离散数学的内容 淘花/文库专用 集合论初步 集合论初步 第一节 集合理论基础 1．集合的概念 一般认为，集合是一些确定的对象的全体，对象称为元素，若a是集合A 的元素，则记为a ∈A 集合的表示方法： （1）列举法：列举出元素。 （2 ）描述法：把元素的共同性质描述出来。 （3 ）谓次表示法：{x |P(x)} （借助一些逻辑记号）. 常见的集合： （1）空集：{ }或 （2 ）单元素集合：只含一个元素 （3 ）全集：所考虑的对象的全体 （4 ）常用记号：N, Z, Q, R等 2 ．集合的关系 【DEF1 】 若集合A , B 的元素相同，则称A , B是相等的，记为A=B ，否则A 和B是不相等的， 记为A ≠B 【DEF2 】若a ∈A 一定有a ∈B ，则称A 是B 的子集，记为 ，若 ，但是A ≠B ，则 称A 是B 的真子集，记为 . 3 ．集合的运算 【DEF1 】集合A 与B 的交集A ∩B={x |x ∈A 或x ∈B } 【DEF2 】并集A ∪B={ x|x ∈A 和x ∈B } 【DEF3 】A , B是分离的，若A ∩B= 【DEF4 】集合A对B 的差A-B= { x|x ∈A 和x B } 【DEF5 】集合A 的补集为全集E与A 的差，记为A’ 【DEF6 】集合A 与B 的对称差A ⊕B= （A-B ）∪（B-A ） 淘花/文库专用 集合论初步 集合的运算律如下： （1）交换律A ∩B=B ∩A ，A ∪B=B ∪A （2 ）结合律（A ∩B ）∩C=A ∩（B ∩C