|
离散数学 内容简介
离散数学是计算机科学的核心课程。郝林等编著的《离散数学》共分4
篇8章，分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨，叙述深入浅出，证明推演详尽。在每一专题后，给出相关知识的应用实例，并且在每一章后配有相当数量的习题。为便于学习，本书配有多媒体课件及习题解答。
《离散数学》可作为高等院校计算机科学与技术专业及软件工程专业的教材，也可作为其他相关专业的教学用书，并可供计算机科研和工程技术人员参考。
离散数学 目录
前言
**篇 数理逻辑
第1章 命题逻辑
1.1 命题及命题联结词
1.2 命题公式及其类型
1.3 等价式与蕴涵式
1.4 对偶与范式
1.5 推理与证明
1.6 命题逻辑的应用
小结
习题一
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.2 谓词公式及命题符号化
2.3 变元的约束
|
