离散数学——微课视频版

目录 **篇数 理 逻 辑 第1章命题逻辑 1．1命题及其结构 1．2联结词与命题公式 1．2．1联结词及翻译 1．2．2逻辑联结词应用 1．2．3命题公式 1．3真值表与等价式 1．3．1真值表定义及应用 1．3．2等价式 1．4范式与主范式 1．4．1析取范式和合取范式 1．4．2布尔合取项和布尔析取项 1．4．3主析取范式和主合取范式 1．4．4编码转换 1．5命题推理 1．5．1推理理论 1．5．2推理方法 1．6命题逻辑应用 1.7本章小结 1．8习题 第2章谓词逻辑 2．1谓词与量词 2．1．1谓词与客体 2．1．2量词 2．1．3命题符号化为谓词 2．1．4量词的作用域 2．2谓词公式与谓词公式的类型 2．2．1谓词公式概述 2．2．2谓词公式等价式与蕴含式 2．2．3谓词公式类型 2．3前束范式 2．4谓词演算的推理理论 2．5谓词应用 2．5．1谓词在集合定义上的应用 2．5．2谓词逻辑在逻辑程序设计语言中的应用 2．5．3谓词在关系数据库中的应用 2．5．4谓词逻辑在知识中的应用 2．6本章小结 2．7习题 **篇知识结构总结 第二篇集合论 第3章集合与关系 3．1子集与全集 3．2集合的运算 3．3关系 3．3．1笛卡儿积 3．3．2关系及其表示 3．3．3集合上关系的性质 3．4关系的运算 3．4．1关系的逆运算 3．4．2关系的复合运算 3．4．3关系的闭包运算 3．5集合在关系数据库查询中的应用 3.6本章小结 3．7习题 第4章特殊关系及应用 4．1集合的划分 4．2等价关系与等价类 4．2．1等价关系 4．2．2等价类 4．2．3等价关系与集合划分之间的关系 4．2．4等价关系的应用案例 4．3偏序关系 4．3．1偏序关系的定义 4．3．2哈斯图 4．3．3偏序集中的特殊元素 4．3．4特殊偏序集——良序集和全序集 4．3．5偏序关系在项目管理中的应用 4．4函数关系 4．4．1函数 4．4．2特殊函数 4．4．3函数的运算 4．4．4函数的应用 4．5无限集合基数的比较与表示 4．5．1无限集合等势的证明 4．5．2可数集和不可数集 4．6本章小结 4．7习题 第二篇知识结构总结 第三篇代 数 系 统 第5章代数结构 5．1代数结构及运算 5.1.1代数系统 5.1.2二元运算 5．2代数系统中的特殊元素 5．3基本代数系统 5．4特殊代数系统 5．4．1群 5．4．2子群 5．4．3交换群(阿贝尔群) 5．4．4循环群 5．5陪集与拉格朗日定理 5．6同态与同构 5．7群的应用 5．8本章小结 5．9习题 第6章格与布尔代数 6．1格代数 6．2格的性质 6．3分配格 6．4有界格 6．5布尔格与布尔代数 6．5．1布尔格 6．5．2布尔代数 6．5．3布尔表达式 6．602 元的布尔运算 6．7本章小结 6．8习题 第三篇知识结构总结 第四篇图论 第7章图论基础 7．1图的基本概念 7．2补图与子图 7．2．1补图 7．2．2子图 7．2．3相对补图 7．2．4图的同构 7．3路、回路、图的连通性 7．3．1路与回路 7．3．2图的连通性 7．3．3无向图的割集 7．4图的矩阵表示 7．4．1邻接矩阵 7．4．2可达性矩阵 7．4．3关联矩阵 7．5欧拉图和汉密尔顿图 7．5．1欧拉图 7．5．2有向图的单向欧拉回路 7．5．3汉密尔顿图 7．6平面图 7．6．1基本概念 7．6．2平面图的性质 7．6．3平面图的判定 7.6.4平面性算法 7．7对偶图和图的着色 7．7．1对偶图 7．7．2图的着色 7．8二分图 7．8．1二分图的基本概念及性质 7．8．2二分图的应用 7．9图在计算机领域中的应用 7．9．1应用一： 网络布线 7．9．2应用二： 寄存器分配技术 7．10本章小结 7．11习题 第8章树 8．1无向树 8．1．1定义和性质 8．1．2生成树 8．1．3*小生成树 8．2有向树 8．2．1基本定义 8．2．2m叉树 8．2．3*优树 8.2.4*优三叉树求法(三小结合溯根法) 8.2.5*优二叉树及哈夫曼编码代码实现 8．3哈夫曼树在文本文件压缩中的应用 8.4本章小结 8．5习题 第四篇知识结构总结 参考文献