离散数学杨圣洪著科学出版社9787030304001

7.3 八五品

库存3件

江西南昌

认证卖家担保交易快速发货售后保障

作者杨圣洪著

出版社科学出版社

ISBN9787030304001

出版时间2011-03

装帧平装

货号9787030304001

上书时间2024-11-26

已实名已认证进店收藏店铺

商品描述: 前言
第1章命题逻辑
  1.1 命题及联结词
    1.1.1 命题
    1.1.2 联结词
  1.2 命题公式及其赋值
  1.3 等值式
  1.4 析取范式与合取范式
  1.5 实验
  1.6 推理理论
  1.7 消解法
第2章谓词逻辑
  2.1 基本概念
  2.2 谓词公式及其解释
    2.2.1 合法的谓词公式
    2.2.2 个体变元的身份
    2.2.3 谓词公式的真值
    2.2.4 谓词公式的类型
  2.3 谓词公式等值演算
  2.4 谓词公式的范式
  2.5 谓词推理
第3章集合与关系
  3.1 基本概念
  3.2 集合运算与性质
  3.3 有穷集的计数
  3.4 序偶
  3.5 直积或笛卡儿积
  3.6 关系
  3.7 关系的复合
  3.8 关系分类
  3.9 关系的闭包
  3.10 等价关系与集合的划分
  3.11 偏序关系
  3.12 实验
第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 环、域
第5章图论
  5.1 图的概念与描述
  5.2 图的连通性
  5.3 欧拉图
  5.4 哈密尔顿图
  5.5 平面图与四色猜想
  5.6 树与生成树
  5.7 最短路径
  5.8 网络流图
  5.9 实验
参考文献

— 没有更多了 —

离散数学杨圣洪 著科学出版社9787030304001