成功加入购物车
杨振启 编 / 科学出版社 / 2015-12 / 平装
售价 ¥ 1.00
品相 八五品
延迟发货说明
上书时间2026-06-16
卖家超过10天未登录
离散数学/卓越工程师教育培养计算机类创新系列规划教材
本书包括命题逻辑、谓词逻辑、二元关系、集合论、图论、初等数论及代数系统共7章内容。本书充分考虑到了读者的需要,内容丰富、理论体系完整;叙述严谨、循序渐进;例题讲解步骤详细,对每一章的习题都作了精心的挑选和组织。
本书可作为计算机、电子技术、信息、管理等学科专业的本科生教材,也可供广大青年和工程技术人员阅读。
前言第一章 命题逻辑1.1 命题和联结词1.1.1 命题1.1.2 命题联结词1.1.3 命题表达式1.1.4 真值表的构造1.1.5 命题符号化1.2 重言式1.2.1 命题公式分类1.2.2 重言式1.2.3 逻辑等价1.2.4 代入规则与替换规则1.2.5 对偶原理1.3 公式中的范式1.3.1 析取范式和合取范式1.3.2 主析取范式1.3.3 主合取范式1.4 命题联结词的扩充与归约1.4.1 命题联结词的扩充1.4.2 命题联结词的归约1.5 基于命题的推理1.5.1 基于真值表的推理1.5.2 基于推理规则的推理1.5.3 应用实例1.6 习题第二章 谓词逻辑2.1 谓词公式2.1.1 个体词2.1.2 谓词2.1.3 量词2.1.4 命题符号化2.1.5 谓词公式2.2 约束2.2.1 约束部分2.2.2 换名规则和代替规则2.2.3 公式的解释2.3 谓词公式中的永真式2.3.1 谓词公式的等价2.3.2 谓词公式的类型2.4 谓词公式中的范式2.5 谓词推理2.5.1 推理规则2.5.2 举例2.6 习题第三章 集合论3.1 基本概念3.1.1 集合的概念3.1.2 集合的表示方法3.1.3 元素与集合3.2 集合间的关系3.3 集合的运算3.3.1 集合的基本运算3.3.2 集合的运算律3.3.3 例题3.4 包含排斥原理3.5 幂集合与笛卡儿积3.5.1 幂集合3.5.2 笛卡儿积3.6 集合运算与基数概念的扩展3.6.1 并集、交集的扩展3.6.2 基数概念的扩展3.7 习题第四章 二元关系4.1 基本概念4.1.1 二元关系的定义4.1.2 关系的表示4.2 关系的运算4.2.1 关系的并、交、补、差、对称差运算4.2.2 关系的复合运算4.2.3 关系的逆运算4.3 关系的性质4.3.1 关系性质的概念4.3.2 关系性质举例3.3.3 关系性质在关系图及关系矩阵中的特征4.4 关系的闭包4.4.1 闭包的定义4.4.2 关系R的闭包求法4.4.3 传递闭包的Warshall算法4.4.4 闭包的复合4.5 集合的划分和覆盖4.6 序关系4.6.1 偏序关系与偏序集的概念4.6.2 偏序集的哈斯图4.6.3 偏序集中的特殊元4.6.4 全序集与良序集4.7 等价关系与等价类4.8 函数4.8.1 函数的概念4.8.2 逆函数与复合函数4.9 习题第五章 图论5.1 若干图论经典问题5.1.1 哥尼斯堡七桥问题5.1.2 四色问题和哈密顿环游世界问题5.1.3 平面图和印刷电路板的设计5.1.4 运输网络5.1.5 通讯网络5.1.6 二叉树的应用5.1.7 最短路问题5.2 图的基本概念及矩阵表示方法5.2.1 图的基本概念5.2.2 图的矩阵表示方法5.3 路与连通度5.4 欧拉图与哈密顿图5.5 二部图与匹配5.6 平面图5.6.1 平面图及其性质5.6.2 平面图着色5.7 树5.7.1 树及其性质5.7.2 最小生成树5.7.3 有向树5.8 习题第六章 初等数论6.1 整数和除法6.2 整数6.3 素数6.4 最大公约数和最小公倍数6.5 同余6.6 一次同余方程6.7 中国剩余定理6.8 欧拉定理和费马小定理6.9 习题第七章 代数系统7.1 二元运算及性质7.1.1 二元运算的定义7.1.2 二元运算的性质7.2 代数系统7.2.1 代数系统的定义与实例7.2.2 代数系统的同构与同态7.3 半群7.3.1 半群7.3.2 单位元和逆元7.4 群7.4.1 群的定义7.4.2 群的同态7.4.3 循环群7.4.4 变换群7.4.5 置换群7.4.6 子群7.4.7 子群的陪集7.4.8 正规子群和商群7.5 环和域简介7.5.1 环7.5.2 域7.6 习题参考文献
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30