- 离散数学(21世纪高等学校计算机基础实用系列教材)
- - 作者：编者:黄健//曹宏举//郭巧丽|责编:黄芝//李燕
  - 出版社：清华大学
  - ISBN：9787302661979
  - 出版日期：2024/05/01
  - 页数：308
- 售价：23.92

内容大纲
    依照教育部2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》，在近20年的“离散数学讲义”基础上，精心整理，编撰成本书。在编写过程中，充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验，以增强本书的适用性。
    本书分为数理逻辑、集合论、代数系统和图论4篇，内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统基础、群/环和域、格与布尔代数、图论基础、特殊图与应用共10章。各章的每节都配有习题，重要术语均有相应的英文表述。
    本书可以作为计算机科学与技术、软件工程、网络工程、信息安全、物联网工程等相关专业的本科生教材，也可以作为从事计算机软件、硬件开发和应用的工程技术人员的参考书，还可供教师参考或自学者使用。
作者介绍
目录
第1篇  数理逻辑
  第1章  命题逻辑
    1.1  命题与逻辑联结词
      1.1.1  命题逻辑的基本概念
      1.1.2  逻辑联结词
      习题1.2
    1.2  命题公式与真值表
      习题1.2
    1.3  永真式与永假式
      习题1.3
    1.4  代入规则与替换规则
      习题1.4
    1.5  等价与蕴涵
      习题1.5
    1.6  对偶原理
      习题1.6
    1.7  其他联结词
      习题1.7
    1.8  范式与范式判定问题
      习题1.8
    1.9  命题演算的推理理论
      1.9.1  真值表法
      1.9.2  直接证明法
      1.9.3  反证法
      习题1.9
  第2章  谓词逻辑
    2.1  谓词与个体
      习题2.1
    2.2  量词与全总个体域
      习题2.2
    2.3  谓词公式
      习题2.3
    2.4  自由变元与约束变元
      习题2.4
    2.5  谓词公式的等价式与蕴涵式
      习题2.5
    2.6  谓词逻辑的推理理论
      习题2.6
第2篇  集合论
  第3章  集合
    3.1  集合的基本概念
      习题3.1
    3.2  集合的运算
      习题3.2
    3.3  包含排斥原理
      习题3.3
    3.4  自然数与数学归纳法
      习题3.4
    3.5  笛卡儿乘积
      习题3.5

  第4章  二元关系
    4.1  关系及其性质
      习题4.1
    4.2  关系图与关系矩阵
      习题4.2
    4.3  关系的运算
      4.3.1  关系的合成运算
      4.3.2  关系的求逆运算
      4.3.3  关系的闭包运算
      习题4.3
    4.4  等价关系与划分
      习题4.4
    4.5  相容关系与覆盖
      习题4.5
    4.6  次序关系
      4.6.1  偏序关系与哈斯图
      4.6.2  全序和词典序
      4.6.3  拟序与良序
      习题4.6
  第5章  函数
    5.1  函数的基本概念
      习题5.1
    5.2  复合函数与逆函数
      习题5.2
    5.3  特征函数与模糊子集
      习题5.3
    5.4  集合的基数
      习题5.4
第3篇  代数系统
  第6章  代数系统基础
    6.1  代数运算
      习题6.1
    6.2  代数系统的概念
      习题6.2
    6.3  同态与同构
      习题6.3
    6.4  同余关系
      习题6.4
    6.5  商代数与积代数
      6.5.1  商代数
      6.5.2  积代数
      习题6.5
  第7章  群、环和域
    7.1  半群与含幺半群
      习题7.1
    7.2  群的定义及基本性质
      习题7.2
    7.3  循环群与变换群
      7.3.1  循环群
      7.3.2  变换群

      习题7.3
    7.4  子群
      7.4.1  子群
      7.4.2  子群的陪集
      习题7.4
    7.5  环和域
      7.5.1  环
      7.5.2  域
      习题7.5
  第8章  格与布尔代数
    8.1  格的基本概念
      习题8.1
    8.2  格的性质和格同态
      习题8.2
    8.3  几种特殊格
      习题8.3
    8.4  布尔代数
      习题8.4
第4篇  图论
  第9章  图论基础
    9.1  图的基本概念
      习题9.1
    9.2  子图与图的运算
      习题9.2
    9.3  路径、回路和连通性
      习题9.3
    9.4  可分图与不可分图
      习题9.4
    9.5  图的矩阵表示法
      9.5.1  邻接矩阵
      9.5.2  可达矩阵
      9.5.3  关联矩阵
      习题9.5
  第10章  特殊图与应用
    10.1  欧拉图与哈密顿图
      习题10.1
    10.2  平面图与欧拉公式
      习题10.2
    10.3  二部图与匹配
      习题10.3
    10.4  对偶图与着色
      习题10.4
    10.5  树
      习题10.5
    10.6  根树及其应用
      习题10.6
    10.7  运输网络
      10.7.1  网络的流
      10.7.2  割及割量
      10.7.3  确定最大流的标记法

      习题10.7
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目