离散数学

正版新书新华官方库房直发可开电子发票

38.22 7.8折 49 全新

库存34件

江苏南京

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

作者许薇、同军红、吴广裕

出版社清华大学出版社

ISBN9787302653547

出版时间2024-03

版次1

装帧平装

开本其他

纸张胶版纸

定价49元

货号SC:9787302653547

上书时间2024-09-18

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

商品描述: 内容简介:
本书系统介绍了离散数学的基本概念、基本定理、运算规律及离散数学在计算机科学与技术中的应用，全书共6章，主要内容包括命题逻辑、谓词逻辑、集合及其运算、关系、函数和图论。每章均附有精选习题。本书在内容安排上循序渐进，概念闸述严谨，证明推演详尽，实例说明清楚。

本书立求将理论与应用相结合，适合作为普通高等院校计算机专业本科生的教材，也可供从事计算机软件开发和应用的人员参考使用。

均附有精选习题。本书在内容安排上循序渐进，概念阐述严谨，证明推演详尽，实例说明清楚。《离散数学》立求将理论与应用相结合，适合作为普通高等院校计算机专业本科生的教材，也可供从事计算机软件开发和应用的人员参考使用。
目录:
第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.4对偶与范式

1.4.1对偶

1.4.2析取范式与合取范式

1.4.3主范式

1.4.4主范式的应用

1.5推理理论

1.5.1命题的蕴涵关系

1.5.2构造推理的形式证明

1.5.3推理规则

1.6例题解析

本章小结

习题

……

— 没有更多了 —