离散数学
正版新书 新华官方库房直发 可开电子发票
￥ 61.62 7.8折 ￥ 79 全新
库存4件
作者张瑞勋，邵秀丽，任明明编著
出版社机械工业出版社
ISBN9787111678205
出版时间2021-08
版次1
装帧平装
开本16开
纸张胶版纸
页数320页
定价79元
货号SC:9787111678205
上书时间2025-01-08
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书针对离散数学领域的关键问题，通过大量实例深入浅出地介绍数理逻辑、集合论、图论、代数结构和布尔代数、组合数学理论和算法等与计算机科学密切相关的主题，既注重各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用。本书叙述严谨，推理详尽。各章配有大量的习题，可帮助读者迅速掌握有关知识。本书内容丰富、结构清晰、通俗易懂、注重实用，既适合作为计算机和相关专业"离散数学"课程的教材，也可作为工程技术人员的参考书。
目录:
前言
第1章命题逻辑1
1.1引言1
1.2命题与命题联结词1
1.2.1命题的概念1
1.2.2命题标识符和命题分类3
1.2.3命题联结词3
1.3翻译、命题公式和真值表7
1.3.1翻译7
1.3.2命题公式9
1.3.3真值情况和真值表10
1.4永真式、永假式和等价关系12
1.5等价式和蕴涵式14
1.5.1等价公式14
1.5.2等价定律公式14
1.5.3子公式15
1.5.4证明两个公式等价的方法16
1.5.5蕴涵式19
1.5.6永真蕴涵关系的判断20
1.6其他联结词22
1.6.1其他联结词的定义22
1.6.2与非联结词↑的性质23
1.6.3或非联结词↓的性质23
1.6.4异或联结词的性质24
1.6.5小联结词组25
1.7对偶与范式26
1.7.1对偶27
1.7.2范式29
1.7.3主析取范式31
1.7.4主合取范式35
1.7.5主范式的应用37
1.8命题演算的推理理论39
1.8.1推理的基本概念39
1.8.2判断有效结论的方法和规则41
本章习题48
第2章谓词逻辑53
2.1谓词的基本概念53
2.2个体、谓词及表达式54
2.3命题函数57
2.4量词59
2.5谓词公式与翻译62
2.5.1谓词公式62
2.5.2谓词逻辑
...
— 没有更多了 —
以下为对购买帮助不大的评价