内容简介
本书涵盖了经典“离散结构”或“离散数学”课程的主要内容，包括集合论基础、逻辑代数、图论基础、关系与函数、抽象代数学基础，并适度扩充了计算机科学中常用的组合论基础知识，以及形式系统、形式推理、可计算性的基础理沦。
目录
出版说明
前言
�?章 集合代数
1.1 集合的概念与表示
1.1.1 集合及其元素
1.1.2 集合的表�?br> 1.1.3 外延性公理与子集�?br> 练习1.1
1.2 集合运算
1.2.1 并、交、差、补运算
1.2.2 幂集运算和广义并、交运算
1.2.3 集合的笛卡儿�?br> 练习1.2
1.3 集合的归纳定义的意义
1.3.1 集合的归纳定�?br> 1.3.2 集合定义的自然数
练习1.3
�?章 两个常用数学基本原理
2.1 归纳原理
2.1.1 结构归纳原理
2.1.2 数学归纳原理
练习2.1
2.2 鸽笼原理
2.2.1 鸽笼原理的基本形�?br> 2.2.2 鸽笼原理的加强形�?br> 练习2.2
�?章 组合论基础计数
3.1 计数基本原理
3.1.1 加法原理和乘法原�?br> 3.1.2 包含排斥原理
练习3.1
3.2 排列与组�?br> 3.2.1 排列的计�?br> 3.2.2 组合的计�?br> 练习3.2
3.3 重集的排列与组合
3.3.1 重集的排�?br> 3.3.2 重集的组�?br> 3.3.3 禁位排列的计�?br> 练习3.3
3.4 递归关系
3.4.1 一个重要的递归关系
3.4.2 递归关系的求�?br> 练习3.4
�?章 逻辑代数（上）：命题演算
4.1 命题与逻辑联结�?br> 4.1.1 命题
4.1.2 逻辑联结�?br> 4.1.3 命题公式
4.1.4 语句的形式化
练习4.1
4.2 逻辑等价式和逻辑蕴涵�?br> 4.2.1 重言�?br> 4.2.2 逻辑等价式和逻辑蕴涵�?br> 4.2.3 对偶原理
练习4.2
4.3 范式
4.3.1 析取范式和合取范�?br> 4.3.2 主析取范式与主合取范�?br> 4.3.3 联结词的扩充与归�?br> 练习4.3
�?章 逻辑代数（下）：谓词演算
�?章 形式系统与推理技�?br>�?章 �?br>..
北京市公安局丰台分局备案编号：1101080539 
