应用离散数学(安徽省省级一流教材)

图书标准信息

• 作者 国红军 主编；陈国龙；陈黎黎
• 出版社 合肥工业大学出版社
• 出版时间 2023-04
• 版次 1
• ISBN 9787565063213
• 定价 45.00元
• 装帧 其他
• 开本 16开
• 页数 224页
• 字数 324千字

【内容简介】

本书共8章，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、图、特殊图、代数系统基础和几个典型的代数系统。本书系统地介绍了离散数学中的基本概念、定理及证明方法，并详细阐述了各部分知识的应用实例，展示了离散数学在计算机科学及相关领域中的应用，还配备了大量具有针对性的习题，以帮助学生学习、理解和应用离散数学的相关理论。本书内容丰富，逻辑严密，条理清晰，可作为应用型本科院校计算机及相关专业的教材，也可作为相关工程技术人员的参考资料。

【目录】

第1章命题逻辑

1.1命题和联结词

1.2命题公式和真值表

1.3等值演算

1.4范式

1.5命题逻辑的推理理论

习题1

第2章谓词逻辑

2.1谓词逻辑的基本概念

2.2谓词公式及其解释

2.3谓词逻辑的等值式与前束范式

2.4谓词逻辑的推理理论

习题2

第3章集合

3.1集合的基本概念

……