离散数学及其应用
正版新书 新华官方库房直发 可开电子发票
￥ 24.18 6.2折 ￥ 39 全新
库存7件
作者张剑妹主编
出版社西安电子科技大学出版社
ISBN9787560657608
出版时间2020-08
版次1
装帧平装
开本16开
纸张胶版纸
页数240页
字数353千字
定价39元
货号SC:9787560657608
上书时间2024-10-04
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
“离散数学”是计算机及其相关专业的专业基础课。全书共分四篇:第一篇是数理逻辑，包括命题逻辑和一阶逻辑；第二篇是集合论，包括集合、二元关系和函数；第三篇是图论基础，包括图的基本概念、特殊图和树；第四篇是代数系统，包括代数系统的基本概念和典型代数系统简介。本书用大量的实例将理论知识和计算机应用相结合，可作为应用型高校计算机科学与技术、网络工程、软件工程、电子与计算机工程等相关专业“离散数学”课程的教材，也可作为计算机及相关领域研究和应用开发人员的参考书。
目录:
第一篇数理逻辑
第1章命题逻辑2
1.1命题逻辑的基本概念2
1.1.1命题的概念2
1.1.2命题的表示3
1.1.3命题联结词4
1.1.4联结词完备集8
1.2命题公式及其赋值9
1.2.1命题公式的概念9
1.2.2命题公式的解释10
1.2.3命题公式的类型11
1.2.4真值表11
1.3命题公式的等值演算13
1.3.1等值式13
1.3.2等值演算法14
1.4命题公式的范式16
1.4.1析取范式与合取范式16
1.4.2主析取范式与主合取范式18
1.4.3主范式的应用22
1.5命题逻辑推理理论24
1.5.1推理的基本概念24
1.5.2推理定律和推理规则26
1.5.3命题逻辑推理方法27
1.6命题逻辑在计算机学科中的应用34
1.6.1命题逻辑公式在计算机中的表示34
1.6.2命题逻辑在计算机硬件电路设计中的应用35
1.6.3命题逻辑在程序设计中的应用38
1.6.4命题逻辑在系统规范说明中的应用39
1.6.5命题逻辑在布尔检索中的应用39
习题140
第2章一阶逻辑46
2.1一阶逻辑的基本概念46
2.1.1个体和谓词46
2.1.2量词47
2.1.3一阶逻辑的翻译(符号化)48
2.2一阶逻辑公式与解释50
2.2.1一阶逻辑合式公式50
2.2.2自由变元与约束变元51
2.2.3
...
— 没有更多了 —
以下为对购买帮助不大的评价