【离散数学】孙怀民.pdf
本书为处理离散型信息所必需的数学基础,全书共分:一、数理逻辑:二、集合论:三、图论:四,有限自 动机理论:五、代数系统等五篇,各篇的内容均侧重于基础理论的介绍,同时又适当联系上述各个领城在计算机 科学与工程技术方面的应用。本书可作为大学本科计算机专业“离散数学”课程的教科书,也可供广大计算机工 作者和爱好者自学或作参考.高散数学 LISAN SHUXUE 孙怀民店经销 北京农业工程大学印刷厂印装 787X10921/16.
目 第一篇 富数理逻辑 第一章命题演算 1引言基本概念 1逻辑联词与命题公式 1永真复合命题的刻画 15简化真值表法 1对偶定律 1命题公式的范式 第二章命题演算的推理理论 2命题演算的语义推理与语法推理 2命题演算的公理化方法 2命题演算的性质 第三章一阶请词 3谓词、客体和变元 3量词、约束变元和自由变元 3谓词代数 第四章一阶请词演算的推理理论 4谓词公式的语义解释 4语义学的论证*4一阶谓词演算的公理化方法4例题包含等关系的一阶谓词演算公理系统.*第五章机器推理技术 5.
第三篇图 第一章基本术语 1 引言 * 1有向图及无向图 *196 1 图的基本结构 *197 1子图 第二章连通性 2可达性2连通类 * 2顶点基和强分图 第三章有向图的矩阵表示 3邻接矩阵 * 3可达性矩阵 第四章树 4树的一般定义 * 4根树与有序树 4二元树.4生成树 4割集.第五章穿程问题 5欧拉图 5哈密顿图 第六章二分图的匹配问题 .6 基本概念 .6 二分图的最大匹配 6从X到Y的匹配 第七章平面图及色数 87. 
