- 离散数学(第2版高等学校新工科计算机类专业系列教材)
- - 作者：编者:贾晖//乔晓明//张晓利//刘建元|责编:王瑛
  - 出版社：西安电子科大
  - ISBN：9787560675862
  - 出版日期：2025/02/01
  - 页数：276
- 售价：18

内容大纲
本书系统地介绍了离散数学的理论与方法。全书共9章，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、代数系统、图论导论、特殊的图、树及其应用以及组合数学基础。为了帮助学生对庞杂的知识点进行理解记忆，本书在讲解知识点时配有丰富的、面向计算机科学技术发展的应用实例；同时，每一章都有典型例题解析，详细分析了该例题中所用到的基本概念和基本原理，为学生提供了解题思路和解题技巧；考虑到离散数学是计算机专业的核心课程，专门设置了和章节相关的上机实验，供学生练习。
本书可作为普通高等学校计算机科学与技术、软件工程、网络工程等专业本科生离散数学课程的教材，也可供其他专业学生和科技人员参考。
作者介绍
目录
第1章  命题逻辑
  1.1  命题
  1.2  联结词
  1.3  命题公式与翻译
  1.4  真值表与等价公式
  1.5  重言与蕴含
  1.6  其他联结词与全功能集
  1.7  对偶与范式
  1.8  命题逻辑的推理
  1.9  典型例题解析
  上机实验1  命题演算的计算机实现
  习题1
第2章  谓词逻辑
  2.1  谓词与量词
  2.2  谓词公式与翻译
  2.3  变元的约束
  2.4  谓词演算的等价式与蕴含式
  2.5  前束范式
  2.6  谓词演算的推理理论
  2.7  典型例题解析
  习题2
第3章  集合
  3.1  集合的基本概念
  3.2  集合的运算与性质
  3.3  集合的划分与覆盖
  3.4  集合中元素的计数
  3.5  典型例题解析
  上机实验2  编程实现任意两个集合的交、并、差和补运算
  习题3
第4章  二元关系和函数
  4.1  序偶与笛卡尔积
  4.2  关系及其表示
  4.3  关系的性质
  4.4  关系的复合
  4.5  逆关系
  4.6  关系的闭包运算
  4.7  等价关系与等价类
  4.8  相容关系
  4.9  偏序关系
  4.10  函数及其性质
  4.11  复合函数和逆函数
  4.12  基数
  4.13  可数集和不可数集
  4.14  典型例题解析
  上机实验3  关系及函数性质的判定
  习题4
第5章  代数系统
  5.1  代数系统的概念
  5.2  运算及其性质
  5.3  半群

  5.4  群与子群
  5.5  阿贝尔群、循环群与置换群
  5.6  陪集与拉格朗日定理
  5.7  代数系统的同态与同构
  5.8  环与域
  5.9  格与布尔代数
  5.10  典型例题解析
  习题5
第6章  图论导论
  6.1  图的基本概念
  6.2  图中的路与图的连通性
  6.3  图的矩阵表示
  6.4  典型例题解析
  上机实验4  图的连通性判定
  习题6
第7章  特殊的图
  7.1  欧拉图
  7.2  汉密尔顿图
  7.3  二分图
  7.4  平面图
  7.5  图的着色
  7.6  典型例题解析
  上机实验5  特殊图形的判定
  习题7
第8章  树及其应用
  8.1  无向树与生成树
  8.2  根树及其应用
  8.3  典型例题解析
  上机实验6  树的有关算法
  习题8
第9章  组合数学基础
  9.1  排列与组合
  9.2  生成函数
  9.3  递推关系
  9.4  容斥原理
  9.5  抽屉原理
  9.6  典型例题解析
  习题9
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目