作者：张振琳主编
页数：154
出版社：辽宁科学技术出版社
出版日期：2012
ISBN：9787538174700
电子书格式：pdf/epub/txt
内容简介
《高等院校“十二五”规划教材·数字媒体技术·示范性软件学院系列教材：离散数学》整体上包括数理逻辑、集合论、代数结构、图论等四方面的内容，具体包括命题逻辑、谓词逻辑、集合论、二元关系、函数、代数系统、群、环、域、格与布尔代数、图的基本概念、欧拉图、哈密尔顿图、树等内容。全书充分考虑应用性本科学生培养目标和教学特点，注重基本概念的同时，对于一些代表性题目给出了分析解题的过程。 《高等院校“十二五”规划教材·数字媒体技术·示范性软件学院系列教材：离散数学》是参考国内外多所院校应用多年的教材内容，结合作者本校学生的实际情况和教学经验，在保持知识体系完整的基础上，本书尽量做到内容精炼，重点突出，讲解详实，并且对全部习题给出了完整答案，并针对某些难点给出了分析。这样使本书更符合本科学生的特点，具有更好的实用性和扩展性。
本书特色
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的一门核心课程，也是IEEE＆ACM确定的计算机专业核心课程，离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。张振琳编著的《离散数学(数字媒体技术高等院校十二五规划教材)》的编写目的就是为计算机专业的学生提供必要的数学基础。适用于数学、计算机科学、工程、数字媒体技术等专业的学生，其先修课程是大学代数。
目录
第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 序关系 4．10 习题第5章 函数 5．1 函数的定义和性质 5．2 复合函数与逆函数 5．3 逆函数 5．4 习题第6章 代数系统 6．1 二元运算及其性质 6．2 代数系统 6．3 代数系统的同态和同构 6．4 半群和独异点 6．5 群 6．6 子群 6．7 循环群 6．8 置换群 6．9 陪集 6．10 环和域 6．11 习题第7章 格与布尔代数 7．1 格的概念 7．2 分配格 7．3 布尔代数 7．4 习题第8章 图论 8．1 图的基本概念 8．2 路与回路 8．3 图的连通性 8．4 图的矩阵的表示 8．5 欧拉图与哈密尔顿图 8．6 平面图 8．7 最短路径和关键路径 8．8 树与生成树 8．9 根树及其应用 8．10 习题
