离散数学 内容简介

　　“离散数学”是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。本书由六部分组成，首先将离散数学的体系结构分为以下五个主要部分：数理逻辑、集合与关系、数论与组合论、图论、代数结构，第六部分介绍离散数学在计算机科学中的一些典型应用。　　本书在每章后面配备了相当数量的难易程度不同的练习题，并在附录中给出了几套模拟试题，供读者进行自测。　　本书内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，适合作为高?院校计算机和软件工程专业及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。

离散数学 目录

前言
**部分　数理逻辑
　第1章　命题逻辑
　　1．1　命题与逻辑联结词
　　1．2　命题公式及其赋值
　　1．3　命题公式的等价
　　1．4　联结词的完备集
　　1．5　命题公式的范式表示
　　1．6　命题公式的蕴涵
　　1．7　命题逻辑的推理方法
　　习题一
　第2章　一阶谓词逻辑
　　2．1　量词化逻辑
　　2．2　谓词公式及其赋值
?　2．3　谓词公式的等价与范式表示

自然科学 数学 代数数论组合理论

在线阅读