作者：冯伟森
页数：258
出版社：机械工业出版社
出版日期：2011
ISBN：9787111331834
电子书格式：pdf/epub/txt
内容简介
“离散数学”是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。本书由六部分组成，首先将离散数学的体系结构分为以下五个主要部分：数理逻辑、集合与关系、数论与组合论、图论、代数结构，第六部分介绍离散数学在计算机科学中的一些典型应用。 本书在每章后面配备了相当数量的难易程度不同的练习题，并在附录中给出了几套模拟试题，供读者进行自测。 本书内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，适合作为高?院校计算机和软件工程专业及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。
目录
前言
第一部分 数理逻辑
第1章 命题逻辑
1．1 命题与逻辑联结词
1．2 命题公式及其赋值
1．3 命题公式的等价
1．4 联结词的完备集
1．5 命题公式的范式表示
1．6 命题公式的蕴涵
1．7 命题逻辑的推理方法
习题一
第2章 一阶谓词逻辑
2．1 量词化逻辑
2．2 谓词公式及其赋值
? 2．3 谓词公式的等价与范式表示
第一部分 数理逻辑
第1章 命题逻辑
1．1 命题与逻辑联结词
1．2 命题公式及其赋值
1．3 命题公式的等价
1．4 联结词的完备集
1．5 命题公式的范式表示
1．6 命题公式的蕴涵
1．7 命题逻辑的推理方法
习题一
第2章 一阶谓词逻辑
2．1 量词化逻辑
2．2 谓词公式及其赋值
? 2．3 谓词公式的等价与范式表示
