离散数学
2006-8
北京邮电大学出版社
景晓军、孙松林、高玉芳
本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。全书共分四部分，第一部分为数理逻辑，包括命题逻辑与谓词逻辑；第二部分为集合论，包括集合、二元关系与函数；第三部分为代数结构，主要介绍代数系统的基本概念与性质，群、环和域，格及布尔代数；第四部分为图论，包括图的基本概念、一些特殊图及树。
本书凝聚了作者多年教学经验的结晶，行文概念清晰、叙述严谨、内容翔实而又重点突出，是一本难得的上佳之作。本书既可以作为高等院校计算机科学与技术及相关专业的本、专科教材，也可供相关专业的自学考试人员、科研人员等参考。
第一篇 数理逻辑第1章 命题逻辑 1．1命题与联结词 1．2命题公式及其分类 1．3等值演算 1．4联结词全功能集 1．5范式 1．6对偶式与蕴涵式 1．7命题逻辑的推理理论 习题第2章 谓词逻辑 2．1谓词逻辑基本概念 2．2谓词公式及其解释 2．3谓词逻辑等值式 2．4前束范式 2．5谓词逻辑的推理理论 习题 第二篇 集合论第3章 集合 3．1集合的基本概念 3．2集合与集合的关系 3．3集合的基本运算 3．4集合中元素的计数 习题第4章 二元关系4．1集合的笛卡儿积4．2关系的基本概念4．3关系的性质4．4关系的运算4．5关系的闭包运算4．6等价关系和划分4．7偏序关系4．8函数的基本概念4．9函数的运算习题 第三篇 代数结构5章 代数系统5．1代数系统的基本概念5．2二元运算的性质5．3子代数与积代数5．4代数系统的同态与同构习题6章 典型代数系统6．1半群与独异点6．2群6．3环与域6．4格与布尔代数习题 第四篇 图 论7章 图7．1图的基本概念7．2回路与连通性7．3图的矩阵表示7．4最短路径及关键路径习题8章 特殊的图8．1欧拉图8．2哈密尔顿图8．3偶图与匹配8．4平面图习题9章 树9．1无向树9．2生成树与最小生成树9．3根树习题考文献
本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。本书凝聚了作者多年教学经验的结晶，行文概念清晰、叙述严谨、内容翔实而又重点突出，是一本难得的上佳之作。本书既可作为高等院校计算机科学与技术及相关专业的本、专科教材，也可供相关专业的自学考试人员、科研人员等参考。
书是教材来的，学校让买的，内容没问题，但书的表面好像被什么划了，不美观