本书系统地介绍了离散数学的基本内容。全书共分9章,内容包括命题逻辑、谓词逻辑、集合论、关系、函数与无限集、代数系统、布尔代数、图论、数论及组合计数基础。本书内容取舍得当,结构组织合理。各章均配有适量习题,便于读者巩固书中的概念和知识。
本书可作为计算机及相关专业的离散数学教材,供一般本科院校教学使用,也可作为其他类院校相关专业的离散数学教材和教学参考书。
离散数学
内容提要 :
本书系统地介绍了离散数学的基本内容。全书共分9章,内容包括命题逻辑、谓词逻辑、集合论、关系、函数与无限集、代数系统、布尔代数、图论、数论及组合计数基础。本书内容取舍得当,结构组织合理。各章均配有适量习题,便于读者巩固书中的概念和知识。
本书可作为计算机及相关专业的离散数学教材,供一般本科院校教学使用,也可作为其他类院校相关专业的离散数学教材和教学参考书。 编辑推荐 :
本书系统地介绍了离散数学的基本内容。全书共分9章,内容包括命题逻辑、谓词逻辑、集合论、关系、函数与无限集、代数系统、布尔代数、图论、数论及组合计数基础。本书内容取舍得当,结构组织合理。各章均配有适量习题,便于读者巩固书中的概念和知识。
本书可作为计算机及相关专业的离散数学教材,供一般本科院校教学使用,也可作为其他类院校相关专业的离散数学教材和教学参考书。 目录 :
第1章 命题逻辑 1.1 命题及命题联结词 1.2 命题公式的分类与演算 1.3 联结词完全集 1.4 命题范式 1.5 有效论证及推理规则 …… |