离散数学及其应用

图书标准信息

• 作者 孙志海
• 出版社 西安电子科技大学出版社
• 出版时间 2023-05
• 版次 1
• ISBN 9787560668543
• 定价 36.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 232页
• 字数 339千字

【内容简介】

本书依据编者多年的教学经验编写而成，着重介绍离散数学的基本概念、方法及应用。本书共5章，内容包括命题逻辑、谓词逻辑、集合论、图论以及离散数学的应用举例等。各章均配有典型例题，并对解题方法进行了系统分析与阐述。
  本书侧重概念的具体应用，弱化了定理的抽象证明，简化了离散数学中部分理论性过强、过于抽象的内容，既可作为办学层次一般的普通高等院校计算机类专业的离散数学教材，也可供其他专业学生参考。

【目录】

章命题逻辑

1.1命题和逻辑联结词

1.1.1命题

1.1.2逻辑联结词与命题符号化

1.2命题公式及其真值表

1.2.1命题公式

1.2.2真值表

1.3命题公式的等价演算

1.4命题公式的范式

1.4.1析取范式和合取范式

1.4.2标准析取范式和标准合取范式

1.4.3利用真值表法求解标准范式

1.4.4标准析取范式和标准合取范式的关系

1.5联结词的完备集

1.6命题公式的推理演算

1.6.1命题公式推理演算的基本概念

1.6.2命题逻辑的演绎推理方法

……