
作者:郝林
页数:305
出版社:科学出版社
出版日期:2012
ISBN:9787030343444
电子书格式:pdf/epub/txt
内容简介
离散数学是计算机科学的核心课程。郝林等编著的《离散数学》共分4
篇8章,分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨,叙述深入浅出,证明推演详尽。在每一专题后,给出相关知识的应用实例,并且在每一章后配有相当数量的习题。为便于学习,本书配有多媒体课件及习题解答。
《离散数学》可作为高等院校计算机科学与技术专业及软件工程专业的教材,也可作为其他相关专业的教学用书,并可供计算机科研和工程技术人员参考。
本书特色
离散数学是现代高等院校计算机科学与技术专业及其他相关专业的基础数学课程。它以离散量为研究对象,充分讨论离散量的结构及其相互间的关系,反映了计算机科学中对象及研究方法离散性的特点。
郝林等编著的《离散数学》分为4篇8章,主要内容如下:第1章和第2章是数理逻辑部分,主要介绍命题逻辑和谓词逻辑的基础知识。这部分是数学和计算机科学学习的基础工具性知识。第3~5章介绍集合论基础知识,包括集合、关系和函数、基数等。这些是现代数学的基础。第6章介绍图论的基础知识,包括图的基本知识和若干特殊图的讨论。第7章和第8章是代数系统的内容,主要有群、环、域和格论及布尔代数的知识。
目录
前言
第一篇 数理逻辑
第1章 命题逻辑
1.1 命题及命题联结词
1.2 命题公式及其类型
1.3 等价式与蕴涵式
1.4 对偶与范式
1.5 推理与证明
1.6 命题逻辑的应用
小结
习题一
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.2 谓词公式及命题符号化
2.3 变元的约束
第一篇 数理逻辑
第1章 命题逻辑
1.1 命题及命题联结词
1.2 命题公式及其类型
1.3 等价式与蕴涵式
1.4 对偶与范式
1.5 推理与证明
1.6 命题逻辑的应用
小结
习题一
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.2 谓词公式及命题符号化
2.3 变元的约束















