作者：费文龙,彭茂,杨振启编
页数：194
出版社：科学出版社
出版日期：2016
ISBN：9787030477811
电子书格式：PDF
PDF下载地址
内容简介
本书主要包含了经典离散数学课程的基本知识，包括数理逻辑、集合论、图论和代数系统4个部分的内容。其中数理逻辑主要介绍如何用数学的符号和语言研究推理演绎的过程，包括命题逻辑和谓词逻辑两部分；集合论用抽象化的方法定义了集合之间的关系，以及集合元素之间的关系和运算，包含了集合、二元关系和函数3块内容；图论介绍了一种特殊的离散结构，以及在这种结构上的基本算法；代数系统从理论角度定义了运算，是抽象代数的基础。
本书特色
本书主要包含了经典离散数学课程的基本知识，包括数理逻辑、集合论、图论和代数系统4个部分的内容。其中数理逻辑主要介绍如何用数学的符号和语言研究推理演绎的过程，包括命题逻辑和谓词逻辑两部分；集合论用抽象化的方法定义了集合之间的关系，以及集合元素之间的关系和运算，包含了集合、二元关系和函数3块内容；图论介绍了一种特殊的离散结构，以及在这种结构上的基本算法；代数系统从理论角度定义了运算，是抽象代数的基础。
