离散结构

书籍目录

第1章 命题逻辑1.1 命题和逻辑运算1.1.1 命题1.1.2 逻辑联结词和复合命题1.2 合式公式1.2.1 语法1.2.2 语义（semantics）1.3 逻辑等价1.4 范式1.4.1 析取范式1.4.2 合取范式1.4.3 用等价替换方法构造主范式1.5 联结词的完备集及应用1.5.1 联结词的完备集1.5.2 一些计算机应用1.6 蕴涵和演绎1.7 本章小结习题第2章 一阶逻辑2.1 谓词和量词2.1.1 谓词2.1.2 量词2.2 合式公式2.2.1 语法2.2.2 语义2.3 逻辑等价和蕴涵2.4 范式2.5 数学归纳法25.1 归纳推理和演绎推理2.5.2 数学归纳法2.5.3 数学归纳法的应用2.6 本章小结习题第3章 集合3.1 集合及子集3.1.1 集合及其表示3.1.2 子集3.1.3 幂集3.1.4 多重集合3.2 集合上的运算3.2.1 集合的并3.2.2 集合的交3.2.3 集合的差3.2.4 集合的对称差3.3 集合的笛卡儿乘积3.3.1 有序对3.3.2 集合的笛卡儿乘积3.4 本章小结习题第4章 关系4.1 关系的基本概念4.1.1 二元关系的定义4.1.2 关系矩阵4.1.3 关系图4.1.4 n元关系及其应用4.2 复合关系和逆关系4.2.1 复合关系4.2.2 逆关系4.3 关系的性质4.4 等价关系和集合的划分4.4.1 等价关系4.4.2 集合·的划分4.5 关系的闭包4.6 本章小结习题第5章 函数5.1 函数的基本概念5.2 特殊函数5.3 函数的运算5.4 一些常见的函数5.5 本章小结习题……第6章 计数初步第7章 图论第8章 树部分习题的提示与解答参考文献

编辑推荐

　　《离散结构》是根据国内《离散数学教学大纲》并参考美国CC2004计算机工程课程体系的“离散数学”教学要求而编写的，既凝聚了作者20多年的教学经验，也吸取了国内外数十本相关著作的精华。全书共8章，包括命题逻辑、一阶逻辑、集合、关系、函数、计数初步、图论、树。每章后面配有难易不等的习题，可供教学选用。最后配有部分习题的提示与解答。《离散结构》可作为高等院校、计算机科学与技术、应用数学、自动控制、电子工程、信息科学及相关专业的本科生的教材，也可供相关专业的工程技术人员参考。《离散结构》备有电子课件，供教师参考，如需要，向本社发行部索取。

作者简介

离散结构，ISBN：9787810779630，作者：许蔓苓

图书封面

---

 离散结构下载

---