离散数学

书籍目录

第一章数理逻辑

第一节命题逻辑

一、命题及其表示法

二、命题公式、真值表与等价公式

三、重言式与重言蕴含式

四、对偶与范式

五、命题演算的推理理论

习题1.1

第二节谓词逻辑

一、谓词、个体词和量词

二、谓词公式

三、等价式与重言蕴含式

四、前束范式

五、谓词演算的推理理论

习题1.2

第二章集合论

第一节集合及集合间的关系

一、集合的概念及其表示法

二、集合间

作者简介

本书阐述了离散数学的基本概念、基本思想和基本方法，内容主要包括数理逻辑、集合论、代数系统与图论四部分，每章后附有丰富的习题，便于加强读者对章节内容的理解与掌握。本书通俗易懂，循序渐进，适合作为计算机相关专业的大专教材，讲授时间约需72学时。本书也可作为有关专业的数学工具书或参考书。

 离散数学下载