离散数学 内容简介

     离散数学是计算机科学的核心课程。郝林等编著的《离散数学》共分4 篇8章，分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨，叙述深入浅出，证明推演详尽。在每一专题后，给出相关知识的应用实例，并且在每一章后配有相当数量的习题。为便于学习，本书配有多媒体课件及习题解答。 《离散数学》可作为高等院校计算机科学与技术专业及软件工程专业的教材，也可作为其他相关专业的教学用书，并可供计算机科研和工程技术人员参考。

离散数学 目录

前言
**篇  数理逻辑
　第1章  命题逻辑
　  1.1  命题及命题联结词
　  1.2  命题公式及其类型
　  1.3  等价式与蕴涵式
　  1.4  对偶与范式
　  1.5  推理与证明
　  1.6  命题逻辑的应用
　  小结
　  习题一
　第2章  谓词逻辑
　  2.1  谓词逻辑基本概念
　  2.2  谓词公式及命题符号化
　  2.3  变元的约束

自然科学 数学 代数数论组合理论

在线阅读