离散数学(第2版)
正版新书 新华官方库房直发 可开电子发票
￥ 24.3 8.1折 ￥ 30 全新
库存6件
作者邹丽娜, 董丽薇主编
出版社中国铁道出版社有限公司
ISBN9787113297787
出版时间2023-01
版次2
装帧平装
开本16开
纸张胶版纸
页数168页
字数204千字
定价30元
货号SC:9787113297787
上书时间2024-12-13
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
离散数学是现代数学的重要分支，是计算机相关学科的基础理论课之一，学生通过学习能够得到严格的逻辑推理与抽象思维能力的训练，能够掌握数理逻辑、集合论、图论等知识。
《离散数学（第二版）》分为数理逻辑、集合论和图论三部分。其中数理逻辑部分包括命题逻辑、谓词逻辑两章，集合论部分包括集合论和二元关系两章。
《离散数学（第二版）》适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专、成人高校相关专业教材。
目录:
第1章 绪论
§1．1 离散数学简介
§1．2 离散数学的地位与作用
第2章 命题逻辑
§2．1 命题与联结词
2．1．1 命题的概念
2．1．2 命题联结词
2．1．3 描述实际问题
§2．2 命题公式及其赋值
2．2．1 命题公式
2．2．2 公式的解释与真值表
2．2．3 命题公式的分类
§2．3 等值演算
2．3．1 常用等值式
2．3．2 等值演算的应用
§2．4 范式
2．4．1 范式的基本概念
2．4．2 主析取范式
2．4．3 主合取范式
2．4．4 主析取范式与主合取范式的意义
§2．5 命题逻辑推理
2．5．1 命题逻辑推理的基本概念
2．5．2 命题逻辑推理规则
2．5．3 形式证明方法
2．5．4 命题逻辑推理应用
小结
习题
第3章 谓词逻辑
§3．1 谓词逻辑概述
3．1．1 谓词逻辑基本概念
3．1．2 描述实际问题
§3．2 谓词公式与解释
3．2．1 谓词的合式公式
3．2．2 自由变元和约束变元
3．2．3 谓词公式的解释
3．2．4 谓词公式的分类
§3．3 谓词公式的等值演算
3．3．1 谓词公式置换规则
3．3．2 变元换名规则
3．3．3 量词等值式
3．3．4 谓词公式的范式
§3．4 谓词推理
3．4．1
...
— 没有更多了 —
以下为对购买帮助不大的评价