离散数学

出版时间：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根树习题考文献

编辑推荐

本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。本书凝聚了作者多年教学经验的结晶，行文概念清晰、叙述严谨、内容翔实而又重点突出，是一本难得的上佳之作。本书既可作为高等院校计算机科学与技术及相关专业的本、专科教材，也可供相关专业的自学考试人员、科研人员等参考。

用户评论 (总计1条)

•   书是教材来的，学校让买的，内容没问题，但书的表面好像被什么划了，不美观