离散数学
正版新书 新华官方库房直发 可开电子发票
￥ 21.75 7.5折 ￥ 29 全新
库存2件
作者刘忠艳 主编
出版社清华大学出版社
ISBN9787302441731
出版时间2016-09
版次1
装帧平装
开本B5
纸张胶版纸
页数215页
字数338千字
定价29元
货号SC:9787302441731
上书时间2024-09-18
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题，便于读者更深入理解和巩固所学的知识理论基础，在教授时建议64学时左右。
本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可以为从事计算机软、硬件开发和应用的人员提供参考。
目录:
第一部分数理逻辑
第1章命题逻辑
1.1命题的基本概念
1.1.1命题及分类
1.1.2逻辑联结词
1.2命题公式及类型
1.2.1命题公式及赋值
1.2.2命题公式类型与真值表
1.3命题公式的等价演算
1.3.1命题公式的等价式
1.3.2命题公式的等价演算
1.3.3等价演算的实例应用
1.4命题公式的范式及应用
1.4.1析取范式与合取范式
1.4.2主析取范式与主合取范式
1.4.3主范式的实例应用
1.5全功能逻辑联结词组
1.6命题公式的推理及证明
1.6.1推理基本定义
1.6.2推理的证明方法
1.6.3推理演算的实例应用
习题1
第2章谓词逻辑
2.1谓词逻辑基本概念
2.1.1谓词逻辑三要素
2.1.2多元谓词命题符号化
2.2谓词公式及类型
2.2.1谓词公式
2.2.2谓词公式的类型
2.3谓词公式的等价演算
2.4谓词公式的前束范式
2.5谓词公式的推理
习题2
第二部分集合论
第3章集合
3.1集合的基本概念
3.1.1集合与元素的基本概念
3.1.2集合与集合间的关系
3.2集合的运算
3.3集合中元素的计数
习题3
第4章二元关系与函数
4.1集合的笛卡儿积
4.2二元关系
4.3关系的性质
4.4关系的闭包
4.5等价关系与划分
4.6偏序关系
4.7函数的定义与性质
4.8函数的复合与反函数
习题4
第三部分图论部分
第5章图论
...
— 没有更多了 —
以下为对购买帮助不大的评价